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

  • Ознакомить студентов с фундаментальными понятиями, основными определениями и методами дискретной математики, овладение математическим аппаратом. Множества, операции над ними, алгебра множеств. Однозначные бинарные отношения и функции. Высказывания. Логические операции над высказываниями. Формулы логики высказываний. Булевы функции. Способы задания. Реализация функций формулами. Основные комбинаторные конфигурации. Алгебра логики. Владеет навыками доказывать основные теоремы теории множеств, решать уравнения и системы уравнений в алгебре множеств и определять функциональную полноту систем функций алгебры логики.
  • Образовательная программа 6B05401 Математика
  • Кредитов 5
  • Селективная дисциплина
  • Год обучения 2
  • Семестр 3
Top