RU

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

  • Бульдік функция, бульдік функциялардың қалыпты түрлері, Пост теоремасы, бульдік функциялардың қолданылуы, бинарлы шешуші диаграммалар, соңғы автоматтар және оларды қолдану, пікір логикасы, пікір логикасының негізгі ұғымдары, пікір логикасындағы логикалық тұжырым, предикат логикасы, предикат логикасының негізгі ұғымдары, предикат логикасындағы логикалық тұжырым, аксиоматикалық теориялар. Аксиоматикалық теорияның негізгі компоненттері.
  • Образовательная программа 6B06101 Информатика
  • ВУЗ Қазақ ұлттық қыздар педагогикалық университеті
  • Несиелер 5
  • Селективті тәртіп
  • Оқу жылы 2
  • Семестр 4
Top