Алгоритмы и теория вычислений

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