Математикалық логика

  • Пәннің міндеті негізгі логикалық есептеулерді, Алгоритмдер теориясының негіздерін және есептеу күрделілігін, модельдер теориясының негіздерін оқып үйрену болып табылады. Математикалық логика және алгоритмдер теориясының негізгі ұғымдары мен әдістері, шешілетін теорияларды аксиоматизациялау, кванторларды элиминациялау, есептеу есептерінің алгоритмдік шешілуі, NP-жаппай мәселелердің толықтығы.
  • Несиелер 3
  • Селективті тәртіп
  • Оқу жылы 2
  • Семестр 1
Top