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

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