Основания информатики

Курс представляет собой систематизированное изложение основ теоретической информатики. В рамках курса рассматриваются основные формализмы и фундаментальные понятия, такие как сложность, вычислимость, автомат. Первая часть курса посвящена теории рекурсивных функций, на языке которой формулируются основные свойства алгоритмов. Далее студенты ознакомятся с теорией конечных автоматов и языков. Финальная часть курса содержит базовые сведения о фундаментальных проблемах искусственного интеллекта.