RU

Математикалық логиканың фундаментальды сұрақтары

  • Бұл курста математикалық логиканың теориялық сұрақтары қарастырылады, практикада бульдік функциялар жүйесінің толықтығын анықтау және жалпы графаларда әр түрлі қасиеттерді тексеру. Екілік қатынастар теориясының негізгі ұғымдары, булдық функциялар, формальды есептеулер теориялары. Екілік қатынастар. Эквиваленттілік, ішінара ретті. Бульдік функциялар. Сөздер мен предикаттардың логикасындағы дәлелдемелер әдістері. Графтар теориясының негізгі ұғымдары.
  • Образовательная программа 7M01501 Математика (1.5)
  • ВУЗ Қазақ ұлттық қыздар педагогикалық университеті
  • Несиелер 6
  • Селективті тәртіп
  • Оқу жылы 1
  • Семестр 1
Top