Подписывайтесь на наш instagram, чтобы не пропустить результаты конкурса грантов!
Математическая логика
-
Задачей дисциплины является изучение основных логических исчислений, основ теории алгоритмов и сложности вычислений, основ теории моделей. Основные понятия и методы математической логики и теории алгоритмов, аксиоматизация разрешимых теорий, элиминация кванторов, алгоритмическая разрешимость вычислительных задач, NP-полнота массовых проблем.
-
Образовательная программа 6B06152 Вычислительная техника и программное обеспечение
-
Кредитов 3
-
Селективная дисциплина
-
Год обучения 2
-
Семестр 1