RU

Жоғары мәнді логикалық алгебра

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