Теория моделей

  • Теория моделей, или теория алгебраических систем, как раздел математической логики возникла на стыке математической логики и алгебры. В данной дисциплине определяются основные классы моделей и демонстрируются возможности взаимовлияния синтаксических, или информационных объектов (теорий) и объектов семантических, или реальных (моделей), позволяющие устанавливать разнообразие (спектр) семантических объектов по их синтаксическим описаниям и наоборот.
  • Образовательная программа 7M01509 Математика
  • Кредитов 5
  • Селективная дисциплина
  • Год обучения 2
  • Семестр 1
Top