печатание 123а

элементарные процедуры 414а,

495а

структура управления [control

structure] 395 сумматор [full-adder] 238

full-adder 238

каскадный [ripple-carry] 240

(упр. 3.30)

полу- 236 сумматор для сигналов [summer] 294 суммирование последовательности [summation of a series] 49

с потоками 288

ускорение последовательности приближений 288 схема [circuit]

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

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

цифровая см. имитация цифровых схем

схема Горнера [Horners rule] 101

(упр. 2.34)

счет банковский см. банковский счет счетчик программы [program counter]

444

таблица [table] 230

n-мерная 234 (упр. 3.25)

двумерная 231

для программирования,

управляемого данными 155 используемая для моделирования

плана действий 244 используемая для хранения

вычисленных значений 235

(упр. 3.27)

локальная 233

одномерная 230

операций и типов см. таблица операций и типов

представленная в виде бинарного дерева vs. неупорядоченного списка 235 (упр. 3.26)

приведения 167

проверка равенства ключей 234

(упр. 3.24)

хребет [backbone] 230 таблица операций и типов

[operation-and-type table] 155

необходимость присваивания 189а реализация 234 таблица регистров, в программе моделирования [register table]

444

табло [tableau] 289

табуляризация [tabulation] 35а, 235

(упр. 3.27)

тангенс [tangent]

как цепная дробь 60 (упр. 1.39) степенной ряд 286 (упр. 3.62) тег типа [type tag] 459а теговая архитектура [tagged

architecture] 459а Тейтельман, Уоррен [Warren

Teitelman] 3а текущее время, для имитации плана

[current time] 244 тело процедуры [body of a procedure]

10, 11

теорема об остановке [Halting

Theorem] 331а Тернер, Дэвид [David Turner] 104га,

292а, 305а

тест на равенство нулю (обобщенный) [zero test] 166 (упр. 2.80) для многочленов 179 (упр. 2.87) тест, операция в регистровой машине

[test] 421

тета от f (n) (9(/(n))) 36

техника vs. математика [engineering

vs. mathematics] 44а тип данных

башня [tower of types] 169

в Лиспе 166 (упр. 2.78)

в сильно типизированных языках

301а

диспетчеризация 154

иерархия в символьной алгебре 181

надтип 169

несколько подтипов и надтипов 170 операции со смешанными типами

166

подтип 169

подъем 170, 173 (упр. 2.83)

спуск 170, 173 (упр. 2.85)

тип связи [linkage descriptor] 489 типизированный указатель [typed pointer] 459

тождественность и изменение [sameness and change] значение 199

и разделяемые данные 221 торможение усреднением [average

damping] 59 точечная запись [dotted-tail notation] в образцах запросов 380, 405 в правилах языка запросов 385 для процедурных параметров 88

(упр. 2.20), 157а

и read 405

точка входа [entry point] 423 точка недетерминистского выбора

[nondeterministic choice point] 355 точка с запятой [semicolon] 9а

как символ комментария 105а точка, представленная в виде пары чисел [point, represented as a

pair] 76 (упр. 2.2)

точные целые числа [exact integers]

20а

трассировка [tracing] команд [instruction] 457 (упр. 5.16) регистров [register] 457 (упр. 5.18) требуемые регистры [needed registers]

см. последовательность команд треугольник Паскаля [Pascals

triangle] 35 (упр. 1.12) тригонометрические тождества

[trigonometric relations] 150 тупик 270 выход 270а способ избежания 270 Тьюринг, Алан М. [Alan M. Turing]

330а, 331а

Тэтчер, Джеймс У. [James W. Thatcher] 77а

Уайз, Дэвид С. [David S. Wise] 279га Уайлс, Эндрю [Andrew Wiles] 43га Уайльд, Оскар, парафраза Перлиса

[Oscar Wilde] 6а уголь, битумный [bituminous coal]

109а

удовлетворение запросу [satisfying a

pattern] 380

составному 381 Уиздом, Джек [Jack Wisdom] 3а

Уинстон, Патрик Генри [Patrick Henry

Winston] 356а, 364а указатель [pointer]

типизированный [typed] 459 умножение методом русского

