Математическая логика и дискретная математика

  • Рассматриваются основные понятия, теоремы, выводы, доказательства, методы решения задач, касающиеся элементов алгебры логики, дискретных функций, графов, синтеза систем управления. Описывается разнообразная передача математического языка, методы доказательств непротиворечивости, независимости и полноты теории, анализ решения проблемы, роль предмета в системе наук, пути интеграции предметных знаний.
  • Кредитов 4
  • Год обучения 3
  • Семестр 6
Top