|
|
 |
| Авторизация |
|
|
|
| Поиск по указателям |
|
|
|
|
|
|
|
 |
|
|
|
| Абельсон Х., Сассман Д.Д., Сассман Д. — Структура и интерпретация компьютерных программ |
|
|
|
| Предметный указатель |
rotate90 119
round (элементарная процедура) 173п
RSA алгоритм [RSA algorithm] 45п
runtime (элементарная процедура) 45 (упр. 1.22)
same (правило) 383
same-variable? 126 127 175
save (в регистровой машине) 436
save (в регистровой машине), моделирование 452
save (в регистровой машине), реализация 462
scale-list 89 90 350
scale-stream 283
scale-tree 95
scale-vect 117 (упр. 2.46)
scan, регистр 465
scan-out-defines 333 (упр. 4.16)
Scheme (Схема) 3
Scheme (Схема), история 3п
Search 56
segment-queue 244
segment-time 244
segments 244
segments->painter 117
self-evaluating? 315
sequence->exp 318
serialized-exchange 266
serialized-exchange с избежанием тупиков 270 (упр. 3.48)
set! (особая форма) 190 («см. также «Присваивание»)
set! (особая форма), значение 190п
set! (особая форма), модель с окружениями 207п
set-car! 217
set-cdr! 217
set-contents! 443
set-current-time! 244
set-front-ptr! 227
set-instruction-execution-proc! 448
set-rear-ptr! 227
set-register-contents! 441 445
set-segments! 244
set-signal! 238 241
set-value! 249 253
set-variable-value! 323 324
setup-environment 326
shrink-to-upper-right 119
signal-error 482
simple-query 401
sin (элементарная процедура) 58
singleton-stream 412
SKETCHPAD 246п
smallest-divisor 42
smallest-divisor, более эффективный вариант 46 (упр. 1.23)
Smalltalk 246п
Solve 297 298
solve с прочесанными внутренними определениями 334 (упр. 4.18)
solve, вариант с ленивыми списками 351
Split 115 (упр. 2.45)
sqare 10
sqare-limit 113 115
sqrt 20
sqrt в модели с окружениями 214
sqrt с блочной структурой 25
sqrt с методом Ньютона 63 64
sqrt, как неподвижная точка 59 61 64
sqrt, как пошаговое улучшение 66 (упр. 1.46)
sqrt, как предел потока 290 (упр. 3.64)
sqrt, регистровая машина 428 (упр. 5.3)
sqrt-stream 287
square в модели с окружениями 205
square-of-four 115
squarer (ограничение) 254 (упр. 3.34) 254
squash-inwards 119
stack-inst-reg-name 452
start 441 445
start-eceval 520п
start-segment 76 (упр. 2.2) 118
statements 504
stream-append 292
stream-append-delayed 412
stream-car 274 276
stream-cdr 274 276
stream-enumerate-interval 276
stream-f latmap 412 416
stream-filter 276
stream-for-each 275
stream-limit 290 (упр. 3.64)
stream-map 274
stream-map с несколькими аргументами 279 (упр. 3.50)
stream-null? 274
stream-null? в MIT Scheme 27
stream-withdraw 304
sub (обобщенная) 162
sub-complex 149
sub-interval 80 (упр. 2.8)
sub-rat 71
sub-vect 117 (упр. 2.46)
subsets 96 (упр. 2.32)
SUM 49
sum, итеративный вариант 51 (упр. 1.30)
sum, как накопление 51 (упр. 1.32)
sum-cubes 48
sum-cubes через процедуры высших порядков 49
sum-integers 48
sum-integers через процедуры высших порядков 50
sum-odd-squares 96 99
sum-of-squares 11
sum-of-squares в модели с окружениями 207
sum-primes 273
sum? 126 127
symbol-leaf 141
symbol? (элементарная процедура) 127
symbol? (элементарная процедура) и тип данных 165 (упр. 2.78)
symbol? (элементарная процедура), реализация через типизированные указатели 462
symbols 142
sync 271п
tack-on-instruction-sequence 506
tagged-list? 316
term-list 175
test (в регистровой машине) 423
test (в регистровой машине), имитация 451
test-and-set! 268 269п
test-condition 451
text-of-quotation 316
text-of-quotation, lambda-выражение, как оператор в комбинации 53
THE, Система Мультипрограммирования 268п
the-cars, вектор 459
the-cars, регистр 461 465
the-cdrs, вектор 459
the-cdrs, регистр 461 465
the-empty-environment 323
the-empty-stream 274
the-empty-stream в MIT Scheme 274п
the-empty-termlist 176 179
the-global-environment 326 481п
thunk-env 346
thunk-exp 346
thunk? 346
timed-prime-test 45 (упр. 1.22)
TK!Solver 246п
transform-painter 119
TRANSPOSE 103 (упр. 2.37)
tree->list… 136 (упр. 2.63)
tree-map 96 (упр. 2.31)
TRUE 15п
true? 5п
try-again 356
type-tag 151
type-tag, использование типов Scheme 165 (упр. 2.78)
unev, регистр 470
unify-match 407
union-set 130
union-set, представление в виде бинарных деревьев 137 (упр. 2.65)
| union-set, представление в виде неупорядоченных списков 131 (упр. 2.59)
union-set, представление в виде упорядоченных списков 133 (упр. 2.62)
unique (язык запросов) 416 (упр. 4.75)
unique-pairs 106 (упр. 2.40)
UNIX (Юникс) 485п 522п
unknown-expression-type 481
unknown-procedure-type 481
up-split 113 (упр. 2.44)
update-insts! 448
upper-bound 80 (упр. 2.7)
user-initial-environment 331п
user-print 328
user-print измененная для скомпилированного кода 520п
V-операция на семафоре 268п
val, регистр 470
value-proc 450
Variable 175
variable? 126 315
vector-ref (элементарная процедура) 459
vector-set! (элементарная процедура) 459
verbs 360
Weight 142
weight-leaf 141
width 81
withdraw 189
withdraw, сложности в параллельных системах 257
without-interrupts 269п
xcor-vect 117 (упр. 2.46)
Xerox, исследовательский центр в Пало Альто [Xerox Palo Alto Research Center] 3п
Y-оператор [Y operator] 335п
ycor-vect 117 (упр. 2.46)
Zetalisp (Зеталисп) 3п
Абельсон, Харольд 3п
Абстрактные данные [abstract data] 70 (см. также «Абстракция данных»)
Абстрактные модели данных [abstract models for data] 77п
Абстрактный синтаксис [abstract syntax] в метациклическом интерпретаторе 311
Абстрактный синтаксис [abstract syntax] в языке запросов 400
Абстракция данных [data abstraction] 68 70 145 148 315
Абстракция данных [data abstraction] для очереди 225
Абстракция [abstraction] см. также «Средства абстракции»; «Абстракция данных»; «Процедуры высших порядков»
Абстракция [abstraction] метаязыковая 308
Абстракция [abstraction] поиска в недетерминистском программировании 357
Абстракция [abstraction] при проектировании регистровых машин 426
Абстракция [abstraction] процедурная 22
Абстракция [abstraction], выделение общей схемы 48
Автомагически [automagically] 355
Автоматический поиск [automatic search] 352 (см. также «Поиск»
Автоматический поиск [automatic search], история 355п
Автоматическое распределение памяти [automatic storage allocation] 458
Ада, сыновья 386 (упр. 4.63)
Адамс, Норман И., IV 337п
Аддитивность [additivity] 70 146 154
Адельман, Леонард 45п
Адрес [address] 458
Адресная арифметика [address arithmetic] 458
Азбука Морзе [Morse code] 139
Аккермана функция [Ackermann’s function] 30 (упр. 1.10)
Алгебра символьная см. «Символьная алгебра»
Алгебраическая спецификация [algebraic specification] 77п
Алгебраическое выражение [algebraic expression] 173
Алгебраическое выражение [algebraic expression], дифференцирование 125
Алгебраическое выражение [algebraic expression], представление 127
Алгебраическое выражение [algebraic expression], упрощение 128
Алгоритм [algorithm] RSA [RSA] 45п
Алгоритм [algorithm] вероятностный 44
Алгоритм [algorithm] Евклида [Euclid’s] 41 420
Алгоритм [algorithm] оптимальный 101п
Алгоритм [algorithm] унификации [unification algorithm] 375п
Аллен, Джон 464п
Альтернатива if [alternative of if] 16
Анализирующий интерпретатор [analyzing evaluator] 336
Анализирующий интерпретатор [analyzing evaluator] let 340 (упр. 4.22)
Анализирующий интерпретатор [analyzing evaluator], как основа для недетерминистского интерпретатора 364
Аппель, Эндрю У. 503п
Аппликативный порядок вычислений [applicative-order evaluation] 14
Аппликативный порядок вычислений [applicative-order evaluation] в Лиспе 14
Аппликативный порядок вычислений [applicative-order evaluation], vs. нормальный порядок 17 (упр. 1.5) 42 341
Арбитр [arbiter] 269п
Аргумент [argument]задержанный 298
Аргумент(ы) [argument(s)] 5
Аргументы [arguments], произвольное количество 5 88
Аристотель, De caelo (комментарий Ж. Буридана) 269п
Арифметика комплексных чисел [complex-number arithmetic] 146
Арифметика комплексных чисел [complex-number arithmetic], структура системы 153
Арифметика комплексных чисел [complex-number arithmetic]взаимодействие с общими арифметическими системами 163
Арифметика многочленов [polynomial arithmetic] 174
Арифметика многочленов [polynomial arithmetic], алгоритм Евклида 182п
Арифметика многочленов [polynomial arithmetic], вероятностный алгоритм для НОД 185п
Арифметика многочленов [polynomial arithmetic], включение в систему обобщенной арифметики 175
Арифметика многочленов [polynomial arithmetic], вычитание 179 (упр. 2.88)
Арифметика многочленов [polynomial arithmetic], деление 180 (упр. 2.91)
Арифметика многочленов [polynomial arithmetic], наибольший общий делитель 182 185п
Арифметика многочленов [polynomial arithmetic], рациональные функции 181
Арифметика многочленов [polynomial arithmetic], сложение 175
Арифметика многочленов [polynomial arithmetic], умножение 175
Арифметика [arithmetic] интервальная 79
Арифметика [arithmetic] комплексных чисел 146; см. «Арифметика комплексных чисел»
Арифметика [arithmetic] многочленов см. «Арифметика многочленов»
Арифметика [arithmetic] рациональная 70
Арифметика [arithmetic], обобщенные операции 161
Арифметика [arithmetic], элементарные процедуры 5
Арктангенс [arctangent] 149п
Ассемблер [assembler] 442 445
Атомарность [atomicity] 269
Атомарные операции, поддерживаемые на уровне аппаратуры [atomic operations supported in hardware] 269
Ачарья, Бхаскара 35п
А’х-мосе [A’h-mose] 39п
База данных [data base] и логическое программирование 377
База данных [data base] и программирование, управляемое данными 159 (упр. 2.74)
База данных [data base], индексирование 388п 409
База данных [data base], как множество записей 137
База данных [data base], персонал компании Insatiable Enterprises, Inc. 159 (упр. 2.74)
База данных [data base], персонал «Микрошафт» 377
Базовый адрес [base address] 459
Банковский счет [bank account] 189 216
Банковский счет [bank account] защищенный паролем 193 (упр. 3.3)
Банковский счет [bank account] сериализованный 262
Банковский счет [bank account] совместный 201 202 257
Банковский счет [bank account] совместный, смоделированный с помощью потоков 306
Банковский счет [bank account], мена балансов местами 265
Банковский счет [bank account], перенос денег 266 (упр. 3.44)
Банковский счет [bank account], потоковая модель 304
Барт, Джон 307
Барьерная синхронизация [barrier synchronization] 271п
Барьеры абстракции [abstraction barriers] 69 74 145
Барьеры абстракции [abstraction barriers] в обобщенной арифметической системе 161
Барьеры абстракции [abstraction barriers] в системе работы с комплексными числами 147
Батали, Джон Дин 469п
Башня типов [tower of types] 169
Бейкер, Генри Дж. 464п
Бертрана гипотеза [Bertrand’s hypothesis] 284п
Бесконечная последовательность [infinite series] 408п
Бесконечные потоки [infinite streams] 280
Бесконечные потоки [infinite streams]простых чисел см. «primes»
Бесконечные потоки [infinite streams]целых чисел см. «integers»
Бесконечные потоки [infinite streams]чисел Фибоначчи см. «fibs»
Бесконечный поток для моделирования сигналов 294
Бесконечный поток пар 290
Бесконечный поток случайных чисел 302
Бесконечный поток [infinite streams] для суммирования ряда 288
Бесконечный поток, представление степенных рядов 285 (упр. 3.59)
Бесконечный поток, слияние 284 (упр. 3.56) 292 293 306
Бесконечный поток, слияние как отношение 306п
Бесконечный поток, факториалов 284 (упр. 3.54)
Бинарное дерево [binary tree] 134
Бинарное дерево [binary tree] для кодирования по Хаффману 139
Бинарное дерево [binary tree], представленное при помощи списков 134
Бинарное дерево [binary tree], преобразование в список 136 (упр. 2.63)
Бинарное дерево [binary tree], преобразование из списка 137 (упр. 2.64)
Бинарное дерево [binary tree], списки, представленные как 133
|
|
|
| Реклама |
|
|
|
|
|
О проекте