Логикалық бағдарламалау

  • Мақсаты: логикалық бағдарламалаудың синтаксисін, семантикасын, теориялық негіздерін қарастырады; Іздеуді басқару дағдылары. Мазмұны: логикалық бағдарламалаудың негізгі алгоритмдерін жүзеге асыра білу, оларды әртүрлі қосымшаларға ендіру. Есептеу механизмін талдау дағдыларын, логикалық бағдарламаларды жобалау әдістемесін; логикалық бағдарламалаудың тілдік ортасында әртүрлі пәндік салалардағы нақты тапсырмаларды практикалық бағдарламалау дағдыларын меңгеру.
  • Несиелер 4
  • Селективті тәртіп
  • Оқу жылы 3
  • Семестр 1
Top