Лекторы — Д.В. Мусатов и к.ф.-м.н. А.Б. Дайняк.
Задачи для самостоятельного решения
Программирование на машинах Тьюринга
Вычислимые функции; разрешимые и перечислимые множества
Построение неразрешимых и неперечислимых множеств
Распознавание свойств вычислимых функций
Теорема Клини
Арифметическая иерархия
Формальная арифметика
Лямбда-исчисление