KZ

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

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