(упр. 3.24)

Кнут, Дональд Э. [Donald E. Knuth]

35а, 39а, 41а, 101а, 194а, 195а, 533

Ковальски, Роберт [Robert Kowalski]

375а

код [code]

ASCII 139

префиксный 139

с переменной длиной

[variable-length code] 139 с фиксированной длиной

[fixed-length code] 139 Хаффмана см. код Хаффмана код-разделитель [separator code] 139 Колмогоров, А.Н. 194а Кольбеккер, Юджин Эдмунд, мл. [Eugene Edmund Kohlbecker Jr.]

319а

Кольмероэ, Ален [Alain Colmerauer]

375а

кольцо [ring]

Евклидово [Euclidean] 182а команда [instruction] 419, 423 комбинация 5

lambda-выражение как оператор 53

в виде дерева 8

вычисление 8

как оператор комбинации 61а с оператором-комбинацией 61а составное выражение как оператор 17 (упр. 1.4) комментарии в программах [comments

in programs] 105а компилятор [compiler] 485 vs. интерпретатор 486, 521 хвостовая рекурсия, выделение памяти на стеке и сборка мусора 503а компилятор для Scheme 487, см. также генератор кода; окружение времени компиляции; последовательность команд; тип связи; целевой регистр lambda-выражения 497 vs. анализирующий интерпретатор

487, 488

vs. вычислитель с явным управлением 487

генераторы кода см. compile... запуск скомпилированного кода 518 использование машинных операций

486а

использование регистров 486а, 487,

503а

использование стека 490, 492

(упр. 5.31), 512 (упр. 5.37)

кавычки 493 комбинации 498 лексическая адресация 515 определения 494

отслеживание производительности (использования стека) скомпилированного кода 521,

522 (упр. 5.45), 523 (упр. 5.46)

переменные 493 порождение меток 495а порожденный код, обладающий свойством хвостовой рекурсии

503

порядок вычисления операндов 512

(упр. 5.36)

последовательности выражений 496 применение процедур 498 пример скомпилированного кода

507

присваивания 494

процедуры разбора синтаксиса 488

самовычисляющиеся выражения

493

связующий код 493 связь с вычислителем 518 структура 488 уничтожение внутренних определений 517а, 518

(упр. 5.43)

условные выражения 495 эффективность 487 компиляция [compilation] 486, см.

компилятор комплексные числа [complex numbers] декартово vs. полярное представление 147 декартово представление 149 полярное представление 150 помеченные данные 150 композиция функций [composition of functions] 65 (упр. 1.42)

компьютер общего назначения, как

универсальная машина

[general-purpose computer as

universal machine] 486 конвейеризация [pipelining] 256п конечная цепная дробь [finite

continued fraction] 60 (упр. 1.37) конкретизация образца [instantiation

of a pattern] 380 конкретное представление данных

[concrete data representation] 70 Конопасек, Милош [Milos Konopasek]

246п

конструктор [constructor] 70 как барьер абстракции 74 контроллер для регистровой машины [controller for register machine]

420

диаграмма 421 контрольная точка [breakpoint] 457

(упр. 5.19)

концевая вершина дерева [terminal

node of a tree] 8 корень n-й степени как неподвижная

точка [nth root as fixed point] 66

(упр. 1.45)

корень четвертой степени как

неподвижная точка [fourth root as fixed point] 66 (упр. 1.45)

Кормен, Томас Г. [Thomas H. Cormen]

136п

корни уравнения [roots of equation]

см. Ньютона метод; половинного

деления метод корректность программы [correctness

of a program] 18п косинус [cosine]

неподвижная точка функции 58 степенной ряд 285 (упр. 3.59) космическое излучение [cosmic

radiation] 44п красивая печать [pretty printing] 6 красно-черные деревья [red-black

trees] 136п кредитные счета, международные

[international credit-card accounts]

271п

Кресси, Дэвид [David Cressey] 465п криптография [cryptography] 45п

кубический корень [cubic root] как неподвижная точка 62 метод Ньютона 21 (упр. 1.8)

Лагранжа формула интерполяции [Lagrange interpolation formula]

