Біздің инстаграмға жазылыңыз, гранттық байқаудың нәтижелерін жіберіп алмау үшін!
Математикалық логика
-
Пәннің міндеті негізгі логикалық есептеулерді, Алгоритмдер теориясының негіздерін және есептеу күрделілігін, модельдер теориясының негіздерін оқып үйрену болып табылады. Математикалық логика және алгоритмдер теориясының негізгі ұғымдары мен әдістері, шешілетін теорияларды аксиоматизациялау, кванторларды элиминациялау, есептеу есептерінің алгоритмдік шешілуі, NP-жаппай мәселелердің толықтығы.
-
Образовательная программа 6B06152 Есептеу техникасы және бағдарламалық қамтамасыз ету
-
Несиелер 3
-
Селективті тәртіп
-
Оқу жылы 2
-
Семестр 1