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