Курс математической логики и теории вычислимости учебное пособие

Курс математической логики и теории вычислимости учебное пособие

Библиографическая информация
Главный автор:	Герасимов, Александр Сергеевич
Формат:	Электронная книга
Язык:	Russian
Публикация:	Санкт-Петербург Лема 2011
Редактирование:	Изд. 3-е, исправ. и доп.
Предметы:	математическая логика теория вычислимости алгоритмов теория язык логики предикатов язык логики высказываний исчисление гильбертовского типа секвенциальные исчисления метод резолюций элементарная арифметика Цермело-Френкеля теория множеств Тьюринга машины Маркова алгоритмы нормальные лямбда-исчисление исчисление предикатов Геделя теоремы о неполноте Хоара исчисление
Online-ссылка:	https://www.lib.tsu.ru/limit/2024/koha001143399/koha001143399.pdf

Похожие документы

Курс математической логики и теории вычислимости учебное пособие : [для студентов по направлению подготовки "Компьютерные и информационные науки", "Информатика и вычислительная техника" и др.]
по: Герасимов, Александр Сергеевич
Публикация: (2014)

Введение в математическую логику учебное пособие : [для студентов математических направлений университетов]
по: Зюзьков, Валентин Михайлович
Публикация: (2017)

Лекции по математической логике и теории алгоритмов учебно-методический комплекс
по: Агибалов, Геннадий Петрович 1939-2020
Публикация: (2007)

Математическая логика и теория алгоритмов [учебное пособие для вузов по специальностям "Комплексное обеспечение информационной безопасности автоматизированных систем", "Организация и технология защиты информации"]
по: Зюзьков, Валентин Михайлович
Публикация: (2007)

Математическая логика и теория алгоритмов учебник : [по направлениям 654600 "Информатика и вычислительная техника", 654700 "Информационные системы", 540200 "Физико-математическое образование"]
по: Судоплатов, Сергей Владимирович
Публикация: (2004)

Теория алгоритмов [учебное пособие для студентов математических направлений и специальностей университетов]
по: Зюзьков, Валентин Михайлович
Публикация: (2005)

Логические и математические исчисления учебное пособие
по: Шиханович, Юрий Александрович
Публикация: (2011)

Теорема Гёделя
по: Нагель, Эрнест 1901-1985
Публикация: (2011)

Einstieg in die mathematische Logik
по: Boehme, Gert
Публикация: (1981)

Теория алгоритмов [учебное пособие для студентов математических направлений и специальностей университетов]
по: Зюзьков, Валентин Михайлович
Публикация: (2009)

Задачи по теории множеств, математической логике и теории алгоритмов
по: Лавров, Игорь Андреевич
Публикация: (2009)

Элементы математической логики
по: Новиков, Петр Сергеевич
Публикация: (1959)

Математическая логика [Учебное пособие для математических специальностей вузов]
по: Колмогоров, Андрей Николаевич 1903-1987
Публикация: (2004)

Введение в метаматематику
по: Клини, Стивен Коул 1909-1994
Публикация: (1957)

Математическая логика дополнительные главы : [учебное пособие для студентов математических специальностей вузов]
по: Колмогоров, Андрей Николаевич 1903-1987
Публикация: (2013)

Математическая логика и теория алгоритмов [учебное пособие для бакалавров, обучающихся по направлениям подготовки "Информатика и вычислительная техника", "Информационные системы"]
по: Крупский, Владимир Николаевич
Публикация: (2013)

Задачи и упражнения по математической логике и теории алгоритмов [учебное пособие для вузов по специальности 032100 "Математика"]
по: Игошин, Владимир Иванович
Публикация: (2005)

Задачи и упражнения по математической логике и теории алгоритмов [учебное пособие для вузов по специальности 050201 "Математика"]
по: Игошин, Владимир Иванович
Публикация: (2008)

Математическая логика и теория алгоритмов [учебное пособие для студентов по специальностям "Компьютерная безопасность" и "Вычислительные машины, комплексы, системы и сети"]
по: Гуц, Александр Константинович 1947-
Публикация: (2016)

Конспект лекций О. Б. Лупанова по курсу "Введение в математическую логику" [учебное пособие для студентов и аспирантов]
по: Лупанов, Олег Борисович
Публикация: (2007)

Математическая логика учебное пособие
по: Ершов, Юрий Леонидович 1940-
Публикация: (2004)

Задачи по теории множеств, математической логике и теории алгоритмов
по: Лавров, Игорь Андреевич
Публикация: (2001)

Логика высказываний: язык, алгебра, исчисления учебное пособие : [по программе бакалавриата по социально-экономическим и гуманитарным направлениям подготовки]
по: Кислов, Алексей Геннадьевич
Публикация: (2012)

Математическая логика и теория алгоритмов
по: Гуц, Александр Константинович 1947-
Публикация: (2009)

Многозначные логики и их применения
Публикация: (2020)

Математическая логика [учебное пособие по техническим и естественно-научным специальностям]
по: Лавров, Игорь Андреевич
Публикация: (2006)

Задачи по теории множеств, математической логике и теории алгоритмов
по: Лавров, Игорь Андреевич
Публикация: (1984)

Математическая логика [учебное пособие для математических специальностей вузов]
по: Колмогоров, Андрей Николаевич 1903-1987
Публикация: (2006)

Квазиматричная (квазифункциональная) логика
по: Ивлев, Юрий Васильевич 1936-
Публикация: (2018)

Решетка замкнутых классов самодвойственных функций трехзначной логики
по: Жук, Дмитрий Николаевич
Публикация: (2011)

Математическая логика курс лекций : задачник-практикум и решения : учебное пособие
по: Лихтарников, Леонид Моисеевич
Публикация: (2009)

Математическая логика курс лекций, задачник-практикум и решения : учебное пособие
по: Лихтарников, Леонид Моисеевич
Публикация: (2008)

Булевы алгебры: научное издание/
по: Владимиров, Д. А. Денис Артемьевич
Публикация: (1969)

Лекции и задачи по дискретной математике (от теории к алгоритмам) [учебное пособие для студентов вузов, обучающихся по направлению "Прикладная математика и физика"]
по: Ярыгин, Анатолий Николаевич
Публикация: (2017)

Задачи и упражнения по математической логике и теории алгоритмов: учебное пособие для вузов/
по: Игошин, В. И. Владимир Иванович
Публикация: (2008)

Сборник задач по математической логике и теории алгоритмов: учебное пособие/
по: Игошин, В. И. Владимир Иванович
Публикация: (2019)

Математическая логика учебное пособие : [для студентов вузов по направлению подготовки 44.03.05 "Педагогическое образование" (бакалавриат)]
по: Игошин, Владимир Иванович
Публикация: (2016)

Понятие как форма мышления логико-гносеологический анализ
по: Войшвилло, Евгений Казимирович 1913-2008
Публикация: (2014)

Дискретная математика учебное пособие
по: Матросова, Анжела Юрьевна
Публикация: (2007)

Математическая логика
по: Гудстейн, Рейбен Луис
Публикация: (2010)