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