RU

Дискретті математика және математикалық логика

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