Жаңалықтарды бақылап, талқылауға қатысыңыз!
Инстаграмымызға,
Telegram-арнаға жазылып,
қауымдастық чатына қосылыңыз — грант байқауының нәтижелерін жіберіп алмау үшін!
Предикаттар логикасы
-
Пән предикаттардың логикасын зерттеу білуге, предикаттарды есептеуді, кванторлармен операция жасау ережелерін, рұқсат беру әдісін, формальды аксиоматикалық жүйелерді зерттеуге, кәсіби есептерді шешу үшін логикалық әдістерді қолдана білу, логикалық есептерді шешу дағдыларына ие болуға мүмкіндік береді.
-
Образовательная программа 6B06102 Информатика
-
Несиелер 5
-
Селективті тәртіп
-
Оқу жылы 4
-
Семестр 1