Что такое математическая логика?

Что такое математическая логика?

Մատենագիտական մանրամասներ
Հիմնական հեղինակ:	Калужнин Л. А. Лев Аркадьевич
Լեզու:	ռուսերեն
Հրապարակվել է:	Москва, Наука, 1964
Խորագրեր:	Математическая логика логика высказываний тождественные формулы логика предикатов основания математики логические операции булевы функции кванторы операции суждения силлогизмы
Ձևաչափ:	Գիրք
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=330429

Նմանատիպ նյութեր

Дискретная математика учебное пособие
‌: Бекарева Н. Д.
Հրապարակվել է: (Новосибирск, НГТУ, 2019)

Математическая логика и булевы функции учебно-методическое пособие для обучающихся по дисциплине «дискретная математика» по направлению подготовки 09.03.03 прикладная информатика и 09.03.04 программная инженерия
‌: Прокопенко Н. Ю.
Հրապարակվել է: (Нижний Новгород, ННГАСУ, 2021)

Задачи и упражнения по математической логике и теории алгоритмов учебное пособие для вузов
‌: Игошин В. И. Владимир Иванович
Հրապարակվել է: (Москва, Академия, 2005)

Математическая логика. Задачник-практикум и решения курс лекций учебное пособие
‌: Лихтарников Л. М. Леонид Моисеевич
Հրապարակվել է: (СПб., Лань, 2009)

Математическая логика и теория алгоритмов учебно-методическое-пособие
‌: Геут К. Л.
Հրապարակվել է: (Екатеринбург, 2017)

Математическая логика учебное пособие
‌: Игошин В. И. Владимир Иванович
Հրապարակվել է: (Москва, Инфра-М, 2012)

Математическая логика учебное пособие
‌: Игошин В. И. Владимир Иванович
Հրապարակվել է: (Москва, Инфра-М, 2019)

Математическая логика и теория алгоритмов учебное пособие
‌: Шелупанов А. А. Александр Александрович
Հրապարակվել է: (Томск, STT, 2001)

Математическая логика и теория алгоритмов для программистов учебное пособие
‌: Гринченков Д. В. Дмитрий Валерьевич
Հրապարակվել է: (Москва, КноРус, 2010)

Математическая логика и теория алгоритмов учебное пособие
‌: Михальченко Г. Е.
Հրապարակվել է: (Красноярск, СФУ, 2018)

Основы дискретной математики учебное пособие
‌: Галиев Ш. И. Шамиль Ибрагимович
Հրապարակվել է: (Казань, [Б. и.], 1978)

Математическая логика. Логика предикатов. Конспекты лекций и упражнения по курсу пособие для студентов специальностей 01.03.01, 01.05.01, 02.03.01
‌: Петрова Л. П.
Հրապարակվել է: (Воронеж, ВГУ, 2015)

Математическая логика пер. с англ.
‌: Гудстейн Р. Л.
Հրապարակվել է: (Москва, Изд-во иностранной литературы, 1961)

Математическая логика учебное пособие
‌: Эдельман С. Л. Самсон Львович
Հրապարակվել է: (Москва, Высшая школа, 1975)

Логика сборник задач и упражнений для студентов очной формы обучения по специальности 37.05.01 клиническая психология
‌: Барбашина Э. В.
Հրապարակվել է: (Новосибирск, НГМУ, 2020)

Математическая логика и теория алгоритмов для программистов учебное пособие
‌: Гринченков Д. В. Дмитрий Валерьевич
Հրապարակվել է: (Москва, КноРус, 2013)

Математическая логика и теория алгоритмов учебное пособие
‌: Неклюдова В. Л.
Հրապարակվել է: (Новосибирск, СГУГиТ, 2022)

Дискретная математика. Контролирующие материалы к тестированию
‌: Бабичева И. В.
Հրապարակվել է: (Санкт-Петербург, Лань, 2022)

Математическая логика учебник
‌: Никольская И. Л. Инна Львовна
Հրապարակվել է: (Москва, Высшая школа, 1981)

Проектно-ориентированное обучение математической логике учебно-методическое пособие
‌: Сангалова М. Е.
Հրապարակվել է: (Нижний Новгород, ННГУ им. Н. И. Лобачевского, 2013)

Логика учебник
‌: Маслов Н. А. Николай Аркадьевич
Հրապարակվել է: (Ростов-на-Дону, Феникс, 2008)

Задачи и упражнения по математической логике и теории алгоритмов учебное пособие для вузов
‌: Игошин В. И. Владимир Иванович
Հրապարակվել է: (Москва, Академия, 2006)

Популярная логика общедоступный очерк логики предложений пер. с пол.
‌: Гжегорчик А. Анджей
Հրապարակվել է: (Москва, Наука, 1972)

Математическая логика и теория алгоритмов / ДО 2021 электронный курс
‌: Шефер О. В. Ольга Владимировна
Հրապարակվել է: (Томск, TPU Moodle, 2021)

Математическая логика задачник-практикум для студентов физико-математического факультета
‌: Троякова Г. А.
Հրապարակվել է: (Кызыл, ТувГУ, 2018)

Алгебра и математическая логика межведомственный сборник
Հրապարակվել է: (Киев, Изд-во Киевского ун-та, 1966)

Дискретная математика. Формально-логические системы и языки
‌: Авдошин С. М.
Հրապարակվել է: (Москва, ДМК Пресс, 2018)

Логика. Современный курс учебное пособие для вузов
‌: Светлов В. А. Виктор Александрович
Հրապարակվել է: (Москва, Юрайт, 2022)

Логика. Современный курс учебное пособие для вузов
‌: Светлов В. А. Виктор Александрович
Հրապարակվել է: (Москва, Юрайт, 2021)

Логика. Современный курс учебное пособие для вузов
‌: Светлов В. А. Виктор Александрович
Հրապարակվել է: (Москва, Юрайт, 2023)

Логика. Современный курс учебное пособие для вузов
‌: Светлов В. А. Виктор Александрович
Հրապարակվել է: (Москва, Юрайт, 2025)

Логика. Современный курс учебное пособие для вузов
‌: Светлов В. А. Виктор Александрович
Հրապարակվել է: (Москва, Юрайт, 2024)

Формальная логика с элементами теории познания учебник для вузов
‌: Абачиев С. К. Сергей Константинович
Հրապարակվել է: (Ростов-на-Дону, Феникс, 2012)

Всесоюзная конференция по прикладной логике, Новосибирск, 22-24 октября 1985 г. тезисы докладов
Հրապարակվել է: (Новосибирск, Изд-во ИМ, 1985)

Математические основания информатики учеб. пособие
‌: Червенчук И. В.
Հրապարակվել է: (Омск, ОмГТУ, 2023)

Сборник задач по множествам, булевым функциям и математической логике учебное пособие
‌: Дехтярь М. И.
Հրապարակվել է: (Тверь, ТвГУ, 2020)

Алгебра и логика сборник научных трудов
Հրապարակվել է: (Новосибирск, Изд-во Ин-та математики СО РАН, 1989)

Алгебра и логика сборник научных трудов
Հրապարակվել է: (Новосибирск, Изд-во Ин-та математики СО РАН, 1989)

Математическая логика и теория алгоритмов учебное пособие для вузов
‌: Рыбин С. В.
Հրապարակվել է: (Санкт-Петербург, Лань, 2024)

Введение в математическую логику монография пер. с англ.
‌: Чёрч А.
Հրապարակվել է: (Москва, Изд-во иностранной литературы, 1960)