Введение в теорию моделей

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