Вопросы

Вопросы по ФиЛП – 2005

1. Декларативное и императивное программирование. Основные понятия.

2. Понятие функции. Основы лямбда-исчисления.

3. Символьное представление данных в языке Лисп. Списки и точечные пары.

4. Элементарные функции Лисп. Работа со списками, элементарные предикаты.

5. Построение рекурсивных функций. Нисходящая рекурсия в языке Лисп.

6. Построение рекурсивных функций. Восходящая рекурсия в языке Лисп.

7. Построение рекурсивных функций. Рекурсия по дереву в языке Лисп.

8. Построение рекурсивных функций. Взаимная (перекрестная) рекурсия в языке Лисп.

9. Рекурсивные функции в языке Лисп. Рекурсия более высокого порядка.

10. Рекурсивные функции в языке Лисп. Функционалы и функции планирования.

11. Вычисляющая функция Лисп и функции применения.

12. Функции с побочным эффектом в языке Лисп. Функции назначения.

13. Управляющие конструкции языка Лисп.

14. Ассоциативные списки. Функции свойств и флагов в языке Лисп.

15. Структуры данных. Организация двоичных деревьев в языке Лисп.

16. Реализация методов поиска на языке Лисп.

17. Управляемое данными программирование на языке Лисп.

18. Процедурное и логическое программирование. Понятие логической программы.

19. Объекты, отношения и факты в логическом программировании.

20. Целевые утверждения и переменные в Прологе.

21. Правила в Прологе.

22. Переменные в Прологе. Синтаксис, конкретизация, связывание.

23. Списки в Прологе. Обработка списков.

24. Механизм поиска и возврата в Прологе.

25. Рекурсия в Прологе. Нисходящая рекурсия.

26. Рекурсия в Прологе. Восходящая рекурсия.

27. Рекурсия с недетерминированным выбором.

28. Управление поиском в Прологе. Отсечение

29. Управление поиском в Прологе. Отрицание как безуспешное выполнение.

30. Управление поиском в Прологе. Определяемое пользователем повторение.

31. Структуры данных в ТП. Основные понятия.

32. Структуры данных в ТП. Сопоставление структур.

33. Структуры данных в ТП. Двоичные деревья. Сортировка по дереву.

34. Метод «образовать и проверить» в логическом программировании..