Абельсон Х., Сассман Д.Д. Структура и интерпретация компьютерных программ
Подождите немного. Документ загружается.
Предметный указатель
581
произвольное количество 26, 112
(упр. 2.20)
Аристотель, De caelo (комментарий
Ж. Буридана) 296п
арифметика [arithmetic]
интервальная 102
комплексных чисел 171, см. арифметика
комплексных чисел
многочленов см. ари фметика
многочленов
обобщенные операции 186
рациональная 93
элементарные процедуры 26
арифметика комплексных чисел
[complex-number arithmetic] 171
взаимодействие c общими
арифметическими системами 189
структура системы 178
арифметика многочленов [polynomial
arithmetic] 199
алгоритм Евклида 207п
вер оятностный алгоритм для НОД 210п
вк лючение в систему обобщенной
арифметики 200
вычитание 205 (упр. 2.88)
деление 205 (упр. 2.91)
наибольший общий делитель 207, 210п
рациональные функции 207
сложение 200
умножение 200
арктангенс [arctangent] 174п
ассемблер [assembler] 473, 476
атомарно сть [atomicity] 295
атомарные операции, поддерживаемые на
уровне аппаратуры [atomic operations
supported in hardware] 296
А’х-мосе [A’h-mose] 61п
Ачарья , Бхаскара [Bh
´
ascara
´
Ach
´
arya] 57п
база данных [data base]
и логическое программирование 407
и программирование, управляемое
дан ными 184 (упр. 2.74)
индексирование 418п, 439
как множество записей 162
персонал компании Insatiab le
Enterprise s, Inc. 184 (упр. 2.74)
персонал «Ми крошафт» 407
базовый адрес [base address] 490
банковский счет [bank account] 213, 240
(упр. 3.11)
защищенный паролем 217 (упр. 3.3)
мена балансов местами 291
перенос денег 293 (упр. 3.44)
потоковая модель 332
сериализованный 289
совместный 225, 226 (упр. 3.7), 284
совместный, смоделированный с
помощью потоков 334
Барт, Джон [John Barth] 335
барьерная синхронизация [barrier
synchronization] 298п
барьеры абстракции [abstraction barriers]
92, 97, 170
в обобщенной арифметической системе
186
в системе работы с ком плексными
числами 171
Батали, Джон Дин [John Dean Batali]
500п
башня типов [tower of types] 194
Бейкер, Генри Дж., мл. [Henry J. Baker
Jr.] 495п
Бертрана гипотеза [Bertrand’s hypothesis]
311п
бесконечная последовательность [infinite
series] 438п
бесконечные потоки [infinite streams] 307
простых чисел см. primes
целых чисел см. integers
чисел Фибоначчи см. fibs
бесконечный поток
для моделирования сигналов 321
для суммирования ряда 315
пар 318
представлен ие степенных рядов 312
(упр. 3.59)
слияние 311 (упр. 3.56), 319, 320
(упр. 3.70), 334
слияние как отношение 334п
случайных чисел 330
582
Предметный указатель
факториалов 311 (упр. 3.54)
бинарное дерево [binary tree] 158
для кодирования по Хаффману 164
представлен ное при помощи списков 159
преобразование в список 161 (упр. 2.63)
преобразование из списка 161
(упр. 2.64)
списк и, представленные как 158
таблицы 260 (упр. 3.26)
бинарный поиск [binary search] 158
биномиальный коэффициент [binomial
coefficients] 57п
блоха [bug] 23
блочная структура [block structure] 47, 360
в модели окружения 238
в языке запросов 449 (упр. 4.79)
«Болт, Беранек и Ньюман» [Bolt, Beranek
and Newman, inc.] 24п
большое число [bignum] 491
Борнин г, Алан [Alan Borning] 272п
Бородин, Алан [Alan Borodin] 126п
Буридан, Жан [Jean Buridan] 296п
буфер [buffer]
FIFO 250
LIFO см. стек
Бытие 417 (упр. 4.63)
Бэкус, Джон [John Backus] 333п
бюрократия [bureaucracy] 425
Вагнер, Эрик Дж. [Eric G. Wagner] 100п
Ванд, Митчелл [Mitchell Wand] 337п,
505п
Вейль, Герман [Hermann Weyl] 90
вектор (математиче ский) [vector
(mathematical)]
в кадре из языка описания изображений
140
операции 126 (упр. 2.37), 141 (упр. 2.46)
представлен ный в виде пары 141
(упр. 2.46)
представлен ный в виде
последовательности 126 (упр. 2.37)
вектор (структура данных) [vector (data
structure)] 490
Венера [Venus] 147п
вер оятностный алгоритм [probabilistic
algo rithm] 66, 67, 210п, 308п
вершина дерева [node of a tree] 29
ветвь [c lause] 36
ветвь cond [c lause, of a cond] 36
дополнительный синтаксис 349
(упр. 4.5)
ветвь дер ева [branch of a tree] 29
вечерняя звезда [evening star] см. Венера
взаимное исключение [mutual exclusion]
294п
взгляд на вычисления как на обработку
сигналов [signal-processing view of
computation] 121
Виноград, Терри [Terry Winograd] 385п
вложение комбинаций [nested
combinations] 27
вложенные определения [nested definitions]
см. внутренние определения
вложенные отображения [nested mappings]
см. отображение
вложенные применения car и cdr [nested
applications of car and cdr] 108п
внутреннее состояние [local state] 212
поддерживаемое в кадрах 234
внутренние определения [internal
definitions] 46
vs. let 78
в модели с окружениями 238
в недетерминистском интерпретаторе
399п
ограничения 361п
позиция 47п
прочесывание и уничтожение 361
свободная переменная внутри 47
сфера действия имени 360
внутренний язык машины [native language
of machine] 517
внутренняя переменная состоян ия [local
state variable] 212, 213
возведение в степень [exponentiation] 59
по модулю n 65
возврат [backtracking] 384, см. также
недетерминисткие вычисления
возврат нескольких значений [returning
multiple values] 478п
Предметный указатель
583
волшебник [wizard] см. специалист по
численному анализу
вопросительный знак, в именах
предикатов [question mark] 41п
восклицательный знак, в именах процедур
[exclamation point] 214п
восприятие [interning] 492
временн
´
ая диаграмма [timing diargam] 283
временной отрезок [time segment] 269
время [time] 281
в недетерминистских вычислениях 382
в недетерминистском вычислении 384
в параллельных системах 284
и взаимодействие процессов 298
и присваивание 281
и функциональное программирование
331
предназначение 284п
встроенный язык, использование в
разработке языков [embedded
language] 369
выборки ключа, процедура [key selector]
162
вывод типов [type inference] 329п
выделение стека и хвостовая рекурсия
[stack allocation and tail recursion]
535п
вызов по имен и [call by name] 372п
вызов по необходимости [call by need]
306п, 372п
связь с мемоизацией 312п
вынуждение санка [forcing a thunk] 372
выражение [expression] 26, см. также
составные выражения; элементарные
выражения
алгебраическое см. алгебраическое
выражение
самовычисляющееся 340
символьное 92, см.также символ(ы)
выражение-следствие [consequent
expression]
cond 36
if 37
высокоуровневый язык vs. машинный язык
336
выход из тупика [deadlock recovery] 297п
вычисление [evaluation] 26
and 37
cond 36
if 37
or 37
аппликативный порядок см.
аппликативный порядок вычислений
задержанное см. задержанные
вычисления
комбинации 29
модели 354
модель с окружениями см. модель
вычисления с окружениями
нормальный порядок см. нормальный
порядок вычислений
особых форм 31
подстановочная модель см.
подстановочная модель применения
процедуры
порядок вычисления подвыражений см.
порядок вычисления
элементарных выражений 30
вычислимость [computability] 359п, 360п
вычислители см. метациклический
интерпретатор; анализирующий
интерпретатор; недетерминистский
интерпретатор; ленивый
интерпретатор; интерпретатор
запросов; вычислитель с явным
управлением
вычислитель [evaluator] 336, см. также
интерпретатор
как универсальная машина 359
метациклический 338
вычислитель c хвостовой рекурсией
[tail-recursive evaluator] 508
вычислитель с нормальным порядком см.
ленивый интерпретатор
вычислитель с явным управлением для
Scheme [explicit-control evaluator for
Scheme] 500
выражения без подвыражени й,
подлежащих вычислению 502
вычисление операндов 504
запуск 512
использование стека 503
584
Предметный указатель
как программа на машинном языке 517
как универсальная машина 517
комбинации 503
контроллер 502
модель машины 513
модифицированный для
скомпилирован ного кода 551
нормальный порядок вычислений 511
(упр. 5.25)
обработка ошибок 512, 516 (упр. 5.30)
операции 501
определения 511
оптимизация 524 (упр. 5.32)
отслеживание производительно сти
(использование стека) 514
последовательности выражений 507
применение процедур 503
присваивания 510
производные выражен ия 511 (упр. 5.23),
511 (упр. 5.24)
пути данных 501
регистры 501
составная процедура 506
управляющий цикл 512
условные выражения 510
хвостовая рекурсия 508, 515 (упр. 5.26),
516 (упр. 5.28)
элементарные процедуры 506
вычислительный процесс [computational
process] 22, см. также процесс
Гаттэ г, Джон Фогель [John Vogel Guttag]
100п
генератор кода [code generator] 520
аргументы 520
возвращаемое значение 521
генератор случайных чисел
[random-number generator] 213п, 218
в моделировании методом Монте-Карло
219
в тесте на простоту 65
со сбрасыванием 221 (упр. 3.6)
со сбрасыванием, потоковая версия 331
(упр. 3.81)
Гераклит 211
Герон Александрийский 40п
гипотеза о замкнутости мира [closed world
assumption] 428
глобальное окружение [global environment]
28, 228
в метациклическом интерпретаторе 354
глобальное поведение процесса [global
behavior of a process] 48
глобальный кадр [global frame] 227
глюк [glitch] 23
Гоген, Джозеф [Joseph Goguen] 100п
Гордон, Майкл [Michael Gordon] 329п
Горнер, У.Дж. [W. J. Horner] 125
(упр. 2.34)
грамматика [grammar] 389
графика [graphics] см. язык описания
изображений
Грей, Джим [J im Gray] 297п
Грин, Корделл [Cordell Green] 405п
Грисс, Мартин Льюис [Martin Lewis
Griss] 24п
Гэбриел, Ричард П. [Richard P. Gabriel]
364п
Дайнсман, Говард П. [Howard P.
Dinesman] 387
дан ные [data] 22, 25, 100
абстрактные 93, см. также абстракция
дан ных
абстрактные модели 100п
алгебраическая спецификация 100п
значение 100
иерархические 106, 115
изменяемые см. изменяемые объекты
дан ных
как программы 357
«конкретное представление» 93
помеченные 175, 490п
процедурное представление 100
разделенные 246
символьные 146
со списковой структурой [list-structured]
96
составные 90
численные 25
Дарлингтон, Джон [John Darlington] 333п
Предметный указатель
585
двоичные числа, сложение [binary
numbers, addition of] см. сумматор
де Клеер, Йохан [Johan deKleer] 385п,
427п
Дейкстра, Эдсгер Вибе [Edsger Wybe
Dijkstra] 294п
действия, в регистровой машине [actions,
in register machine] 457
дек [deque] 254 (упр. 3.23)
декларативное vs. императивное знание
[declarative vs. imperative knowledge]
40, 404
и логическое программирование 405, 425
и недетерминистское вычисление 382п
декомпозиция программы [decomposition of
program into parts] 44
деление целых чисел [division of integers]
42п
деньги, размен см. размен денег
дерево [tree] 115
B-дерево 160п
бинарное 158, см. также бинарное
дерево
красно-черное дерево 160п
ленивое 380п
листва 118 (упр. 2.28)
обращение на всех уровнях 117
(упр. 2.27)
отображение 119
перечисление листьев 123
подсчет числа листьев 115
представлен ие комбинации 29
представлен ное в виде пар 115
Хаффмана 164
десятичная точка в числах [decimal point
in numbers] 42п
Джаяраман, Сундаресан [Sundaresan
Jayaraman] 272п
диаграмма потока сигналов [signal-flow
diagram] 121, 322 (упр. 3.73)
диалекты Лиспа [Lisp dialects]
Common Lisp 24п
Franz Lisp (Франц Лисп) 24п
InterLisp (ИнтерЛисп) 24п
MacLisp (МакЛисп) 24п
MDL 496п
Portable Standard Lisp (Переносимый
Стандартный Лисп) 24п
Scheme (Схема) 24
Zetalisp (Зеталисп) 24п
Диофант, Арифметика; экземпляр Ферма
65п
диспетчеризация [dispatching]
по типу [on type] 179
сравнение различных стилей 186
(упр. 2.76)
диспетчирование
по типу см. также программирование,
управляемо е данными
дисциплина кадрированного стека
[framed-stack discipline] 503п
дифференциальное уравнение [differential
equation ] 324, см. также solve
второго порядка 327 (упр. 3.78), 328
(упр. 3.79)
дифференцирование [differentiation]
правила 150, 153 (упр. 2.56)
символьное 149, 183 (упр. 2.73)
численное 85
диффузия, имитация [imitation of diffusion]
287
Дойл, Джон [Jon Doyle] 385п
доказательство корректности программы
[proving programs correct] 40п
доказательство теорем (автоматическое)
[automatic theorem proving] 405п
древовидная рекурсия [tree recursion] 53
порядок роста 58
древовидно-рекурсивное вычисление чисел
Фибоначчи [tree-recursive
Fibonacci-number computation] 53
дробь [fraction] см. рациональные числа
Евклид, Начала 63п
Евклида алгоритм [Euclid’s Algorithm] 63,
451, см. также наибольший общий
делитель
для многочленов 207п
порядок роста 63
единичный квадрат [unit square] 140
естественный язык [natural language]
кавычки 146
586
Предметный указатель
синтаксический анализ см.
синтаксический анализ
естественного языка
живет-около (правило) 413, 415
(упр. 4.60)
Заби, Рамин [Ramin Zabih] 385п
заблокированный процесс [b locked process]
295п
зависимость от реализации см. также
неопределенные значения
порядок вычисления подвыражений 229п
числа 42п
загадки
задача о восьми ферзях 130 (упр. 2.42),
389 (упр. 4.44)
логические 387
задача о восьми ферзях 130 (упр. 2.42),
389 (упр. 4.44)
задержанные вычисления [delayed
evaluation ] 212, 299
в ленивом интерпретаторе 369
и нормальный порядок вычислений 328
и печать 306 (упр. 3.51)
и потоки 324
и присваивание 306 (упр. 3.52)
явные и автоматические 380
задержанный аргумент [delayed argument]
325
задержанный объект [delayed object] 302
задержка, в цифровой схеме [delay, in
digital circuit] 261
замкнутости мира гипотеза см. гипотеза о
замкнутости мира
замыкание [closure] 92
в абстрактной алгебре 106п
отсутствие во м ногих языках 107п
свойство замыкания cons 106
свойство замыкания языка описания
картинок 132, 134
замыкания свойство [closure property] 106
занятое ожидание [busy waiting] 295п
запись, в базе дан ных [record, in a data
base] 162
запрос [query] 406, см. также простой
запрос; составной запрос
правило см. также правило (в языке
запросов)
простой см. простой запрос
составной см. составной запрос
запятая внутри о братной кавычки [comma,
used with backquote] 524п
зарезер вированные слова [reserved words]
547 (упр. 5.38), 550 (упр. 5.44)
захват мьютекса [acquiring a mutex] 294
захват свободной переменной [free variable
capture] 46
защищенный паролем банковский счет
[password-protected bank account] 217
(упр. 3.3)
Земля, измерение длины окружности
[measuring circumference of Earth]
308п
Зиллес, Стивен Н. [Stephen N. Zilles] 100п
Зиппель, Ричард Э. [Richard E. Zippel]
210п
значение [value]
выражения 27п, см. также
неопределенные значения
комбинации 26
переменной 28
золотое сечение [golden ratio] 53
как неподвижная точка 82 (упр. 1.35)
как цепная дробь 82 (упр. 1.37)
И-элемент [and-gate] 261
иерархические структуры данных 106, 115
иерархия типов [hierarchy of types] 194
в символьной алгебре 206
неадекватность 195
извлечение информации [information
retrieval] см. база данных
изменение и тождественность [change and
sameness]
значение 223
и разделяемые данные 246
изменяемые объекты данных 241, см.
также очередь; таблица
пары 242
процедурное представление 249
Предметный указатель
587
разделяемые данные 248
реализованные с помощью присваиваний
249
списковая структура 242
изменяемые р егистры [modified registers]
см. последовательность команд
ИЛИ-элемент [or-gate] 261
именование [naming]
вычислительных объектов 27
процедур 32
именованный let (особая форма) [name d
let] 349 (упр. 4.8)
имитатор регистровых машин
[register-machine simulator] 472
имитация [simulation ]
для отслеживания производительности
регистровой машины 486
как инструмент для проектирования
машин 514
регистровых машин см. имитатор
регистровых машин
управляемая событиями [event-driven]
261
цифровых схем см. имитация цифровых
схем
имитация цифровых схем [digital-circuit
simulation] 260
план действий 267
представлен ие проводов 265
пример работы модели 268
реализация плана действий 269
элементарные функциональные
элементы 263
императивное vs. декларативно е знание
[imperative vs. declarative knowledge]
40, 404
и логическое программирование 405, 425
и недетерминистское вычисление 382п
императивное программирование
[imperative programming] 225
императивный стиль vs. стиль,
ориентированный на выражения
[imperative vs. expression-oriented
programming style] 281п
имя [name] см. также локальная
переменная; локальное имя;
переменная
инкапсулированное 215п
процедуры 32
формального параметра 45
инвариант итеративного процесса
[invariant quantity of an iterative
process] 61 (упр. 1.16)
инвертор [inverter] 261
Ингерман, Питер [Peter Ingerman] 372п
индекс [index] 490
индексирование базы данных [database
indexing] 418п, 439
инкапсулированное имя [encapsulated
name] 215п
инкапсуляция [encapsulation] 215п
интеграл [integral] см. также
опредеденный интеграл; Монте-Карло,
интегрирование методом
степенного ряда 313 (упр. 3.59)
интегратор [integrator] 322
интерпретатор [interpreter] 23, 336, см.
также вычислитель
vs. компи лятор 517, 554
цикл чтение-вычисление-печать 27
интерпретатор amb [amb evaluator] см.
недетерминисткий интерпретатор
интерпретатор языка запросов [query
interpreter] 406
vs. интерпр етатор для Лиспа 423, 424,
448 (упр. 4.79)
база данных 439
бесконечные циклы 426, 429 (упр. 4.67)
вычислитель запросов 424, 431
добавление утверждения ил и правила
424
кадр 227
кадры 445
конкретизация 430
обзор 417
операции над потоками 442
потоки кадров 418, 424п
представлен ие переменной образца 430
преобразование переменной образца 444
проблемы с not и lisp-value 427,
448 (упр. 4.77)
синтаксис языка запросов 443
588
Предметный указатель
сопоставление с образ цом 417, 434
структура окружений 449 (упр. 4.79)
улучшения 429 (упр. 4.67), 448
(упр. 4.76), 448 (упр. 4.77)
унификация 421, 437
управляющий цикл 424, 429
инфиксная нотация vs. префиксная
нотация [infix notation vs. prefix
notation] 154 (упр. 2.58)
информатика [computer science] 336, 359п
vs. математика 40, 404
исполнительная процедура [execution
procedure] 366
в анализирующем вычислителе 366
в имитаторе регистровых машин 475,
480
в недетерминистском вычислителе 394,
396
исполнительная процедура команды
[instruction execution procedure] 475
истина [true] 36п
исходная программа [source program] 517
исходный язык [source language] 517
итеративные конструкции [iteration
costructs] см. циклические
конструкции
итеративный процесс [iterative process] 50
vs. рекурсивный процесс 48, 233
(упр. 3.9), 463, 544 (упр. 5.34)
как потоковый процесс 314
линейный 51, 58
построение алгоритмов 61 (упр. 1.16)
реализованный с помощью вызова
процедуры 509, см. также
хвостовая рекурсия
реализованный с помощью вызова
процедуры 42, 51
регистровая машина 463
Йохельсон, Джером К. [Jerome C.
Yochelson] 495п
кавычка [quote] 146
кавычки 146
в естественном языке 146
одинарная vs. двойные 147п
с объектам и данных Лиспа 147
со строкой символов 147п
кадр (в интерпретаторе запросов) [frame]
418, см. также сопоставление с
образцом; унификация
представлен ие 445
кадр (в модели с окружениями) [frame]
227
глобальный 227
как хранилище внутреннего состояния
234
кадрированного с тека дисципли на см.
дисциплина кадрированного стека
“как сделать” vs. “что такое” [“what is” vs.
“how to”] см. императивное vs.
декларативное знание
Калдевай, Анне [Anne Kaldewaij] 62п
Калифорнийский университет в Беркли
[University of California at Berkeley]
24п
калькулятор; поиск неподви жных точек
[fixed points with calculator] 81п
каноническая форма многочленов
[canonical form for polynomials] 206
Кармайкла числа [Carmichael numbers]
66п, 69 (упр. 1.27)
Карр, Альфонс [Alphonse Karr] 211
каскадный сумматор [ripple-carry adder]
265 (упр. 3.30)
квадратный корень 40, см. также sqrt
поток приближений 314
квазикавычка [quasiquote] 524п
квантовая механика [quantum mechanics]
334п
Кеплер, Иоганн [Johannes Kepler] 450
Кларк, Кит Л. [Keith L. Clark] 428п
Клингер, Уильям [William Clinger] 348п,
372п
ключ записи [key of a record]
в базе данных 162
в таблице 254
проверка на равенство 259 (упр. 3.24)
Кнут, Дональд Э. [Donald E. Knuth] 57п,
61п, 63п, 125п, 218п, 219п, 566
Ковальски, Роберт [Robert Kowalski] 405п
код [code]
Предметный указатель
589
ASCII 163
префиксный 164
с переменной длиной [variable-length
code] 163
с фиксированной длиной [fixed-length
code] 163
Хаффмана см. код Хаффмана
код-разделитель [separator code] 164
Колмогоров, А.Н. 218п
Кольбеккер, Юджин Эдмунд, мл. [Eugene
Edmund Kohlbecker Jr.] 348п
Кольмероэ, Ален [Alain Colmerauer] 405п
кольцо [ring]
Евклидово [Euclidean] 207п
команда [instruction] 450, 454
комбинация 26
lambda-выражение как оператор 75
в виде дерева 29
вычисление 29
как оператор комбинации 84п
с оператором-комбинацией 84п
составное выражение как оператор 39
(упр. 1.4)
комментарии в программах [comments in
programs] 129п
компилятор [compiler] 517
vs. интерпр етатор 517, 554
хвостовая рекурсия, выделение памяти
на с теке и сборка мусора 535п
компилятор для Scheme 518, см. также
генератор кода; окружение времени
компиляции; последовательность
команд; тип связи; целевой регистр
lambda-выражения 528
vs. анализирующий интерпретатор 519,
520
vs. вычислитель с явным управлением
518
генераторы кода см. compile...
запуск скомпилированного кода 551
использование машинных операций 518п
использование регистров 518, 518п,
535п
использование стека 521, 523
(упр. 5.31), 546 (упр. 5.37)
кавычки 525
комбинации 530
лексическая адресация 547
определения 525
отслеживание производительно сти
(использования стека)
скомпилирован ного кода 553, 555
(упр. 5.45), 555 (упр. 5.46)
переменные 525
порождение меток 527п
порожденный код, обладающий
свойством хвостовой рекурсии 535
порядок вычисления операндов 546
(упр. 5.36)
последовательности выражений 528
применение процедур 530
пример скомпилированного кода 539
присваивания 525
процедуры разбора синтаксиса 520
самовычисляющиеся выражения 525
связующий код 524
связь с вычислителем 551
структура 520
уничтожение внутренних определений
549п, 550 (упр. 5.43)
условные выражения 526
эффективность 518
компиляция [compilation] 517, см.
компилятор
комплексные числа [complex numbers]
декартово vs. полярное представление
172
декартово представление 174
полярное представление 174
помеченные данные 175
композиция функций [composition of
functions] 88 (упр. 1.42)
компьютер общего назначения, как
универсальная машина
[general-purpose computer as universal
machine] 517
конвейеризация [pipelining] 284п
конечная цепная дробь [finite continued
fraction] 82 (упр. 1.37)
конкретизация образца [instantiation of a
pattern] 410
конкретное представление данных
590
Предметный указатель
[concrete data representation] 93
Конопасек, Милош [Milos Konopasek]
272п
конструктор [constructor] 93
как барьер абстракции 98
контроллер дл я регистровой машины
[controller for register machine] 451
диаграмма 452
контрольная точка [breakpoint] 488
(упр. 5.19)
концевая вершина дерева [terminal node of
a tree] 29
корень n-й степени как неподвижная
точка [nth root as fixed point] 88
(упр. 1.45)
корень четвертой степени как
неподвижная точка [fourth root as
fixed point] 88 (упр. 1.45)
Кормен, Томас Г. [Thomas H. Cormen]
160п
корни уравнения [roots of equation] см.
Ньютона метод; половинного деления
метод
корректность программы [correctness of a
program] 40п
коси нус [cosine]
неподвижная точка функции 81
степенной ряд 312 (упр. 3.59)
космическое излучение [cosmic radiation]
66п
красивая печать [pretty printing] 27
красно-черные деревья [red-black trees]
160п
кредитные счета, международные
[international credit-card accounts]
298п
Кресси, Дэвид [David Cressey] 496п
криптография [cryptography] 67п
кубически й корень [cub ic root]
как неподвижная точка 84
метод Ньютона 43 (упр. 1.8)
Лагранжа формула интерполя ции
[Lagrange interpolation formula] 200п
Ламэ, Габриэль [Gabriel Lam
´
e] 63п
Ландин, Питер [Peter Landin] 31п, 306п
Лапальм, Ги [Guy Lapalme] 366п
Лапицкий, Виктор 335
Лейбниц, барон Готфрид Вильгельм фон
[Baron Gottfried Wilhelm von Leibniz]
доказательство Малой теоремы Ферма
65п
ряд для вычисления π 70п, 315
Лейзерсон, Чарльз Э. [Charles E.
Leiserson] 160п
лексическая адресация [lexical addressing]
354п, 547
лексический адрес 548
лексическая сфера действия [lexical
scoping] 47
и структура окружений 548
лексический адрес [lexical address] 548
лекция, что на ней делать [something to do
during a lecture] 81п
ленивая пара [lazy pair] 379
ленивое вычисление [lazy evaluation] 370
ленивое дерево [lazy tree] 380п
ленивый интерпретатор 369
ленивый список [lazy list] 379
Либерман, Генри [Henry Lieberman] 495п
линейно итеративный процесс [linear
iterative proce ss] 51
порядок роста 58
линейно рекурсивный процесс [linear
recursive process] 50
порядок роста 58
линейный рост [linear growth] 50, 58
Лисков, Барбара Хьюберман [Barbara
Huberman Liskov] 100п
логарифм, аппроксимация ln 2 [logarithm,
approximating ln 2] 318 (упр. 3.65)
логарифмический рост [logarithmic
growth] 58, 60, 158п
логические загадки [logic puzzles] 387
логический вывод [logical deduction] 415,
425
логическое И [logical and] 261
логическое ИЛИ [logical or] 261
логическое пр ограммирование [logic
programming] 337, 404, см. также
интерпретатор запросов; язык
запросов