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

  • Логика высказываний. Логика предикатов. Множества и отображения. Бинарные отношения. Классические комбинаторные объекты. Булевы функции. Принцип двойственности. Дизъюнктивные нормальные формы. Графы. Эйлеровы графы. Алгоритмические модели. Машины Тьюринга и вычислимые по Тьюрингу функции
  • Образовательная программа 6B05401 Математика
  • Кредитов 5
  • Селективная дисциплина
  • Год обучения 2
  • Семестр 4
Top