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

  • Cтуденттерді дискреттік математиканың іргелі ұғымдарымен, негізгі анықтамаларымен және әдістерімен таныстыру, математикалық аппаратты меңгеру. Жиындар, оларға амалдар, жиындар алгебрасы. Бір мәнді екілік қатынастар және функциялар. Предикаттар. Предикаттарға логикалық амалдарды қолдану. Предикаттар логикасының формулалары. Логикалық функциялар. Буль функциялары. Жазу әдістері. Функцияларды формулалар арқылы орындау. Негізгі комбинаторлық конфигурациялар. Логика алгебрасы. Жиын теориясының негізгі теоремаларын дәлелдеу, жиындар алгебрасында теңдеулер мен теңдеулер жүйесін шешу және логика алгебрасында функциялар жүйесінің функционалдық толықтығын анықтау дағдылары бар.
  • Образовательная программа 6B05401 Математика
  • Несиелер 5
  • Селективті тәртіп
  • Оқу жылы 2
  • Семестр 3
Top