|
|
Авторизация |
|
|
Поиск по указателям |
|
|
|
|
|
|
|
|
|
|
Абельсон Х., Сассман Д. — Структура и интерпретация компьютерных программ |
|
|
Предметный указатель |
Многочлен(ы) [polynomial(s)] от одной переменной 199
Многочлен(ы) [polynomial(s)] перестановки 129
Многочлен(ы) [polynomial(s)] плотный [dense] 203
Многочлен(ы) [polynomial(s)] подмножество 120
Многочлен(ы) [polynomial(s)] представленное в виде бинарного дерева 158
Многочлен(ы) [polynomial(s)] представленное в виде неупорядоченного списка 155
Многочлен(ы) [polynomial(s)] представленное в виде упорядоченного списка 156
Многочлен(ы) [polynomial(s)] разреженный [sparse] 203
Множитель целости [integerizing factor] 209
Мобиль [mobile] 118
Модели вычисления [models of evaluation] 512
Моделирование методом Монте-Карло [Monte Carlo simulation] 219
Моделирование методом Монте-Карло [monte carlo simulation] формулировка в терминах потоков 330
Моделирование [modeling] в науке и технике 34
Моделирование [modeling] как стратегия разработки 211
Модель вычисления с окружениями [environment model of evaluation] 212 227
Модель вычисления с окружениями [environment model of evaluation] внутреннее состояние 234
Модель вычисления с окружениями [environment model of evaluation] внутренние определения 238
Модель вычисления с окружениями [environment model of evaluation] и метациклический интерпретатор 338
Модель вычисления с окружениями [environment model of evaluation] и хвостовая рекурсия 234
Модель вычисления с окружениями [environment model of evaluation] передача сообщений 240
Модель вычисления с окружениями [environment model of evaluation] правила вычисления 228
Модель вычисления с окружениями [environment model of evaluation] пример применения процедуры 231
Модель вычисления с окружениями [environment model of evaluation] структура окружений 227
Модуль [absolute value] 36
Модульность 124 211
Модульность границы модулей, проведенные по границам объектов 334
Модульность и потоки 314
Модульность принцип сокрытия 215
Модульность функциональных программ vs. Объектов 330
Модульность через бесконечные потоки 331
Модульность через диспетчеризацию по типу 179
Модульность через моделирование объектов 218
Момент времени [moment in time] 282
Монте-Карло, интегрирование методом [Monte Carlo integration] 221
Монте-карло, интегрирование методом [monte carlo integration] формулировка в терминах потоков 331
Морзе азбука see " азбука Морзе"
Моррис, Дж. Г. [J. Н. Morris] 225
Мун, Дэвид А. [David A. Moon] 24 495
Мунро, Иан [Ian Munro] 126
Мусор [garbage] 495
Мутатор [mutator] 241
Мьютекс [mutex] 294
Надтип [supertype] 194
Наибольший общий делитель [greatest common divisor] 62 see
Наибольший общий делитель [greatest common divisor] для многочленов 207
Наибольший общий делитель [greatest common divisor] используемый в арифметике рациональных чисел 97
Наибольший общий делитель [greatest common divisor] используемый для оценки 219
Наибольший общий делитель [greatest common divisor] обобщенный 208
Наименьших обязательств принцип [principle of least commitment] 175
Накопитель [accumulator] 121 217
Накопление [accumulation] 74
Накопление [accumulation] по дереву 29
Невычислимость [noncomputability] 360
Недетерминизм в поведении параллельных программ 287 334
Недетерминистские вычисления [nondeterministic computing] 337
Недетерминистские программы [nondeterministic programs] логические загадки 387
Недетерминистские программы [nondeterministic programs] пары чисел с простой суммой 381
Недетерминистские программы [nondeterministic programs] Пифагоровы тройки 386 386 386
Недетерминистские программы [nondeterministic programs] синтаксический анализ естественного языка 389
Недетерминистский интерпретатор [nondeterministic evaluator] 394
Недетерминистский интерпретатор [nondeterministic evaluator] порядок вычисления операндов 393
Недетерминистское вычисление [nondeterministic computing] 381
Недетерминистское программирование vs. Программирование на Scheme [nondeterministic programming vs. Scheme programming] 381 388 389 448
Неопределенные значения [unspecified values] define 28
Неопределенные значения [unspecified values] display 96
Неопределенные значения [unspecified values] if без альтернативы 271
Неопределенные значения [unspecified values] newline 96
Неопределенные значения [unspecified values] set! 214
Неопределенные значения [unspecified values] set-car! 242
Неопределенные значения [unspecified values] set-cdr! 242
Неподвижная точка [fixed point, of a function] 80
Неподвижная точка [fixed point, of a function] в методе Ньютона 84
Неподвижная точка [fixed point, of a function] вычисление с помощью калькулятора 81
Неподвижная точка [fixed point, of a function] золотое сечение 82
Неподвижная точка [fixed point, of a function] и унификация 438
Неподвижная точка [fixed point, of a function] как пошаговое улучшение 89
Неподвижная точка [fixed point, of a function] квадратный корень 81 84 86
Неподвижная точка [fixed point, of a function] корень n-ной степени 88
Неподвижная точка [fixed point, of a function] корень четвертой степени 88
Неподвижная точка [fixed point, of a function] кубический корень 84
Неподвижная точка [fixed point, of a function] трансформации некоторой функции 86
Неподвижная точка [fixed point, of a function] функции косинус 81
Несвязанная переменная [unbound variable] 227
Несвязанная [unbound] 227
Несколько надтипов 195
Нестрогая процедура [non-strict procedure] 371
Неудача, в недетерминистских вычислениях vs. Ошибка 397
Неудача, в недетерминистских вычислениях и поиск 384
Неудача, в недетерминистском вычислении [failure in nondeterministic computation] 383
НОД see "наибольший общий делитель"
Номер кадра [frame number] 548
Нормальный порядок вычислений [normal-order evaluation] 35 337
Нормальный порядок вычислений [normal-order evaluation] if 39
Нормальный порядок вычислений [normal-order evaluation] vs. Аппликативный порядок 39 64 370
Нормальный порядок вычислений [normal-order evaluation] в вычислителе с явным управлением 511
Нормальный порядок вычислений [normal-order evaluation] и задержанные вычисления 328
Нотация в настоящей книге курсив в синтаксисе выражений 32
Нотация в настоящей книге [notation in this book] наклонный шрифт для ответов интерпретатора 26
Нужные регистры [needed registers] 523
Ньютона метод [Newton's method] 84
Ньютона метод [Newton's method] vs. Метод половинного деления 85
Ньютона метод [Newton's method] в let 77
Ньютона метод [Newton's method] внутренняя define 360
Ньютона метод [Newton's method] для дифференцируемых функций 84
Ньютона метод [Newton's method] для квадратных корней 40 86
Ньютона метод [Newton's method] для кубических корней 43
Ньютона метод [Newton's method] область действия переменной [scope of а variable] 45 see
Ньютона метод [Newton's method] формальные параметры процедуры1 45
Обмассив [obarray] 492
Обобщенные арифметические операции [generic arithmetic operations] 187
Обобщенные арифметические операции [generic arithmetic operations] структура системы 187
Обобщенные операции [generic operations] 93
Обобщенные процедуры [generic procedures] 167 171
Обобщенные процедуры [generic procedures] обобщенный селектор 177 179
Обработка ошибок [error handling] в вычислителе с явным управлением 512 516
Обработка ошибок [error handling] в скомпилированном коде 554
Обработка потоков [stream processing] 35
Обработка сигналов [signal processing] переход сигнала через ноль 323 323 324
Обработка сигналов [signal processing] потоковая модели 321
Обработка сигналов [signal processing] сглаживание сигнала 323 324
Обработка сигналов [signal processing] сглаживание функции 80
Образец [pattern] 409
Обратная кавычка [backquote] 524
Объект(ы) [object(s)] 211
Объект(ы) [object(s)] преимущества введения в моделирование 218
Объект(ы) [object(s)] с состоянием, меняющимся во времени 213
Объектная программа [object program] 517
Объектно-ориентированные языки программирования [object-oriented programming languages] 195
Обычные числа [ordinary numbers] в обобщенной арифметической системе 187
Ограничения [constraints] распространение 271
Ограничения [constraints] элементарные 272
Окружение времени компиляции [compile-time environment] 549 549 549
Окружение времени компиляции [compile-time environment] и явное кодирование 550
Окружение [environment] 28 227
Окружение [environment] в интерпретаторе запросов 449
Окружение [environment] времени компиляции see "окружение"
Окружение [environment] времени компиляции глобальное [global] 227 see
Окружение [environment] и лексическая сфера действия 47
Окружение [environment] и переименование 448
Окружение [environment] как контекст для вычисления 30
Окружение [environment] объемлющее [enclosing] 227
Операнды комбинации [operands of а combination] 26
Оператор комбинации 26
Оператор комбинации в виде lambda-выражения 75
Оператор комбинации в виде составного выражения 39
Оператор комбинации как комбинация 84
Оператор присваивания [assignment operator] 212 see
Операция [operation] в регистровой машине 451
Операция [operation] обобщенные 93
| Операция [operation] со смешанными типами 191
Определение процедуры [procedure definition] 31
Определения see "define" "внутренние
Определенный интеграл [definite integral] 72
Определенный интеграл [definite integral] приближенное вычисление методом Монте-Карло 221 331
Оптимальность [optimality] кода Хаффмана 165
Оптимальность [optimality] схемы Горнера 125
Освобождение мьютекса 294
Особая форма [special form] 31
Особая форма [special form] vs. Процедура 371 379
Особая форма [special form] как производное выражение в интерпретаторе 346
Особая форма [special form] необходимость 42
Особые формы and 37
Особые формы begin 214
Особые формы cond 36
Особые формы cons-stream (нс) 302
Особые формы define 28 32
Особые формы delay (нс) 302
Особые формы if 37
Особые формы lambda 75
Особые формы let 76
Особые формы let* 349
Особые формы letrec 363
Особые формы or 37
Особые формы quote 147
Особые формы set! 214
Особые формы именованный let 349
Остановки проблема [halting problem] 360
Остаток по модулю [remainder modulo n] 65
Островский, a. M. 125
Отладка [debugging] 23
Отложенная операция [deferred operation] 50
Относительности теория [theory of relativity] 298
Отношения, вычисления в терминах отношений 272 405
Отображение координат рамки [frame coordinate map] 140
Отображение [map] 121
Отображение [map] вложенное 128 318
Отображение [map] деревьев 119
Отображение [map] как преобразователь 121
Отображение [map] списков 112
Отрезок [line segment] представление в виде пары векторов 142
Отрезок [line segment] представление в виде пары точек 99
Отслеживаемая процедура [monitored procedure] 217
Очередь [queue] 250
Очередь [queue] в плане действий 269
Очередь [queue] голова [front] 250
Очередь [queue] двусторонняя 254
Очередь [queue] операции 250
Очередь [queue] реализация в виде процедуры 254
Очередь [queue] хвост [rear] 250
Ошибка округления [roundoff error] 25
Ошибка [bug] захват свободной переменной 46
Ошибка [bug] побочного эффекта 225
Ошибка [bug] порядок присваиваний 226
Ошибки округления 172
Пакет [package] 180
Пакет [package] Scheme-number 187
Пакет [package] декартово представление 181
Пакет [package] комплексные числа 189
Пакет [package] многочлены 200
Пакет [package] полярное представление 181
Пакет [package] рациональные числа 188
Память [memory] в 1964 г. 384
Память [memory] со списковой структурой [list-structured] 489
Пан, В.Я. 126
Пара (пары) [pair(s)] 95
Пара (пары) [pair(s)] аксиоматическое определение 100
Пара (пары) [pair(s)] бесконечные потоки 318
Пара (пары) [pair(s)] изменяемые 242
Пара (пары) [pair(s)] использование для представления дерева 115
Пара (пары) [pair(s)] использование для представления последовательности 107
Пара (пары) [pair(s)] ленивые 379
Пара (пары) [pair(s)] представленные с помощью векторов 490
Пара (пары) [pair(s)] процедурное представление 100 249 379
Пара (пары) [pair(s)] стрелочная нотация 106
Параллелизм 281 282
Параллелизм и функциональное программирование 333
Параллелизм механизмы для управления 287
Параллелизм правильность параллельных программ 285
Параллелизм тупик 296
Параметр [parameter] see "Формальные пааметры"
Паскаль, Блез [Blaise Pascal] 57
Передача сообщений [message passing] 101 184 185 216
Передача сообщений [message passing] в банковском счете 216
Передача сообщений [message passing] в имитаторе цифровых схем 265
Передача сообщений [message passing] и модель с окружениями 240
Передача сообщений [message passing] и хвостовая рекурсия 51
Переменная образца [pattern variable] 409
Переменная образца [pattern variable] представление 430 444
Переменная состояния [state variable] 51 212
Переменная состояния [state variable] внутренняя 213
Переменная [variable] 28 see
Переменная [variable] значение [value] 28 227
Переменная [variable] область действия 45 see
Переменная [variable] свободная 45
Переменная [variable] связанная 45
Перенаправляющий адрес [forwarding address] 496
Перенос языка (на новый компьютер) [porting a language] 554
Перестановки множества [permutations of а set] 129
Переход сигнала через ноль 323 323 324
Перечислитель [enumerator] 121
Перлис, Алан Дж. [Alan J. Perlis] 13 107
Перлис, Алан Дж. [Alan J. Perlis] афоризмы 27 31
Печать входных выражений [typing input expressions] 27
Печать, элементарные процедуры [primitives for printing] 96
Пи аппроксимация через интегрирование методом Монте-Карло 221
Пи оценка Чезаро 219 330
Пи поток приближений 315
Пи приближенное вычисление методом половинного деления 80 331
Пи приближенное вычисление через интегрирование методом Монте-Карло 221 331
Пи ряд Лейбница 70 315
Пи формула Уоллиса 73
Пингала, Ачарья [Acharya Pingala] 61
Питман, Кент [Kent Pitman] 24
Пифагоровы тройки [Pythagorean triples] в недетерминистских программах 386 386 386
Пифагоровы тройки [pythagorean triples] в потоках 320
План действий [agenda] 267 see
Плотный многочлен [dense polynomial] 203
Поддержание истины [truth maintenance] 385
Поддерживаемое в кадрах 234
Подкоренное число [radicand] 41
Подпрограмма, в регистровой машине [subroutine] 461
Подсказка вывода [output prompt] 356
Подсказка [prompt] 356
Подсказка [prompt] вычислитель с явным управлением 512
Подсказка [prompt] интерпретатор запросов 430
Подсказка [prompt] ленивый интерпретатор 374
Подсказка [prompt] метациклический интерпретатор 356
Подсказка [prompt] недетерминистский вычислитель 401
Подстановка [substitution] 34
Подстановочная модель применения процедуры 33 34 227
Подстановочная модель применения процедуры неадекватность 222
Подстановочная модель применения процедуры форма процесса 49
Подсчет команд [instruction counting] 488
Подтип [subtype] 194
Подтип [subtype] несколько подтипов 195
Подчиняется (правило) 414 428
Поиск с возвратом [backtracking] управляемый зависимостями [dependency-directed] 385
Поиск с возвратом [backtracking] хронологический [chronological] 384
Поиск [search] в глубину [depth-first] 384
Поиск [search] по бинарным деревьям 158
Поиск [search] систематический [systematic] 384
Показатель конца списка [end-of-list marker] 107
Поле типа [type field] 491
Полноправные элементы вычисления [first-class elements of computation] 87 see
Половинного деления метод [half-interval method] 78
Половинного деления метод [half-interval method] half-interval-method 80
Половинного деления метод [half-interval method] vs. Метод Ньютона 86
Полусумматор [half-adder] 261
Полусумматор [half-adder] half-adder 262
|
|
|
Реклама |
|
|
|