RU

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

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