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