Задания
Вспомогательные материалы
Ефремов Е.Л. Конспект лекций по математической логике
Ефремов Е.Л. Алгоритмы вычисления частичных функций
Построение модели множества формул (YouTube)
Шпаргалка «Исчисление высказываний»
Шпаргалка «Исчисление предикатов»
Шпаргалка «Примитивно и частично рекурсивные функции»
Программа-тренажёр «Машина Тьюринга»
Программа-тренажёр «Машина Поста»
Программа-тренажёр «Нормальные алгорифмы Маркова»
Учебная литература
Ершов Ю.Л., Палютин Е.А. Математическая логика
Чень Ч., Ли Р. Математическая логика и автоматическое доказательство теорем
Новиков П.С. Элементы математической логики
Непейвода Н.Н. Прикладная логика
Мендельсон Э. Введение в математическую логику
Роджерс Х. Теория рекурсивных функций и эффективная вычислимость
Барендрегт Х. Ламбда-исчисление
Игошин В.И. Математическая логика и теория алгоритмов
Кейслер Г., Чэн Ч.Ч. Теория моделей