Вопросы

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.Метод «образовать и проверить» в логическом программировании..

Скачать: