Анотація українська
Викладені теоретичні основи функціонального програмування за наступними розділами: символьні обчислення, рекурсивна обробка списків, реалізація логічних предикатів. Містяться рекомендації до вивчення теоретичного матеріалу, контрольні питання, рекомендована література, завдання для контрольних робіт і приклади їх виконання.
Анотація російська
Изложены теоретические основы функционального программирования по следующим разделам: символьные вычисления, рекурсивная обработка списков, реализация логических предикатов. Содержатся рекомендации к изучению теоретического материала, контрольные вопросы, рекомендованная литература, задачи для контрольных работ и примеры их выполнения.