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