|
|
 |
| Авторизация |
|
|
|
| Поиск по указателям |
|
|
|
|
|
|
|
 |
|
|
|
| Абельсон Х., Сассман Д.Д., Сассман Д. — Структура и интерпретация компьютерных программ |
|
|
|
| Предметный указатель |
Многочлен от одной переменной 174
Многочлен плотный [dense] 178
Многочлен разреженный [sparse] 178
Многочлен(ы) [polynomial(s)] 174
Многочлен, каноническая форма 181
Многочлены, вычисление по схеме Горнера 101 (упр. 2.34)
Многочлены, иерархия типов 180
Множество [set] 130
Множество, база данных как множество 137
Множество, операции 130
Множество, перестановки 105
Множество, подмножество 96 (упр. 2.32)
Множество, представленное в виде бинарного дерева 133
Множество, представленное в виде неупорядоченного списка 131
Множество, представленное в виде упорядоченного списка 132
Множитель целости [integerizing factor] 183
Мобиль [mobile] 94 (упр. 2.29)
Модели вычисления [models of evaluation] 480
Моделирование методом Монте-Карло [Monte Carlo simulation] 195
Моделирование методом Монте-Карло, формулировка в терминах потоков 302
Моделирование [modeling] в науке и технике 13
Моделирование, как стратегия разработки 187
Модель вычисления с окружениями и метациклический интерпретатор 310
Модель вычисления с окружениями и хвостовая рекурсия 210п
Модель вычисления с окружениями [environment model of evaluation] 188 203
Модель вычисления с окружениями, внутреннее состояние 210
Модель вычисления с окружениями, внутренние определения 214
Модель вычисления с окружениями, передача сообщений 216 (упр. 3.11)
Модель вычисления с окружениями, правила вычисления 204
Модель вычисления с окружениями, пример применения процедуры 207
Модель вычисления с окружениями, структура окружений 203
Модуль [absolute value] 14
Модульность 100 187
Модульность и потоки 287
Модульность функциональных программ, vs. объектов 302
Модульность через бесконечные потоки 303
Модульность через диспетчеризацию по типу 154
Модульность через моделирование объектов 194
Модульность, границы модулей, проведенные по границам объектов 306п
Модульность, принцип сокрытия 191п
Момент времени [moment in time] 256
Монте-Карло, интегрирование методом [Monte Carlo integration] 197 (упр. 3.5)
Монте-Карло, интегрирование методом [Monte Carlo integration], формулировка в терминах потоков 303 (упр. 3.82)
Морзе азбука см. «Азбука Морзе»
Моррис, Дж.Г. 201п
Мун, Дэвид А. 3п 464п
Мунро, Иан 101п
Мусор [garbage] 463
Мутатор [mutator] 217
Мьютекс [mutex] 267
Надтип [supertype] 169
Наибольший общий делитель для многочленов 182
Наибольший общий делитель обобщенный 183 (упр. 2.94)
Наибольший общий делитель [greatest common divisor] 40 (см. также «ged»)
Наибольший общий делитель, используемый в арифметике рациональных чисел 74
Наибольший общий делитель, используемый для оценки  195
Наименьших обязательств принцип [principle of least commitment] 150
Накопитель [accumulator] 97 193
Накопление по дереву 8
Накопление [accumulation] 51 (упр. 1.32)
Невычислимость [noncomputability] 331п
Недетерминизм в поведении параллельных программ 260п 306п
Недетерминистские вычисления [nondeterministic computing] 309
Недетерминистские программы пары чисел с простой суммой 352
Недетерминистские программы [nondeterministic programs], логические загадки 357
Недетерминистские программы, Пифагоровы тройки 357 (упр. 4.35) 357 357
Недетерминистские программы, синтаксический анализ естественного языка 360
Недетерминистский интерпретатор [nondeterministic evaluator] 364
Недетерминистский интерпретатор, порядок вычисления операндов 363 (упр. 4.46)
Недетерминистское вычисление [nondeterministic computing] 352
Недетерминистское программирование, vs. программирование на Scheme [nondeterministic programming vs. Scheme programming] 352 359 360 417
Неопределенные значения display 73п
Неопределенные значения if без альтернативы 245п
Неопределенные значения newline 73п
Неопределенные значения set! 190п
Неопределенные значения set-car! 218п
Неопределенные значения set-cdr! 218п
Неопределенные значения [unspecified values] define 7п
Неподвижная точка в методе Ньютона 62
Неподвижная точка и унификация 408п
Неподвижная точка [fixed point, of a function] 58
Неподвижная точка, вычисление с помощью калькулятора 58п
Неподвижная точка, золотое сечение 59 (упр. 1.35)
Неподвижная точка, как пошаговое улучшение 66 (упр. 1.46)
Неподвижная точка, квадратный корень 58 61 63
Неподвижная точка, корень n-ной степени 66 (упр. 1.45)
Неподвижная точка, корень четвертой степени 66 (упр. 1.45)
Неподвижная точка, кубический корень 62
Неподвижная точка, трансформации некоторой функции 63
Неподвижная точка, функции косинус 58
Несвязанная переменная [unbound variable] 203
Несколько надтипов 170
Нестрогая процедура [non-strict procedure] 342
Неудача в недетерминистских вычислениях и поиск 355
Неудача в недетерминистских вычислениях, vs. ошибка 368
Неудача, в недетерминистском вычислении [failure in nondeterministic computation] 354
НОД см. «Наибольший общий делитель»
Номер кадра [frame number] 516
Нормальный порядок вычислений if 18 (упр. 1.5)
Нормальный порядок вычислений в вычислителе с явным управлением 480 (упр. 5.25)
Нормальный порядок вычислений и задержанные вычисления 301
Нормальный порядок вычислений [normal-order evaluation] 14 309
Нормальный порядок вычислений, vs. аппликативный порядок 17 (упр. 1.5) 42 341
Нотация в настоящей книге [notation in this book], курсив в синтаксисе выражений 10п
Нотация в настоящей книге, наклонный шрифт для ответов интерпретатора 5п
Нужные регистры [needed registers] 491
Ньютона метод для дифференцируемых функций 62
Ньютона метод для квадратных корней 19 63 64
Ньютона метод для кубических корней 21 (упр. 1.8)
Ньютона метод [Newthon’s method] 62
Ньютона метод, vs. метод половинного деления 62п
Область действия переменной в let 55
Область действия переменной внутренняя define 331
Область действия переменной [scope of a variable] 24 (см. также «Лексическая сфера действия»)
Область действия переменной, формальные параметры процедуры 24
Обмассив [obarray] 460
Обобщенные арифметические операции [generic arithmetic operations] 162
Обобщенные арифметические операции, структура системы 162
Обобщенные операции [generic operations] 70
Обобщенные процедуры [generic procedures] 142 146
Обобщенные процедуры, обобщенный селектор 152 154
Обработка ошибок в скомпилированном коде 521п
Обработка ошибок [error handling] в вычислителе с явным управлением 481 485
Обработка потоков [stream processing] 14п
Обработка сигналов [signal processing], переход сигнала через ноль 295 (упр. 3.74) 296 296
Обработка сигналов, потоковая модель 294
Обработка сигналов, сглаживание сигнала 296 (упр. 3.75) 296
Обработка сигналов, сглаживание функции 65 (упр. 1.44)
Образец [pattern] 379
Обратная кавычка [backquote] 493п
Объект с состоянием, меняющимся во времени 189
Объект(ы) [object(s)] 187
Объект, преимущества введения в моделирование 194
Объектная программа [object program] 486
Объектно-ориентированные языки программирования [object-oriented programming languages] 170п
Обычные числа [ordinary numbers] в обобщенной арифметической системе 162
Ограничения элементарные 246
Ограничения [constraints], распространение 246
Окружение в интерпретаторе запросов 418 (упр. 4.79)
Окружение времени компиляции и явное кодирование 518 (упр. 5.44)
Окружение времени компиляции [compile-time environment] 516 517 517
Окружение глобальное [global] 203; см. «Глобальное окружение»
Окружение и лексическая сфера действия 25
Окружение и переименование 418 (упр. 4.79)
Окружение объемлющее [enclosing] 203
Окружение [environment] 7 203
Окружение, как контекст для вычисления 9
Операнды комбинации [operands of a combination] 5
Оператор комбинации 5
Оператор комбинации в виде lambda-выражения 53
| Оператор комбинации в виде составного выражения 17 (упр. 1.4)
Оператор комбинации, как комбинация 61п
Оператор присваивания [assignment operator] 188 (см. также «set!»)
Операции обобщенные 70
Операции со смешанными типами 166
Операция [operation] в регистровой машине 420
Определение процедуры [procedure definition] 10
Определения см. «define»; «Внутренние определения»
Определенный интеграл [definite integral] 50
Определенный интеграл, приближенное вычисление методом Монте-Карло 197 (упр. 3.5) 303
Оптимальность схемы Горнера 101п
Оптимальность [optimality] кода Хаффмана 141
Освобождение мьютекса 267
Особая форма [special form] 9
Особая форма, vs. процедура 342 (упр. 4.26) 349
Особая форма, как производное выражение в интерпретаторе 318
Особая форма, необходимость 21 (упр. 1.6)
Особые формы,  321 (упр. 4.7)
Особые формы, and 16
Особые формы, begin 190
Особые формы, cond 14
Особые формы, cons-stream (нс) 275
Особые формы, define 7 10
Особые формы, delay (нс) 275
Особые формы, if 15
Особые формы, lambda 53
Особые формы, let 54
Особые формы, 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
Отложенная операция [deferredoperation] 28
Относительности теория [theory of relativity] 271
Отношения, вычисления в терминах отношений 246 375
Отображение вложенное 104 290
Отображение деревьев 95
Отображение координат рамки [frame coordinate map] 116
Отображение списков 89
Отображение [map] 97
Отображение, как преобразователь 97
Отрезок [line segment], представление в виде пары векторов 118 (упр. 2.48)
Отрезок [line segment], представление в виде пары точек 76 (упр. 2.2)
Отслеживаемая процедура [monitored procedure] 193 (упр. 3.2)
Очередь в плане действий 244
Очередь двусторонняя 229 (упр. 3.23)
Очередь операции 226
Очередь [queue] 225
Очередь, голова [front] 225
Очередь, реализация в виде процедуры 229 (упр. 3.22)
Очередь, хвост [rear] 225
Ошибка округления [roundoff error] 4п
Ошибка побочного эффекта 201п
Ошибка [bug], захват свободной переменной 24
Ошибка, порядок присваиваний 202
Ошибки округления 147п
Пакет Scheme-number 162
Пакет [package] 156
Пакет, декартово представление 156
Пакет, комплексные числа 163
Пакет, многочлены 175
Пакет, полярное представление 156
Пакет, рациональные числа 163
Память со списковой структурой [list-structured] 458
Память [memory] в 1964г. 355п
Пан, В.Я. 101п
Пара (пары) [pair(s)] 72
Пара, аксиоматическое определение 11
Параллелизм 255 256
Параллелизм и функциональное программирование 305
Параллелизм, механизмы для управления 261
Параллелизм, правильность параллельных программ 259
Параллелизм, тупик 270
Параметр [parameter] см. «Формальные параметры»
Пары изменяемые 217
Пары ленивые 349
Пары, бесконечные потоки 290
Пары, использование для представления дерева 91
Пары, использование для представления последовательности 84
Пары, представленные с помощью векторов 459
Пары, процедурное представление 11 224 350
Пары, стрелочная нотация 82
Паскаль, Блез 35п
Передача сообщений в банковском счете 192
Передача сообщений в имитаторе цифровых схем 240
Передача сообщений и модель с окружениями 216 (упр. 3.11)
Передача сообщений и хвостовая рекурсия 30п
Передача сообщений [message passing] 78 159 160 192
Переменная несвязанная [unbound] 203
Переменная образца [pattern variable] 379
Переменная образца, представление 400 413
Переменная свободная 24
Переменная связанная 24
Переменная состояния внутренняя 189
Переменная состояния [state variable] 29 188
Переменная [variable] 7 (см. также «Локальная переменная»)
Переменная, значение [value] 7 03
Переменная, область действия 24 (см. также «Область действия переменной»)
Перенаправляющий адрес [forwarding address] 465
Перенос языка (на новый компьютер) [porting a language] 522
Перестановки множества [permutations of a set] 105
Переход сигнала через ноль 295 (упр. 3.74) 296 296
Перечислитель [enumerator] 97
Перлис, Алан Дж. 84п
Перлис, Алан Дж., афоризмы 6п 10п
Печать входных выражений [typing input expressions] 6п
Печать, элементарные процедуры [primitives for printing] 73п
Пи  , аппроксимация через интегрирование методом Монте-Карло 197 (упр. 3.5)
Пи , оценка Чезаро 195 302
Пи , поток приближений 288
Пи , приближенное вычисление методом половинного деления 57 303
Пи , приближенное вычисление через интегрирование методом Монте-Карло 197 (упр. 3.5) 303
Пи , ряд Лейбница 48п 288
Пи , формула Уоллиса 51 (упр. 1.31)
Пингала, Ачарья [Acharya Pingala] 39п
Питман, Кент 3п
Пифагоровы тройки в потоках 293 (упр. 3.69)
Пифагоровы тройки [Pythagorean triples] в недетерминистских программах 357 (упр. 4.35) 357 357
План действий [agenda] 242 (см. также «Имитация цифровых схем»)
Плотный многочлен [dense polynomial] 178
Поддержание истины [truth maintenance] 356п
Подкоренное число [radicand] 19
Подпрограмма в регистровой машине [subroutine] 430
Подсказка вывода [output prompt] 327
Подсказка [prompt] 327
Подсказка, вычислитель с явным управлением 481
Подсказка, интерпретатор запросов 399
Подсказка, ленивый интерпретатор 345
Подсказка, метациклический интерпретатор 327
Подсказка, недетерминистский вычислитель 372
Подстановка [substitution] 13п
Подстановочная модель применения процедуры 11 12 203
Подстановочная модель применения процедуры, неадекватность 198
Подстановочная модель применения процедуры, форма процесса 27
Подсчет команд [instruction counting] 457 (упр. 5.15)
Подтип [subtype] 169
Подтип, несколько подтипов 170
Подчиняется (правило) 384 398
Поиск по бинарным деревьям 133
Поиск с возвратом хронологический [chronological] 355
Поиск с возвратом [backtracking], управляемый зависимостями [dependency-directed] 356п
Поиск систематический [systematic] 355
Поиск [search] в глубину [depth-first] 355
Показатель конца списка [end-of-list marker] 84
Поле типа [type field] 459п
Полноправные элементы вычисления [first-class elements of computation] 64 (см. также «Элементы вычисления первого класса»)
|
|
|
| Реклама |
|
|
|
|
|
О проекте