Лекции по математической логике (компактные)

Теория алгоритмов.
Различные подходы к определению алгоритма.
Машина с неограниченными регистрами (МНР).
Машина Тьюринга - Поста.
Нормальные алгоритмы Маркова.
Реализация функции натурального переменного.
Эквивалентность трех подходов к понятию алгоритм.
Булевы функции.
Основные определения.
Дизъюнктивные нормальные формы.
Логические Исчисления.
Исчисления высказывания (ИВ).
Правило одновременной подстановки.
Критерий выводимости в ИВ.
Непротиворечивость ИВ.
Формальные исчисления.
Предикаты и кванторы.
Определение предиката.
Понятие квантора.
Геометрическая интерпретация навешивания кванторов.