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

  • Мақсаты: Студенттерді математикалық логиканың бастамасымен, дискретті математиканың негізгі бөлімдерімен және оның қосымшаларымен таныстыру. Тақырыптар мен бөлімдердің атауы: Жиындар, оларға қолданылатын амалдар, жиындар алгебрасы. Бинарлық қатынастар және функциялар. Пікірлер, оларға қолданылатын амалдар. Буль функциялар және буль функциясының толық жүйелері. Предикаттар және оларға қолданылатын амалдар, кванторлар. Негізгі комбинаторлық формулалар. Графтар теориясының негізгі ұғымдары. Тьюринг машинасымен амалдар: композиция, тармақталу, циклдеу. Қалыптасатын құзыреттілік: Дискретті математиканың негізгі ұғымдары мен әдістерін біледі: логикалық есептеулер, амалдармен функционалдық жүйелер, дискретті құрылымдар.
  • Образовательная программа 6B01505 Физика ағылшын тілінде
  • Несиелер 4
  • Селективті тәртіп
  • Оқу жылы 1
  • Семестр 2
Top