RU

Функционалдық және логикалық бағдарламалау

  • Функционалдық және логикалық бағдарламалауды, рекурсивті функцияларды және Ламбда есептеуді, А.Черчтің функционалдық белгілеулердегі бағдарламалауды, функционалдық тілдерді, қатаң функционалдық тілді, бағдарламалау тәсілдерін; функционалдық бағдарламаларды ұсыну және интерпретациялауды, логикалық бағдарламаны (негізгі конструкцияларды, операциялық және декларативтік семантиканы, интерпретацияны, дұрыстығын) зерттейтін пән.
  • Образовательная программа 6B06106 Басқарудағы ақпараттық жүйелер
  • ВУЗ Манаш Қозыбаев атындағы Солтүстік Қазақстан университеті
  • Несиелер 5
  • Селективті тәртіп
  • Оқу жылы 4
  • Семестр 1
Top