Хейнс, Кристофер Т. [Christopher T.

Haynes] 309а Хендерсон, Питер [Peter Henderson]

108а, 281а, 305а

хендерсоновская диаграмма 281 Херн, Энтони К. [Anthony C. Hearn] 3а

Хилфингер, Пол [Paul Hilfinger] 137га Хоар, Чарльз Энтони Ричард [Charles

Anthony Richard Hoare] 77а Ходжес, Эндрю [Andrew Hodges]

330а

Хофштадтер, Дуглас Р. [Douglas R.

Hofstadter] 330а Хьюз, Р. Дж. М. [R. J. M. Hughes] 351а

Хьюитт, Карл Эдди [Carl Eddie

Hewitt] 30а, 355а, 375а, 464а

Хэмминг, Ричард Уэсли [Richard Wesley Hamming] 141а, 284 (упр. 3.56)

целевой регистр [target] 489 целые числа [integers] 4а

деление 20а

точные 20а цепная дробь [continued fraction] 60

(упр. 1.37)

e 60 (упр. 1.38) золотое сечение 60 (упр. 1.37) тангенс 60 (упр. 1.39) цепь электрическая [circuit]

моделируемая с помощью потоков

295 (упр. 3.73), 300 (упр. 3.80)

Цзю Ши-Цзе [Chu Shih-Chieh] 35га цикл в списке [cycle in list] 221

(упр. 3.13)

обнаружение 224 (упр. 3.18) цикл обратной связи, моделируемый с помощью потоков [feedback loop]

297

цикл чтение-вычисление-печать [read-eval-print loop] 6, см. также управляющий цикл циклические конструкции [looping constructs] 20, 30 реализация в метациклическом интерпретаторе 322 (упр. 4.9) цифровой сигнал [digital signal] 236

Чанда-сутра 39а

Чарняк, Юджин [Eugene Charniak] 355а

Чебышев, Пафнутий Львович 284а Чезаро, Эрнесто [Ernesto Cesaro] 195га Чепман, Дэвид [David Chapman] 356а «Червь» в Интернете [Internet

"worm"] 522га черный ящик [black box] 22 Черч, Алонсо [Alonzo Church] 53га, 79

(упр. 2.6)

Черча числа [Church numerals] 79

(упр. 2.6)

Черча-Тьюринга тезис [Church-Turing

thesis] 330а чисел теория [number theory] 43а числа [numbers] в Лиспе 5

в обобщенной арифметической системе 162

вещественные [real] 4а

десятичная точка 20а

зависимость от реализации 20а

простые по отношению к другому числу 52 (упр. 1.33)

равенство 15, 125га, 460га

рациональные 20а

сравнение 15

точные целые 20а

целые [integer] 4а

целые vs. вещественные 4а численные данные [numerical data] 4 численный анализ [numerical analysis] 4а

"что такое" vs. "как сделать" ["how to" vs. "what is"] см. декларативное vs. императивное знание

Чёрча-Тьюринга тезис см. тезис Черча-Тьюринга

Шамир, Ади [Adi Shamir] 45а шахматы, задача о восьми ферзях [chess, eight-queens puzzle] 106

(упр. 2.42), 360 (упр. 4.44)

шишка (правило) 383, 398 (упр. 4.65) Шмидт, Эрик [Eric Schmidt] 201а Шроуб, Ховард Э. [Howard E. Shrobe]

376а

Эдинбургский университет [University

of Edinburgh] 375а Эйлер, Леонард [Leonhard Euler] 60

(упр. 1.38)

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

Ферма 43а ускоритель рядов 288 Эйндховенский технический

Университет 268а экспоненциальный рост [exponential

growth] 36 электрические цепи, моделируемые с помощью потоков 295 (упр. 3.73),

300 (упр. 3.80)

элементарное ограничение [primitive

constraint] 246 элементарные выражения [primitive expressions] 4 вычисление 8 имя переменной 7 имя элементарной процедуры 5 числа 5

элементарные процедуры [primitives] < 15 > 15 * 5 + 5

- 5, 15а

/ 5 = 15

apply 157а atan 150а

car 72 cdr 72

cons 72 cos 58 display 73а

eq? 124

error (нс) 57га eval (нс) 331га

list 84

log 60 (упр. 1.36)

max 80

min 80

newline 73а not 16 null? 86

number 126

pair? 93

quotient 285 (упр. 3.58)

random (нс) 44, 197а read 327а remainder 38 round 173а

runtime (нс) 45 (упр. 1.22)

set-car! 217 set-cdr! 217 sin 58 symbol? 127 vector-ref 459 vector-set! 459 элементарный запрос [primitive query]

см. простой запрос элементы вычисления первого класса [first-class elements of computation] 64, см. также полноправные элементы вычисления Эратосфен 281а

эффективность [efficiency] см. также порядок роста вычисления 336 доступа к базе данных 388а древовидно-рекурсивного процесса

35

компиляции 487 Лиспа 3

обработки запросов 390 Эшер, Мориц Корнелис [Maurits Cornelis Escher] 108а

явное кодирование элементарных процедур [open coding of primitives] 514 (упр. 5.38), 518

(упр. 5.44)

язык [language] см. естественный язык; язык программирования язык запросов [query language] 376,

377

vs. математическая логика 394 абстракция 382 база данных 377 логический вывод 385 правило см. правило (в языке

запросов) проверка на равенство 382а простой запрос см. простой запрос расширения 398 (упр. 4.66), 416

(упр. 4.75)

составной запрос см. составной запрос

язык описания изображений [picture

language] 108 язык программирования

[programming language] 1 логического 376

объектно-ориентированный 170а с аппликативным порядком

вычислений [applicative-order]

341

с нормальным порядком

вычислений [normal-order] 341 сверхвысокого уровня 19а сильно типизированный 301 а строение 340 функциональный 305 язык регистровых машин [register machine language] assign 424, 440 branch 423, 440 const 424, 440, 441 goto 423, 440

label 423

op 424, 440 perform 426, 440

reg 424, 440 restore 436, 441 save 436, 441 test 423, 440

метка 423

команды 423, 440 точки входа 423 язык сверхвысокого уровня [very

high-level language] 19а ячейка, в реализации сериализатора [cell, in serializer implementation]

268