Математикалық логика және алгоритмдер теориясы

  • Математикалық логика және алгоритмдер теориясы курсында дәстүрлі түрде зерттелетін тақырыптар қарастырылады: логика алгебрасы және пікірлерді есептеулер, предикаттардың логикасы мен есептеулері, формальды аксиоматикалық теориялар, алгоритмдер теориясы және есептеу күрделілігі теориясы.
  • Образовательная программа 6B01509 Математика
  • Несиелер 6
  • Селективті тәртіп
  • Оқу жылы 2
  • Семестр 2
Top