|
0. Введение в логику
|
|
1. Высказывания, формулы, тавтологии
|
|
1.1. Отношения логической эквивалентности и логического следствия
|
|
1.2. Задачи
|
|
2. Формальные теории
|
|
3. Исчисление высказываний
|
|
3.1. Построение вывода в логике высказываний
|
|
3.2. Задачи
|
|
4. Метод резолюций в логике высказываний
|
|
4.1. Задачи
|
|
5. Предикаты
|
|
5.1. Задачи
|
|
6. Исчисление предикатов
|
|
6.1. Теория равенства
|
|
6.2. Формальная арифметика
|
|
6.3. Теория частично упорядоченных множеств
|
|
6.4. Задачи
|
|
7. Алгоритмы
|
|
8. Рекурсивные функции
|
|
8.1. Задачи
|
|
9. Машины Тьюринга
|
|
9.1. Операции с машинами Тьюринга
|
|
9.2. Принцип двойственности
|
|
9.3. Способы композиции машин Тьюринга
|
|
9.4. Задачи
|
|
Использованная литература
|
|
Ответы и указания
|
