Введение в теоретическую информатику

Курс о теоретическая информатики — раздела математики, связанной с логикой, алгоритмами, сложностью.

Программа курса

• Разрешающие деревья
• Схемы из функциональных элементов
• Пропозициональная логика
• Вычислимость
• Программы и универсальные функции
• Машины Тьюринга
• Ассоциативные исчисления
• Переборные задачи и их сложность
• Ускорение перебора
• Конечные автоматы
• Интерактивные доказательства
• Правила Хоара

Программа для студентов младших курсов.