определения определенный интеграл [definite integral] 50 приближенное вычисление методом Монте-Карло 197 (упр. 3.5),

303 (упр. 3.82)

оптимальность [optimality]

кода Хаффмана 141

схемы Горнера 101га освобождение мьютекса 267 особая форма [special form] 9

vs. процедура 342 (упр. 4.26), 349

как производное выражение в интерпретаторе 318

необходимость 21 (упр. 1.6) особые формы

and 16

begin 190

cond 14

cons-stream (нс) 275 define 7, 10

delay (нс) 275

if 15

lambda 53

let 54

let* 321 (упр. 4.7) letrec 335 (упр. 4.20)

or 16

quote 123га

set! 190

именованный let 321 (упр. 4.8) остановки проблема [halting problem]

331 (упр. 4.15)

остаток по модулю [remainder modulo n] 43

Островский, А. М. 101га отладка [debugging] 2 отложенная операция [deferred

operation] 28 относительности теория [theory of

relativity] 271

отношения, вычисления в терминах

отношений 246, 375 отображение [map] 97

вложенное 104, 290

деревьев 95

как преобразователь 97 списков 89 отображение координат рамки [frame

coordinate map] 116 отрезок [line segment]

представление в виде пары

векторов 118 (упр. 2.48) представление в виде пары точек 76

(упр. 2.2)

отслеживаемая процедура [monitored

procedure] 193 (упр. 3.2) очередь [queue] 225

в плане действий 244

голова [front] 225

двусторонняя 229 (упр. 3.23)

операции 226

реализация в виде процедуры 229

(упр. 3.22)

хвост [rear] 225 ошибка [bug]

захват свободной переменной 24

побочного эффекта 201а

порядок присваиваний 202 ошибка округления [roundoff error] 4а ошибки округления 147а

пакет [package] 156

Scheme-number 162

декартово представление 156

комплексные числа 164

многочлены 175

полярное представление 157

рациональные числа 163 память [memory]

в 1964 г. 355га

со списковой структурой [list-structured] 458 Пан, В. Я. 101га пара (пары) [pair(s)] 72

аксиоматическое определение 77

бесконечные потоки 290

изменяемые 217

использование для представления

дерева 91 использование для представления

последовательности 84 ленивые 349

представленные с помощью

векторов 459 процедурное представление 77, 224,

350

стрелочная нотация 82 параллелизм 255, 256

и функциональное

программирование 305 механизмы для управления 261 правильность параллельных

программ 259 тупик 270 параметр [parameter] см. формальные

параметры Паскаль, Блез [Blaise Pascal] 35га передача сообщений [message passing] 78, 160, 192 в банковском счете 192 в имитаторе цифровых схем 240 и модель с окружениями 216

(упр. 3.11) и хвостовая рекурсия 30га переменная [variable] 7, см. также локальная переменная значение [value] 7, 203 несвязанная [unbound] 203 область действия 24, см. также

область действия переменной свободная 24 связанная 24 переменная образца [pattern variable]

379

представление 400, 413 переменная состояния [state variable]

29, 188

внутренняя 189 перенаправляющий адрес [forwarding

address] 465 перенос языка (на новый компьютер)

[porting a language] 522 перестановки множества

[permutations of a set] 105 переход сигнала через ноль 295

(упр. 3.74), 296 (упр. 3.75), 296 (упр. 3.76)

перечислитель [enumerator] 97 Перлис, Алан Дж. [Alan J. Perlis] ix,

84а

афоризмы 6а, 10а печать входных выражений [typing

input expressions] 6а печать, элементарные процедуры [primitives for printing] 73а пи (п)

аппроксимация через

интегрирование методом Монте-Карло 197 (упр. 3.5)

оценка Чезаро 195, 302

поток приближений 288

приближенное вычисление методом половинного деления 57, 303

(упр. 3.82)

приближенное вычисление через интегрирование методом Монте-Карло 197 (упр. 3.5),

303 (упр. 3.82)

ряд Лейбница 48га, 288 формула Уоллиса 51 (упр. 1.31) Пингала, Ачарья [Acharya Pingala]

39а

Питман, Кент [Kent Pitman] 3га Пифагоровы тройки [Pythagorean triples]

в недетерминистских программах

357 (упр. 4.35), 357 (упр. 4.36), 357 (упр. 4.37)

в потоках 293 (упр. 3.69) план действий [agenda] 242, см.

также имитация цифровых схем плотный многочлен [dense polynomial]

178

поддержание истины [truth

maintenance] 356а подкоренное число [radicand] 19 подпрограмма, в регистровой машине

[subroutine] 430 подсказка [prompt] 327

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

481

интерпретатор запросов 399 ленивый интерпретатор 345 метациклический интерпретатор

327

недетерминистский вычислитель

372

подсказка вывода [output prompt] 327 подстановка [substitution] 13а подстановочная модель применения процедуры 11, 12, 203

неадекватность 198

форма процесса 27 подсчет команд [instruction counting]

457 (упр. 5.15)

подтип [subtype] 169

несколько подтипов 170 подчиняется (правило) 384, 398

(упр. 4.64)

поиск [search] в глубину [depth-first] 355 по бинарным деревьям 134 систематический [systematic] 355 поиск с возвратом [backtracking] управляемый зависимостями

[dependency-directed] 356а хронологический [chronological] 355 показатель конца списка [end-of-list

marker] 84 поле типа [type field] 459а полноправные элементы вычисления [first-class elements of computation] 64, см. также элементы вычисления первого класса

половинного деления метод [half-interval method] 56

half-interval-method 57

vs. метод Ньютона 63га полусумматор [half-adder] 236

half-adder 237

имитация 242 пометка с очисткой [mark-sweep] 464а

помеченные данные [tagged data] 150,

459а

порождение предложений [generating

sentences] 364 (упр. 4.49) порядок вычисления [order of evaluation] в Scheme 203 (упр. 3.8) в вычислителе с явным

управлением 474 в компиляторе 512 (упр. 5.36) в метациклическом интерпретаторе

315 (упр. 4.1)

зависимость от реализации 205а и присваивания 203 (упр. 3.8) порядок вычисления подвыражений [order of subexpression evaluation] см. порядок вычисления порядок роста [order of growth] 36 древовидно-рекурсивный процесс

36

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

линейно рекурсивный процесс 36 логарифмический 38 способ записи 36 порядок событий [order of events] неопределенность в параллельных

системах 257 отделение от внешней структуры процедур 278 последовательное возведение в

квадрат [successive squaring] 38 последовательности [sequences] 51га,

84

как источник модульности 100 как стандартные интерфейсы 96 операции 98

представленные в виде пар 84 последовательность выражений [sequence of expressions] в следствии cond 16а в теле процедуры 11а последовательность команд

[instruction sequence] 490, 504

поток(и) [stream(s)] 187, 272

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

и задержанное вычисление 297 используемые в интерпретаторе

языка запросов 388, 394а неявное определение 282 пустые 274

реализованные в виде задержанных

списков 273 реализованные в виде ленивых списков 349 пошаговое написание [incremental

development] 7 пошаговое улучшение [iterative improvement] 66 (упр. 1.46) правило (в языке запросов) [rule] 377,

382

без тела 383а, 385

применение 392, 403, 406, 418

(упр. 4.79)

предикат

if 15

предикат [predicate] 15

ветви cond 15

соглашение об именах 20а предложения [statements] 491, см.