крестьянина [Russian peasant

method of multiplication] 39а универсальная машина [universal

machine] 329 вычислитель с явным управлением

485

компьютер общего назначения 486 унификация [unification] 375, 387, 391 vs. сопоставление с образцом 392,

393а

открытие алгоритма 375а

реализация 407 Уодлер, Филип [Philip Wadler] 201га Уодсворт, Кристофер [Christopher

Wadsworth] 301а

Уокер, Фрэнсис Амаса [Francis Amasa

Walker] 109а

Уоллис, Джон [John Wallis] 51а Уотерс, Ричард К. [Richard C. Waters]

100а

управляющий цикл [driver loop] 327 в вычислителе с явным

управлением 481 в интерпретаторе запросов 394, 399 в ленивом интерпретаторе 345 в метациклическом интерпретаторе

327

в недетерминистском

интерпретаторе 356, 371 упрощение алгебраических

выражений [simplification of

algebraic expressions] 128 уравнения рекурсии [recursion

equations] 2 уравнения, решения см. метод

половинного деления; Ньютона

метод; solve уровневое проектирование [stratified

design] 121 ускоритель последовательности

[sequence accelerator] 288 условное выражение [conditional

expression] cond 14

if 15

устойчивость программы [robustness]

121

утверждение [assertion] 377

неявное 383 утренняя звезда [morning star] см. Венера

факториал [factorial] 27, см. также factorial без letrec и define 335

(упр. 4.21)

бесконечный поток 284 (упр. 3.54) с letrec 335 (упр. 4.20) Фейгенбаум, Эдвард [Edward

Feigenbaum] 376га Феничель, Роберт [Robert Fenichel] 464а

Ферма Малая теорема [Fermats Little Theorem] 43 альтернативная формулировка 47

(упр. 1.28)

доказательство 43а Ферма тест на простоту [Fermat test for primality] 43

вариант 47 (упр. 1.28) Ферма, Пьер де [Pierre de Fermat] 43а Фибоначчи числа [Fibonacci numbers] 31, см. также fib

бесконечный поток см. fibs

и алгоритм Евклида для НОД 41 Фили, Марк [Marc Feeley] 337а Филипс, Хьюберт [Hubert Phillips]

359 (упр. 4.42) фильтр [filter] 52 (упр. 1.33), 97

Флойд, Роберт [Robert Floyd] 355а Форбус, Кеннет Д. [Kenneth D.

Forbus] 356а форма процесса [shape of a process] 28 формальные параметры процедуры

[formal parameters] 10 имена 23

область действия 24 форматирование входных выражений [formatting input expressions] 6а Фридман, Дэниел П. [Daniel P.

Friedman] 279а, 309а

функциональное программирование [functional programming] 198, 302 и время 303

и параллельность 305 функциональный язык

программирования 305 функциональный элемент в цифровых

схемах [function box] 236 функциональный язык

программирования [functional programming language] 305 функция (математическая) [function] --нотация 59га vs. процедура 18 Аккермана 30 (упр. 1.10) композиция 65 (упр. 1.42) многократное применение 65

(упр. 1.43)

неподвижная точка 58 производная 62 рациональная [rational] 181 сглаживание 65 (упр. 1.44)

Хайтин, Грегори [Gregory Chaitin]

194а

Хайям, Омар 35а

Хансон, Кристофер П. [Cristopher P.

Hanson] 319а, 503а хаос в динамике Солнечной системы

[chaos in Solar system] 3а Харди, Годфри Харольд [Godfrey

Harold Hardy] 284а, 294а

Хаффман, Дэвид [David Huffman] 140 Хаффмана код [Huffman code] 139, см. код Хаффмана

оптимальность 141

порядок роста для кодирования 145

(упр. 2.72)

хвостовая рекурсия [tail recursion]

30, 477

в Scheme 30а и вычислитель с явным управлением 477, 483

(упр. 5.26), 484 (упр. 5.28)

и компилятор 503

и метациклический интерпретатор

477

и модель с окружениями 210а и сборка мусора 503а хвостовая рекурсия в списке

аргументов [evlis tail recursion]

474а

Хейвендер, Дж. [J. Havender] 270а