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