Подписывайтесь на наш instagram, чтобы не пропустить результаты конкурса грантов!
Алгоритмы и теория вычислений
-
Курс посвящен знакомству с такими фундаментальными математическими понятиями, как вычисления и доказательство. Курс предусматривает изучение теории алгоритмов и аксиоматического подхода к математической логике Рассматриваются темы возникновение теории алгоритмов. Регулярные языки. Конечные автоматы. Применение конечных автоматов в программировании. Модели вычислений. Рекурсивные функций. Анализ трудоёмкости алгоритмов. Классы сложности. Математические приложения теории алгоритмов.
-
Образовательная программа 7M01503 Информатика
-
Кредитов 5
-
Селективная дисциплина
-
Год обучения 1
-
Семестр 2