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

  • Бұл курсты оқу барысында студенттерде пікір алгебрасы және предикаттар мен бульдік алгебра, графтар теориясын, қосындылау, рекурентті тізбек теориясы, кодтау және автоматтар теориясы саласында жүйелі білімдері қалыптасады. Курс барысында пікір және оларға қолданылатын амалдар, пікір алгебрасының формулалары, пікір алгебрасының тавтологиясы, логикалық қолданулар, формулалардың тепе-теңдігі, пікір жүйесін ықшамдау қарастырылады.
  • Образовательная программа 6B01506 Информатика
  • Несиелер 5
  • Селективті тәртіп
  • Оқу жылы 2
  • Семестр 1
Top