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

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