Жаңалықтарды бақылап, талқылауға қатысыңыз!
Инстаграмымызға,
Telegram-арнаға жазылып,
қауымдастық чатына қосылыңыз — грант байқауының нәтижелерін жіберіп алмау үшін!
Математикалық логика
-
Пәннің мақсаты - математикалық логика және оның негізгі әдістері саласындағы жүйеленген білім, іскерлік пен дағдыларды қалыптастыру. Меңгеріледі: Пікірлерді есептеу тілі. Аксиомалар жүйесі және қорытып шығару заңдары. Формуланың эквиваленттілігі. Ақиқаттық кестесі. Логика алгебрасының функциялары. Дәлелденетін формулалар. Бірінші дәрежелі логика. Жалпылау және бар болу кванторлары. Предикаттарды есептеу. Предикаттар теориясының аксиомаалары және қорытып шығару заңдары. Кластарды аксиомаландыру. Модельдер теориясының элементтері. Рекурсивтік функциялар теориясының элементтері.
-
Образовательная программа 6B05413 Математика және математиканы оқыту
-
Несиелер 4
-
Селективті тәртіп
-
Оқу жылы 4
-
Семестр 1