Основы теории алгоритмов

  • Целью курса является формирование у обучающихся представления о необходимости точного определения понятия алгоритма, овладение теорией формального описания алгоритмов с помощью машин Тьюринга, нормальных алгорифмов Маркова, вычислимых и рекурсивных функций, развитие навыков построения машин Тьюринга, машин Поста, алгорифмов Маркова, умения доказывать рекурсивность числовых функций.
  • Образовательная программа 6B05401 Математика
  • Кредитов 5
  • Селективная дисциплина
  • Год обучения 4
  • Семестр 1
Top