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

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