Біздің инстаграмға жазылыңыз, гранттық байқаудың нәтижелерін жіберіп алмау үшін!
Модельдік теория
-
Курс математикалық құрылымдарды және олардың интерпретацияларын зерттеуге арналған. Ол формальды тілдер, құрылымдар мен сол тілдердегі белгілі бір қасиеттерді қанағаттандыратын модельдер арасындағы қарым-қатынастарды зерттейді. Модельдік теория әсіресе математикалық теориялардың синтаксисі (формальды тіл) мен семантикасы (мағынасы) арасындағы байланыстарды түсіну үшін маңызды.
-
Образовательная программа 6B05401 Математика
-
Несиелер 5
-
Селективті тәртіп
-
Оқу жылы 3
-
Семестр 6