Опис курсу

Фокус уваги курсу спрямовано на вивчення засад декларативного програмуван­ня. Засоби та методи написання програм у логічному стилі проілюстровано мо­вою Prolog, засоби та методи функціонального програмування – з використанням Lisp і Python. Для опису задачі логічний стиль застосовує твердження і правила, функціональний – оголошення та виклики функцій. Розглянуто питання правиль­ної побудови рекурсії, використання монад. Курс пов’язаний з дисциплінами “Основи програмування”, “Програмування (.Net, Python)”, “Алгоритми обчислю­вальних процесів”.

Після завершення цього курсу студент буде :

Знати

• синтаксис мови Prolog, засади функціонування її машини виводу, вбудовані засоби;
• синтаксис мови Lisp та особливості функціонування її інтерпретатора, стандартні функції;
• прийоми написання програм у логічному стилі;
• правила написання функціональних програм.

Вміти

• описувати предметну область задачі мовою Prolog;
• формулювати прості та рекурсивні правила мовою Prolog;
• створювати та використовувати структури (у тому числі й бази даних) мовою Prolog;
• оголошувати та використовувати функції мовою Lisp, у тому числі функції вищих порядків;

застосовувати засоби функціонального програмування мови Python.