Біздің инстаграмға жазылыңыз, гранттық байқаудың нәтижелерін жіберіп алмау үшін!
Дискретті математика және математикалық логика
-
Пікірлер логикасы. Предикаттар логикасы. Жиын және бейнелеу. Бинарлық қатынастар. Классикалық комбинаторлық объектілер. Бульдік функциялар. Принципін двойственности. Дизъюнктивті қалыпты формалар. Бағандар. Эйлер бағандары. Алгоритмдік модельдер. Тьюринг машиналары және Тьюринг бойынша есептелетін функциялар
-
Образовательная программа 6B05401 Математика
-
Несиелер 5
-
Селективті тәртіп
-
Оқу жылы 2
-
Семестр 4