Следите за новостями и участвуйте в обсуждениях!
Подписывайтесь на
наш Инстаграм,
Телеграм-канал и
присоединяйтесь к чату сообщества — чтобы не пропустить результаты конкурса грантов!
Дискретная математика и математическая логика
-
Логика высказываний. Логика предикатов. Множества и отображения. Бинарные отношения. Классические комбинаторные объекты. Булевы функции. Принцип двойственности. Дизъюнктивные нормальные формы. Графы. Эйлеровы графы. Алгоритмические модели. Машины Тьюринга и вычислимые по Тьюрингу функции
-
Образовательная программа 6B01502 Математика-физика
-
Кредитов 6
-
Селективная дисциплина
-
Год обучения 4
-
Семестр 7