Біздің инстаграмға жазылыңыз, гранттық байқаудың нәтижелерін жіберіп алмау үшін!
Модельдер теориясы
-
Модельдер теориясы немесе алгебралық жүйелер теориясы математикалық логиканың бір саласы ретінде математикалық логика мен алгебраның қиылысында пайда болды. Бұл пән модельдердің негізгі класстарын анықтайды және синтаксистік немесе ақпараттық объектілердің (теориялардың) және семантикалық немесе нақты объектілердің (модельдердің) өзара әсер ету мүмкіндіктерін көрсетеді, бұл сәйкес семантикалық объектілердің әртүрлілігін (спектрін), олардың синтаксистік сипаттамасын орнатуға мүмкіндік береді және керісінше.
-
Образовательная программа 7M01509 Математика
-
Несиелер 5
-
Селективті тәртіп
-
Оқу жылы 2
-
Семестр 1