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