Вопросы
.docВопросы по ФиЛП – 2005
-
Декларативное и императивное программирование. Основные понятия.
-
Понятие функции. Основы лямбда-исчисления.
-
Символьное представление данных в языке Лисп. Списки и точечные пары.
-
Элементарные функции Лисп. Работа со списками, элементарные предикаты.
-
Построение рекурсивных функций. Нисходящая рекурсия в языке Лисп.
-
Построение рекурсивных функций. Восходящая рекурсия в языке Лисп.
-
Построение рекурсивных функций. Рекурсия по дереву в языке Лисп.
-
Построение рекурсивных функций. Взаимная (перекрестная) рекурсия в языке Лисп.
-
Рекурсивные функции в языке Лисп. Рекурсия более высокого порядка.
-
Рекурсивные функции в языке Лисп. Функционалы и функции планирования.
-
Вычисляющая функция Лисп и функции применения.
-
Функции с побочным эффектом в языке Лисп. Функции назначения.
-
Управляющие конструкции языка Лисп.
-
Ассоциативные списки. Функции свойств и флагов в языке Лисп.
-
Структуры данных. Организация двоичных деревьев в языке Лисп.
-
Реализация методов поиска на языке Лисп.
-
Управляемое данными программирование на языке Лисп.
-
Процедурное и логическое программирование. Понятие логической программы.
-
Объекты, отношения и факты в логическом программировании.
-
Целевые утверждения и переменные в Прологе.
-
Правила в Прологе.
-
Переменные в Прологе. Синтаксис, конкретизация, связывание.
-
Списки в Прологе. Обработка списков.
-
Механизм поиска и возврата в Прологе.
-
Рекурсия в Прологе. Нисходящая рекурсия.
-
Рекурсия в Прологе. Восходящая рекурсия.
-
Рекурсия с недетерминированным выбором.
-
Управление поиском в Прологе. Отсечение
-
Управление поиском в Прологе. Отрицание как безуспешное выполнение.
-
Управление поиском в Прологе. Определяемое пользователем повторение.
-
Структуры данных в ТП. Основные понятия.
-
Структуры данных в ТП. Сопоставление структур.
-
Структуры данных в ТП. Двоичные деревья. Сортировка по дереву.
-
Метод «образовать и проверить» в логическом программировании..