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