Біздің инстаграмға жазылыңыз, гранттық байқаудың нәтижелерін жіберіп алмау үшін!
Модельдердің заманауи теориясы
-
«Модельдердің заманауи теориясы» пәні құрылымдарды, модельдерді және олардың қасиеттерін зерттейтін математикалық логиканың маңызды саласы болып табылады. Бұл курс аясында магистранттар құрылымдар, модельдер, теориялар және интерпретациялар сияқты іргелі ұғымдармен және әдістермен, соның ішінде жиындар теориясы мен бірінші ретті логиканың тілін түсінумен танысады. Олар модель изоморфизмі және элементар эквиваленттілік сияқты ұғымдар туралы біледі, бұл екі модель құрылымдық жағынан бірдей немесе логикалық баламалы деп есептелетінін түсінуге көмектеседі. Сонымен қатар магистранттар әртүрлі модельдер мен олардың қасиеттерін талдауға және салыстыруға мүмкіндік беретін типтер теориясы мен теория классификациясын оқиды.
-
Образовательная программа 7M05401 Математика
-
Несиелер 5
-
Селективті тәртіп
-
Оқу жылы 2
-
Семестр 3