Основы теории нумераций

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