175п

Ламэ, Габриэль [Gabriel Lame] 41п Ландин, Питер [Peter Landin] 10п,

279п

Лапальм, Ги [Guy Lapalme] 337п

Лапицкий, Виктор 307

Лейбниц, барон Готфрид Вильгельм

фон [Baron Gottfried Wilhelm von

Leibniz]

доказательство Малой теоремы

Ферма 43п ряд для вычисления п 48п, 288 Лейзерсон, Чарльз Э. [Charles E.

Leiserson] 136п лексическая адресация [lexical addressing] 325п, 515 лексический адрес 516 лексическая сфера действия [lexical scoping] 25 и структура окружений 516 лексический адрес [lexical address]

516

лекция, что на ней делать [something

to do during a lecture] 58п ленивая пара [lazy pair] 349 ленивое вычисление [lazy evaluation]

341

ленивое дерево [lazy tree] 351п ленивый интерпретатор 340 ленивый список [lazy list] 349 Либерман, Генри [Henry Lieberman] 464п

линейно итеративный процесс [linear

iterative process] 29 порядок роста 36 линейно рекурсивный процесс [linear

recursive process] 29 порядок роста 36 линейный рост [linear growth] 29, 36 Лисков, Барбара Хьюберман [Barbara

Huberman Liskov] 77п логарифм, аппроксимация ln2

[logarithm, approximating ln2]

290 (упр. 3.65)

логарифмический рост [logarithmic

growth] 37, 38, 134а

логические загадки [logic puzzles] 357 логический вывод [logical deduction]

385, 394

логическое И [logical and] 236 логическое ИЛИ [logical or] 236 логическое программирование [logic programming] 309, 374, см. также интерпретатор запросов; язык запросов vs. математическая логика 394 в Японии 376га история 375а, 376а компьютеры 376а язык логического

программирования 376 ложь [false] 15га

локальная переменная [local variable]

53

локальная эволюция процесса [local

evolution of a process] 26 локальное имя 23, 53 Локк, Джон [John Locke] 1 Лэмпорт, Лесли [Leslie Lamport] 271а Лэмпсон, Батлер [Butler Lampson]

201а

лямбда-исчисление (А-исчисление) [А calculus] 53а

Макаллестер, Дэвид Аллен [David

Allen McAllester] 356га Макдермот, Дрю [Drew McDermott]

356а

Маккарти, Джон [John McCarthy] 2,

2а, 354а

макрос [macro] 319а, см. также

макросимволы ввода макросимволы ввода [reader macro

characters] 413а Марсельский университет [University

of Marseille] 375а

математика [mathematics] vs. информатика 18, 374 vs. техника 44а математическая функция см. функция

(математическая) матрица, представленная как последовательность [matrix,

represented as sequence] 102

(упр. 2.37)

Маус, Минни и Микки [Mickie and

Minnie Mouse] 396 машина Тьюринга [Turing machine]

330а

машинный язык [machine language]

486

vs. высокоуровневый язык 308 мемоизация [memoization] 35а, 235

(упр. 3.27), 343

и вызов по необходимости 285а

и сборка мусора 346а

санков 343

через delay 278 мера, в Евклидовом кольце [measure

in a Euclidean ring] 182а метациклический интерпретатор для Scheme 310

eval и apply 311

eval, управляемая данными 320

(упр. 4.3)

true и false 326 абстракция данных 311, 322

(упр. 4.10), 325

анализирующая версия 336 глобальное окружение 326 действия над окружениями 323 задача 310а запуск 326

и символьное дифференцирование

315

комбинации (применение процедур)

319 (упр. 4.2)

компиляция 524 (упр. 5.50), 524

(упр. 5.52)

модель вычислений с окружениями

310

наличие хвостовой рекурсии

(неизвестно) 477 особые формы 320 (упр. 4.4), 320

(упр. 4.5), 321 (упр. 4.6), 321 (упр. 4.7), 321 (упр. 4.8), 322 (упр. 4.9)

особые формы как производные

выражения 318 порядок вычисления операндов 315

(упр. 4.1)

представление выражений 311, 315