Ви переглядаєте архівну версію офіційного сайту НУЛП (2005-2020р.р.). Актуальна версія: https://lpnu.ua

  1. Освіта
  2. Каталог освітніх програм

Декларативне програмування

Спеціальність: Інженерія програмного забезпечення
Код дисципліни: 6.121.03.E.90
Кількість кредитів: 6
Кафедра: Програмне забезпечення
Лектор: доцент Левус Євгенія Василівна
Семестр: 7 семестр
Форма навчання: денна
Результати навчання:
• знання основних принципів декларативного програмування, відмінних від традиційного програмування;
• знання основних методів і конструкцій, які використовуються у функційному та логічному програмуванні для написання прикладних програм;
• вміння створювати та відлагоджувати програми мовами декларативного програмування у відповідних середовищах програмування.
Необхідні обов'язкові попередні та супутні навчальні дисципліни:
Основи програмування
Алгоритми і структури даних
Короткий зміст навчальної програми:
Парадигми програмування. Загальна характеристика функційного програмування. Поняття S-виразу. Лямбда-обчислення. Базові примітиви функційному програмуванні. Побудова рекурсивних функцій. Функції вищих порядків. Програмування кероване даними. Пролог - як мова розробки систем штучного інтелекту та систем аналітичних перетворень. Числення висловлювань. Бектрекінг. Поняття про терми. Факти і правила. Рекурсивне представлення даних і програм. Керування бектрекінгом. Робота зі структурованою інформацією.
Рекомендована література:
1. Хювёнен Э., Сеппенен И. Мир Lisp'а. В 2-х томах. М.: Мир, 1990.
2. Х. Абельсон, Д. Сассман. Структура и интерпретация компьютерных программ. — Книга и курс лекций MIT.
3. Братко И. Алгоритмы искусственного интелекта на языке PROLOG. – М.:2004. – 640 с.
Методи і критерії оцінювання:
• письмові звіти з лабораторних робіт, усне опитування, контрольна робота (45%)
• підсумковий контроль (контрольний захід, екзамен): письмово-усна форма (55%)