|
|
 |
| Авторизация |
|
|
|
| Поиск по указателям |
|
|
|
|
|
|
|
 |
|
|
|
| Абельсон Х., Сассман Д. — Структура и интерпретация компьютерных программ |
|
|
|
| Предметный указатель |
scale-stream 310
scale-tree 119
scale-vect 141
scan, регистр 496
scan-out-defines 362
Scheme (Схема) 24
Scheme (Схема) история 24
Search 79
segment-queue 269
segment-time 269
segments 270
segments->painter 142
self-evaluating? 343
sequence->exp 346
serialized-exchange 293
serialized-exchange с избежанием тупиков 297
set! (особая форма) 214 see
set! значение 214
set! модель с окружениями 231
set-car! 242
set-cdr! 242
set-contents! 474
set-current-time! 270
set-front-ptr! 251
set-instruction-execution-proc! 479
set-rear-ptr! 251
set-register-contents! 472 476
set-segments! 270
set-signal! 264 266
set-value! 275 279
set-variable-value! 351
setup-environment 354
shrink-to-upper-right 143
signal-error 513
simple-query 431
sin (элементарная процедура) 81
singleton-stream 443
SKETCHPAD 272
smallest-divisor 64
smallest-divisor более эффективный вариант 68
Smalltalk 272
Solve 325 326
solve вариант с ленивыми списками 380
solve с прочесанными внутренними определениями 363
Split 139
sqare 31
sqare-limit 137 139
sqrt 42
sqrt в модели с окружениями 238
sqrt как неподвижная точка 81 84 86
sqrt как пошаговое улучшение 89
sqrt как предел потока 317
sqrt регистровая машина 459
sqrt с блочной структурой 47
sqrt с методом Ньютона 86
sqrt-stream 314
square в модели с окружениями 229
square-of-four 139
squarer (ограничение) 280
squash-inwards 144
stack-inst-reg-name 483
start 472 475
start-eceval 552
start-segment 99 142
statements 536
stream-append 319
stream-append-delayed 442
stream-car 301 302
stream-cdr 301 302
stream-enumerate-interval 303
stream-filter 303
stream-flatmap 443 447
stream-for-each 301
stream-limit 317
stream-map 301
stream-map с несколькими аргументами 306
stream-null? 301
stream-null? в MIT Scheme 301
stream-ref 301
stream-withdraw 332
sub (обобщенная) 187
sub-complex 173
sub-interval 103
sub-rat 94
sub-vect 141
subsets 120
SUM 71
sum итеративный вариант 73
sum как накопление 74
sum-cubes 70
sum-cubes через процедуры высших порядков 71
sum-integers 70
sum-integers через процедуры высших порядков 72
sum-odd-squares 120 123
sum-of-squares 32
sum-of-squares в модели с окружениями 231
sum-primes 300
sum? 150 152
symbol-leaf 166
symbol? (элементарная процедура) 151
symbol? (элементарная процедура) и тип данных 191
symbol? (элементарная процедура) реализация через типизированные указатели 493
symbols 167
sync 298
tack-on-instruction-sequence 538
tagged-list? 344
term-list 201
test (в регистровой машине) 454
test (в регистровой машине), имитация 482
test-and-set! 295 296
test-condition 482
text-of-quotation 344
THE, Система Мультипрограммирования 294
the-cars вектор 490
the-cars регистр 492 496
the-cdrs вектор 490
the-cdrs регистр 492 496
the-empty-environment 352
the-empty-stream 301
the-empty-stream в MIT Scheme 301
the-empty-termlist 201 204
the-global-environment 355 512
thunk-env 375
thunk-exp 375
thunk? 375
timed-prime-test 67
TKISolver 272ra
transform-painter 143
TRANSPOSE 127
tree->list. . . 161
tree-map 119
TRUE 36n
true? 350
try-again 385
type-tag 176
type-tag использование типов Scheme 191
unev, регистр 501
unify-match 437
union-set 154
union-set представление в виде бинарных деревьев 162
union-set представление в виде неупорядоченных списков 156
union-set представление в виде упорядоченных списков 158
unique (язык запросов) 447
unique-pairs 130
UNIX (Юникс) 516 554
unknown-expression-type 513
unknown-procedure-type 513
up-split 137
update-insts! 479
upper-bound 103
| user-initial-environment 360
user-print 356
user-print измененная для скомпилированного кода 552
V-операция на семафоре 294
val, регистр 501
value-proc 481
Variable 201
variable? 150 343
vector-ref (элементарная процедура) 490
vector-set! (элементарная процедура) 490
verbs 389
Weight 167
weight-leaf 166
width 104
withdraw 213
withdraw сложности в параллельных системах 284
without-interrupts 296
xcor-vect 141
Xerox, исследовательский центр в Пало Альто [Xerox Palo Alto Research Center] 24
Y-оператор [Y operator] 364
ycor-vect 141
Zetalisp (Зеталисп) 24
А'х-мосе [A'h-mose] 61
Абельсон, Харольд [Harold Abelson] 24
Абстрактные данные [abstract data] 93 see
Абстрактные модели данных [abstract models for data] 100
Абстрактный синтаксис [abstract syntax] в метациклическом интерпретаторе 339
Абстрактный синтаксис [abstract syntax] в языке запросов 430
Абстракция данных [data abstraction] 91 93 170 173 343 see
Абстракция данных [data abstraction] для очереди 250
Абстракция [abstraction] see "средства абстракции" "абстракция "процедуры
Абстракция [abstraction] выделение общей схемы 71
Абстракция [abstraction] метаязыковая 336
Абстракция [abstraction] поиска в недетерминистском программировании 387
Абстракция [abstraction] при проектировании регистровых машин 457
Абстракция [abstraction] процедурная 44
Автомагически [automagically] 384
Автоматический поиск [automatic search] 381 see
Автоматический поиск [automatic search] история 384
Автоматическое распределение памяти [automatic storage allocation] 489
Ада, сыновья 417
Адамс, Норман И., IV [Norman I. Adams IV] 366
Аддитивность [additivity] 93 171 179
Адельман, Леонард [Leonard Adleman] 67
Адрес [address] 489
Адресная арифметика [address arithmetic] 490
Азбука Морзе [Morse code] 163
Аккермана функция [Ackermann's function] 52
Алгебра символьная see "символьная алгебра"
Алгебраическая спецификация [algebraic specification] 100
Алгебраическое выражение [algebraic expression] 198
Алгебраическое выражение [algebraic expression], дифференцирование 149
Алгебраическое выражение [algebraic expression], представление 151
Алгебраическое выражение [algebraic expression], упрощение 152
Алгоритм [algorithm] RSA [RSA] 67
Алгоритм [algorithm] RSA [RSA] вероятностный 66
Алгоритм [algorithm] RSA [RSA] Евклида [Euclid's] 63 451
Алгоритм [algorithm] RSA [RSA] оптимальный 125
Алгоритм [algorithm] RSA [RSA] унификации [unification algorithm] 405
Аллен, Джон [John Allen] 495
Альтернатива if [alternative of if] 37
Анализирующий интерпретатор [analyzing evaluator] 365
Анализирующий интерпретатор [analyzing evaluator] let 369
Анализирующий интерпретатор [analyzing evaluator] как основа для недетерминистского интерпретатора 394
Аппель, Эндрю У. [Andrew W. Appel] 535
Аппликативный порядок вычислений [applicative-order evaluation] 35
Аппликативный порядок вычислений [applicative-order evaluation] vs. Нормальный порядок 39 64 370
Аппликативный порядок вычислений [applicative-order evaluation] в Лиспе 35
Арбитр [arbiter] 296
Аргумент(ы) [argument(s)] 26
Аргумент(ы) [argument(s)] задержанный 325
Аргумент(ы) [argument(s)] произвольное количество 26 112
Аристотель, De caelo (комментарий Ж. Буридана) 296
Арифметика комплексных чисел [complex-number arithmetic] 171
Арифметика комплексных чисел [complex-number arithmetic] взаимодействие с общими арифметическими системами 189
Арифметика комплексных чисел [complex-number arithmetic] структура системы 178
Арифметика многочленов [polynomial arithmetic] 199
Арифметика многочленов [polynomial arithmetic] алгоритм Евклида 207
Арифметика многочленов [polynomial arithmetic] вероятностный алгоритм для нод 210
Арифметика многочленов [polynomial arithmetic] включение в систему обобщенной арифметики 200
Арифметика многочленов [polynomial arithmetic] вычитание 205
Арифметика многочленов [polynomial arithmetic] деление 205
Арифметика многочленов [polynomial arithmetic] наибольший общий делитель 207 210
Арифметика многочленов [polynomial arithmetic] рациональные функции 207
Арифметика многочленов [polynomial arithmetic] сложение 200
Арифметика многочленов [polynomial arithmetic] умножение 200
Арифметика [arithmetic] интервальная 102
Арифметика [arithmetic] комплексных чисел 171 also
Арифметика [arithmetic] многочленов see "арифметика многочленов"
Арифметика [arithmetic] обобщенные операции 186
Арифметика [arithmetic] рациональная 93
Арифметика [arithmetic] элементарные процедуры 26
Арктангенс [arctangent] 174
Ассемблер [assembler] 473 476
Атомарность [atomicity] 295
Атомарные операции, поддерживаемые на уровне аппаратуры [atomic operations supported in hardware] 296
Ачарья, Бхаскара [Bhascara Acharya] 57
База данных и программирование, управляемое данными 184
База данных индексирование 418 439
База данных как множество записей 162
База данных персонал "Микрошафт" 407
База данных персонал компании Insatiable Enterprises, Inc. 184
База данных [data base] и логическое программирование 407
Базовый адрес [base address] 490
Банковский счет [bank account] 213 240
Банковский счет [bank account] защищенный паролем 217
Банковский счет [bank account] мена балансов местами 291
Банковский счет [bank account] перенос денег 293
Банковский счет [bank account] потоковая модель 332
Банковский счет [bank account] сериализованный 289
Банковский счет [bank account] совместный 225 226 284
Банковский счет [bank account] совместный, смоделированный с помощью потоков 334
Барт, Джон [John Barth] 335
Барьерная синхронизация [barrier synchronization] 298
Барьеры абстракции [abstraction barriers] 92 97 170
Барьеры абстракции [abstraction barriers] в обобщенной арифметической системе 186
Барьеры абстракции [abstraction barriers] в системе работы с комплексными числами 171
Батали, Джон Дин [John Dean Batali] 500
Башня типов [tower of types] 194
Бейкер, Генри Дж., мл. [Henry J. Baker Jr.] 495
Бертрана гипотеза [bertrand's hypothesis] 311
Бесконечная последовательность [infinite series] 438
Бесконечные потоки [infinite streams] 307
Бесконечные потоки [infinite streams] простых чисел see "primes"
Бесконечные потоки [infinite streams] целых чисел see "integers"
Бесконечные потоки [infinite streams] чисел фибоначчи see "fibs"
Бесконечный поток для моделирования сигналов 321
Бесконечный поток для суммирования ряда 315
Бесконечный поток пар 318
Бесконечный поток представление степенных рядов 312
Бесконечный поток слияние 311 319 320 334
Бесконечный поток слияние как отношение 334
Бесконечный поток случайных чисел 330
Бесконечный поток факториалов 311
Бинарное дерево [binary tree] 158
Бинарное дерево [binary tree] для кодирования по Хаффману 164
Бинарное дерево [binary tree] представленное при помощи списков 159
Бинарное дерево [binary tree] преобразование в список 161
Бинарное дерево [binary tree] преобразование из списка 161
Бинарное дерево [binary tree] списки, представленные как 158
Бинарное дерево [binary tree] таблицы 260
Бинарный поиск [binary search] 158
Биномиалвный коэффициент [binomial coefficients] 57
Блоха [bug] 23
Блочная структура [block structure] 47 360
Блочная структура [block structure] в модели окружения 238
Блочная структура [block structure] в языке запросов 449
Большое число [bignum] 491
Борнинг, Алан [Alan Borning] 272
Бородин, Алан [Alan Borodin] 126
|
|
|
| Реклама |
|
|
|
|
|
О проекте