Функциональное программирование на языках Лисп, Эрланг [П. Ю. Шалимов] (pdf) читать постранично, страница - 50

рекурсивного процесса …………………………..
7.5.
Хвостовая рекурсия …………………………………………...
7.6.
Рекурсивные определения стандартных функций …………..
7.7.
Эффективность и критерии выбора рекурсивного решения
Резюме ………………………………………………………….
Упражнения ……………………………………………………
ГЛАВА 8.
ПРОГРАММИРОВАНИЕ С ИСПОЛЬЗОВАНИЕМ
ФУНКЦИЙ ВЫСШЕГО ПОРЯДКА ………………………
8.1.
Понятие функции высшего порядка ………………………….
8.2.
Применяющие функционалы Лиспа …………………………
8.3.
Отображающие функционалы ………………………………..
8.4.
Функций высшего порядка в Эрланге ………………………..
8.5.
Лексические замыкания ……………………………………….
Резюме ………………………………………………………….
Упражнения ……………………………………………………
МАТЕМАТИЧЕСКИЕ ОСНОВЫ …………………………
ГЛАВА 9.
9.1.
 -исчисление ………………………………………………….
9.1.1. Основные понятия и синтаксис  -исчисления …………...
9.1.2. Правила вывода в  -исчислении ………………………….
9.1.3. Теоремы  -исчисления …………………………………….
9.1.4. Чистое  -исчисление ………………………………………
9.2.
Теория рекурсивных функций ………………………………..
9.2.1. Подходы к формализации алгоритмов ……………………
9.2.2. Теоремы теории рекурсивных функций …………………..
Резюме ………………………………………………………….

73
76
78
83
86
87
88
88
90
93
95
98
102
104
105
107
107
108
111
117
119
121
127
129
130
132
132
133
136
138
140
143
143
145
145
146
148
150
153
154
154
156
158

174

Упражнения ……………………………………………………
ГЛАВА 10. ПРИМЕРЫ РЕШЕНИЯ ФУНКЦИОНАЛЬНЫХ ЗАДАЧ
10.1. Примеры программ на Лиспе …………………………………
10.1.1. Задача о списке уровней …………………………………..
10.1.2. Объединение упорядоченных списков …………………..
10.1.3. Фильтрующие объединения ………………………………
10.1.4. Упорядоченные внедрения ……………………………….
10.2. Примеры программ на Эрланге ……………………………….
10.2.1. Упорядоченное объединение ……………………………..
10.2.2. Внедрение в упорядоченный список …………………….
10.2.3. Подсчет числа элементов …………………………………
10.2.4. Подсчет числа разных элементов списка ………………..
10.3. Определение функций высшего порядка …………………….
Список рекомендуемой литературы ………………………….
Предметный указатель ………………………………………...

159
160
160
160
162
163
163
164
164
165
165
166
167
168
170

175

Учебное издание

Шалимов Петр Юрьевич

ФУНКЦИОНАЛЬНОЕ ПРОГРАММИРОВАНИЕ
НА ЯЗЫКАХ ЛИСП, ЭРЛАНГ

Редактор издательства Л.Н. Мажугина
Компьютерный набор П.Ю. Шалимов
Темплан 2010г., п.47
Подписано в печать 09.11.06. Формат 60х84 1/16. Бумага офсетная. Офсетная
печать. Усл. печ.л. 11,04. Уч.-изд.л. 11,04. Тираж 60 экз. Заказ
.

Брянский государственный технический университет
241035, г. Брянск, бульвар им. 50-летия Октября, 7, тел. 58-82-49
Лаборатория оперативной полиграфии БГТУ, ул. Институтская, 16