1. Понятие алгоритма. Классификация алгоритмических моделей. Знакомство с машиной Тьюринга
2. Машина Тьюринга. Вычислимость. Примеры. Способы задания
3. Рекурсивные функции
4. Разрешимые и перечисляемые множества. Введение в теорию конечных автоматов
5. Свойства и варианты конечных автоматов
6. Алгоритмические возможности конечных автоматов. Сети Петри
7. Формальные системы. Свойства, интерпретация, моделирование
8. Формальные грамматики
9. Логика. Исчисления высказываний и исчисление предикатов
10. Метатеория. Введение в исчисление предикатов
11. Интерпретация и полнота исчисления предикатов
12. Метод резолюций в исчислении высказываний и исчислении предикатов