KZ

Аксиоматические системы

  • Изучение дисциплины позволит получить знания аксиоматических систем. Дисциплина позволит изучить аксиоматические теории первого порядка, разновидности дедуктивных теорий, использовать логические методы для решения профессиональных задач, получить навыки решения логических задач.
  • Образовательная программа 6B06102 Информатика
  • ВУЗ Евразийский национальный университет имени Льва Николаевича Гумилева
  • Кредитов 5
  • Селективная дисциплина
  • Год обучения 4
  • Семестр 1
Top