Модельдік теория

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