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

  • Дисциплина дает необходимую базу для овладения основными понятиями теории моделей: язык, терм, формула, предложение, модель, определимое множество, теория, тип; умение реализовывать типы, строить элементарные расширения моделей, различать модели по основным характеристикам; позволяет освоить различные методы доказательств утверждений и строить модели с заданными характеристиками.
  • Кредитов 5
  • Селективная дисциплина
  • Год обучения 3
  • Семестр 5
Top