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

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