Подписывайтесь на наш instagram, чтобы не пропустить результаты конкурса грантов!
Математическая логика и теория алгоритмов
-
Излагается темы, традиционно изучаемые в курсе математической логики и теории алгоритмов: алгебра логики и исчисление высказываний, логика и исчисление предикатов, формальные аксиоматические теории, теория алгоритмов и теория вычислительной сложности
-
Образовательная программа 6B01509 Математика
-
Кредитов 6
-
Селективная дисциплина
-
Год обучения 2
-
Семестр 2