KZ

Счетные модели полных теорий

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