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

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

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