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