KZ

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

  • Целью дисциплины является изучение теории моделей, ветви математической логики, которая занимается абстрактными структурами, исторически связанной с другими областями математики. В рамках курса рассматриваются такие темы, как языки, модели, теории, элиминация кванторов, полнота, компактность, насыщенные модели и категоричные теории. Основной целью семестра является закрепление этих понятий через изучение псевдоконечных моделей и обеспечение необходимого междисциплинарного сотрудничества.
  • Образовательная программа 7M05401 Математика
  • ВУЗ Евразийский национальный университет имени Л.Н.Гумилева
  • Кредитов 7
  • Селективная дисциплина
  • Год обучения 1
  • Семестр 2
Top