Математикалық логика

  • Мақсаты: Математикалық логика негіздері бойынша білім алу және студенттерді заманауи математикалық аппаратпен қаруландыру Мазмұны: Математикалық логиканың негізгі заңдары мен ережелері: жиынтық теориясы; буль алгебрасы; предикаттардың теориялық және көп логикасын формальды есептеудің жалпы теориясы; типтік есептерді шешуде зерттелген математикалық аппаратты қолдану; ғылымның байланысты салаларынан және оның қосымшаларынан есептерді шешу; қазіргі математикалық логиканың ұғымдары мен теорияларын зерттеуге ұсынылған аппараттың есептерді шешуге сәйкестік дәрежесін бағалауға.
  • Образовательная программа 6B06120 Ақпараттық жүйелер
  • Несиелер 5
  • Селективті тәртіп
  • Оқу жылы 2
  • Семестр 1
Top