Introduzione
Анотація до навчальної дисципліни
«ДЕКЛАРАТИВНЕ ПРОГРАМУВАННЯ»
Мета вивчення дисципліни " Декларативне програмування " полягає в практичному засвоєння студентами концепції та базових принципів декларативного програмування.
Завдання дисципліни:
формування у студентів уявлень про різні парадигмах програмування, теоретичних знань в галузі математичних основ декларативного програмування та практичних навичок програмування на мовах Пролог та Erlang.
В результаті вивчення дисципліни студент повинен знати:
♦ основні конструкції декларативног програмування;
♦ обчислювальні моделі логічного програмування та Прологу;
♦ основні прийоми програмування на мові Erlang.
У результаті вивчення дисципліни студент повинен вміти:
♦ обробляти списки;
♦ розв’язувати задачі за допомогою методів недетермінованого програмування;;
♦ користуватись засобами управління виконанням Пролог-програми;
♦ супроводжувати розроблене програмне забезпечення.
Розроблять програми для розподілених обчислен.
Структура навчальної дисципліни " Декларативне програмування "
Тема 1. Теоретичні основи декларативного програмування.
Тема 2. Програмна реалізація механізму логічного доведення.
Тема 3. Засоби управління в декларативному програмуванні.
Тема 4. Мова Erlang і її застосування для розподільних обчислень.
Розраховано на магістрів напрямів підготовки “інформатика”, “прикладна математика”, “комп’ютерні науки”.
ЛІТЕРАТУРА
1..Братко И. Агоритмы искусственного интеллекта на языке PROLOG:
– М.: Издательский дом «Вильямс», 2004. – 640с.
2. Томпсон С., Чезарини Ф. Программирование в Erlang. – М.: ДМК Пресс,
2012. – 488 с.
3. Люгер Дж. Искусственный интеллект: стратегии и методы решения
сложных проблем. – М.:Издательский дом "Вильямс", 2004. – 864с.