Графтар теориясы және оның қолдану салалары

  • Сөйлемдер алгебрасы мен предикаттар алгебрасының негізгі ұғымдары мен әдістері, комбинаторика, бульдік функциялар теориясы, алгоритмдердің формальды құрылысы, графтар теориясы, кодтау теориясы қарастырылады. Логикалық символиканы қолдана отырып математикалық бекітулерді жазу, кванторлар мен предикаттары бар формулаларды түрлендіре білу. Математикалық формулаларды жазу, оларды сипаттау бойынша буль функцияларын құруды білу.
  • Образовательная программа 7M01503 Математика
  • Несиелер 5
  • Оқу жылы 1
  • Семестр 1
Top