|
|
 |
| Авторизация |
|
|
|
| Поиск по указателям |
|
|
|
|
|
|
|
 |
|
|
|
| Абельсон Х., Сассман Д.Д., Сассман Д. — Структура и интерпретация компьютерных программ |
|
|
|
| Предметный указатель |
Бинарное дерево [binary tree], таблицы 235 (упр. 3.26)
Бинарный поиск [binary search] 134
Биномиальный коэффициент [binomial coefficients] 35п
Блоха [bug] 1
Блочная структура [block structure] 25 332
Блочная структура [block structure] в модели окружения 214
Блочная структура [block structure] в языке запросов 418 (упр. 4.79)
Большое число [bignum] 460
Борнинг, Алан 246п
Бородин, Алан 101п
Буридан, Жан 269п
Буфер [buffer] FIFO 225
Буфер [buffer] LIFO см. «Стек»
Бытие 386 (упр. 4.63)
Бэкус, Джон 305п
Бюрократия [bureaucracy] 395
Вагнер, Эрик Дж. 77п
Ванд, Митчелл 309п 474п
Вейль, Герман 67
Вектор (математический) [vector (mathematical)] в кадре из языка описания изображений 115
Вектор (математический) [vector (mathematical)] операции 102 (упр. 2.37) 117
Вектор (математический) [vector (mathematical)], представленный в виде пары 117 (упр. 2.46)
Вектор (математический) [vector (mathematical)], представленный в виде последовательности 102 (упр. 2.37)
Вектор (структура данных) [vector (data structure)] 458
Венера [Venus] 122п
Вероятностный алгоритм [probabilistic algorithm] 44 45 185п 281п
Вершина дерева [node of a tree] 8
Ветвь cond [clause, of a cond] 15
Ветвь cond [clause, of a cond], дополнительный синтаксис 320 (упр. 4.5)
Ветвь дерева [branch of a tree] 8
Ветвь [clause] 15
Вечерняя звезда [evening star] см. «Венера»
Взаимное исключение [mutual exclusion] 267п
Взгляд на вычисления, как на обработку сигналов [signal-processing view of computation] 97
Виноград, Терри 355п
Вложение комбинаций [nested combinations] 6
Вложенные определения [nested definitions] см. «Внутренние определения»
Вложенные отображения [nested mappings] см. «Отображение»
Вложенные применения car и cdr [nested applications of car and cdr] 85п
Внутреннее состояние [local state] 188
Внутреннее состояние [local state]поддерживаемое в кадрах 210
Внутренние определения [internal definitions] 25
Внутренние определения [internal definitions] в модели с окружениями 214
Внутренние определения [internal definitions] в недетерминистском интерпретаторе 369п
Внутренние определения [internal definitions], vs. let 55
Внутренние определения [internal definitions], ограничения 332п
Внутренние определения [internal definitions], позиция 26п
Внутренние определения [internal definitions], прочесывание и уничтожение 333
Внутренние определения [internal definitions], свободная переменная внутри 25
Внутренние определения [internal definitions], сфера действия имени 331
Внутренний язык машины [native language of machine] 486
Внутренняя переменная состояния [local state variable] 188 189
Возведение в степень [exponentiation] 37
Возведение в степень [exponentiation] по модулю n 43
Возврат нескольких значений [returning multiple values] 447п
Возврат [backtracking] 355 (см. также «Недетерминисткие вычисления»)
Волшебник [wizard] см. «Специалист по численному анализу»
Вопросительный знак, в именах предикатов [question mark] 20п
Восклицательный знак, в именах процедур [exclamation point] 190п
Восприятие [interning] 461
Временная диаграмма [timing diargam] 258
Временной отрезок [time segment] 244
Время [time] 256
Время [time] в недетерминистских вычислениях 353
Время [time] в недетерминистском вычислении 355
Время [time] в параллельных системах 257
Время [time] и взаимодействие процессов 271
Время [time] и присваивание 256
Время [time] и функциональное программирование 303
Время [time] предназначение 257п
Встроенный язык, использование в разработке языков [embedded language] 340
Выборки ключа, процедура [key selector] 138
Вывод типов [type inference] 301п
Выделение стека и хвостовая рекурсия [stack allocation and tail recursion] 503п
Вызов по имени [call by name] 343п
Вызов по необходимости [call by need] 279п 343п
Вызов по необходимости [call by need], связь с мемоизацией 285п
Вынуждение санка [forcing a thunk] 343
Выражение [expression] 5 (см. также «Составные выражения»; «Элементарные выражения»)
Выражение [expression] алгебраическое см. «Алгебраическое выражение»
Выражение [expression] символьное 69 (см.также «Символ(ы)»)
Выражение-следствие [consequent expression] cond 15
Выражение-следствие [consequent expression] if 16
Выражения [expression] самовычисляющееся 312
Высокоуровневый язык, vs. Машинный язык 308
Выход из тупика [deadlock recovery] 270п
Вычисление [evaluation] 5
Вычисление [evaluation] and 16
Вычисление [evaluation] cond 15
Вычисление [evaluation] if 15
Вычисление [evaluation] or 16
Вычисление [evaluation] задержанное см. «Задержанные вычисления»
Вычисление [evaluation] особых форм 9
Вычисление [evaluation] элементарных выражений 8
Вычисление [evaluation], аппликативный порядок см. «Аппликативный порядок вычислений»
Вычисление [evaluation], комбинации 8
Вычисление [evaluation], модели 326
Вычисление [evaluation], модель с окружениями см. «Модель вычисления с окружениями»
Вычисление [evaluation], нормальный порядок см. «Нормальный порядок вычислений»
Вычисление [evaluation], подстановочная модель см. «Подстановочная модель применения процедуры»
Вычисление [evaluation], порядок вычисления подвыражений см. «Порядок вычисления»
Вычислимость [computability] 330п 331п
Вычислители см. «Метациклический интерпретатор»; «Анализирующий интерпретатор»; «Недетерминистский интерпретатор»; «Ленивый интерпретатор»; «Интерпретатор запросов»; «Вычислитель с явным управлением»
Вычислитель с нормальным порядком см. «Ленивый интерпретатор»
Вычислитель с хвостовой рекурсией [tail-recursive evaluator] 477
Вычислитель с явным управлением для Scheme [explicit-control evaluator for Scheme] 469
Вычислитель с явным управлением для Scheme [explicit-control evaluator for Scheme], выражения без подвыражений, подлежащих вычислению 471
Вычислитель с явным управлением для Scheme [explicit-control evaluator for Scheme], вычисление операндов 473
Вычислитель с явным управлением для Scheme [explicit-control evaluator for Scheme], запуск 480
Вычислитель с явным управлением для Scheme [explicit-control evaluator for Scheme], использование стека 472
Вычислитель с явным управлением для Scheme [explicit-control evaluator for Scheme], как программа на машинном языке 486
Вычислитель с явным управлением для Scheme [explicit-control evaluator for Scheme], как универсальная машина 485
Вычислитель с явным управлением для Scheme [explicit-control evaluator for Scheme], комбинации 472
Вычислитель с явным управлением для Scheme [explicit-control evaluator for Scheme], контроллер 470
Вычислитель с явным управлением для Scheme [explicit-control evaluator for Scheme], модель машины 482
Вычислитель с явным управлением для Scheme [explicit-control evaluator for Scheme], модифицированный для скомпилированного кода 518
Вычислитель с явным управлением для Scheme [explicit-control evaluator for Scheme], нормальный порядок вычислений 480 (упр. 5.25)
Вычислитель с явным управлением для Scheme [explicit-control evaluator for Scheme], обработка ошибок 481 485
Вычислитель с явным управлением для Scheme [explicit-control evaluator for Scheme], операции 469
Вычислитель с явным управлением для Scheme [explicit-control evaluator for Scheme], определения 480
Вычислитель с явным управлением для Scheme [explicit-control evaluator for Scheme], оптимизация 492 (упр. 5.32)
Вычислитель с явным управлением для Scheme [explicit-control evaluator for Scheme], отслеживание производительности (использование стека) 483
Вычислитель с явным управлением для Scheme [explicit-control evaluator for Scheme], последовательности выражений 476
Вычислитель с явным управлением для Scheme [explicit-control evaluator for Scheme], применение процедур 472
Вычислитель с явным управлением для Scheme [explicit-control evaluator for Scheme], присваивания 479
Вычислитель с явным управлением для Scheme [explicit-control evaluator for Scheme], производные выражения 480 (упр. 5.23) 480
Вычислитель с явным управлением для Scheme [explicit-control evaluator for Scheme], пути данных 469
Вычислитель с явным управлением для Scheme [explicit-control evaluator for Scheme], регистры 470
Вычислитель с явным управлением для Scheme [explicit-control evaluator for Scheme], составная процедура 475
Вычислитель с явным управлением для Scheme [explicit-control evaluator for Scheme], управляющий цикл 481
Вычислитель с явным управлением для Scheme [explicit-control evaluator for Scheme], условные выражения 478
Вычислитель с явным управлением для Scheme [explicit-control evaluator for Scheme], хвостовая рекурсия 477 483 484
Вычислитель с явным управлением для Scheme [explicit-control evaluator for Scheme], элементарные процедуры 475
Вычислитель [evaluator] 308 (см. также «Интерпретатор»)
Вычислитель [evaluator] как универсальная машина 329
Вычислитель [evaluator] метациклический 310
Вычислительный процесс [computational process] 1 (см. также «Процесс»)
Гаттэг, Джон Фогель 77п
Генератор кода [code generator] 489
Генератор кода [code generator], аргументы 489
Генератор кода [code generator], возвращаемое значение 490
Генератор случайных чисел [random-number generator] 189п 194
Генератор случайных чисел [random-number generator] в моделировании методом Монте-Карло 195
Генератор случайных чисел [random-number generator] в тесте на простоту 43
Генератор случайных чисел [random-number generator] со сбрасыванием 197 (упр. 3.6)
Генератор случайных чисел [random-number generator] со сбрасыванием, потоковая версия 303 (упр. 3.81)
Гераклит 187
Герон Александрийский 19п
Гипотеза о замкнутости мира [closed world assumption] 397
Глобальное окружение [global environment] 7 204
| Глобальное окружение [global environment]в метациклическом интерпретаторе 326
Глобальное поведение процесса [global behavior of a process] 26
Глобальный кадр [global frame] 203
Глюк [glitch] 1
Гоген, Джозеф 77п
Гордон, Майкл 301п
Горнер, У.Дж. 101 (упр. 2.34)
Грамматика [grammar] 360
Графика [graphics] см. «Язык описания изображений»
Грей, Джим 270п
Грин, Корделл 375п
Грисс, Мартин Льюис 3п
Гэбриел, Ричард П. 336п
Дайнсман, Говард П. 357
Данные [data] 1 4 76
Данные [data] абстрактные 70 (см. также «Абстракция данных»)
Данные [data] иерархические 83 91
Данные [data] помеченные 150 459п
Данные [data] разделенные 221
Данные [data] символьные 122
Данные [data] со списковой структурой [list-structured] 72
Данные [data] составные 67
Данные [data] численные 4
Данные [data], абстрактные модели 77п
Данные [data], алгебраическая спецификация 77п
Данные [data], значение 76
Данные [data], изменяемые см. «Изменяемые объекты данных»
Данные [data], как программы 329
Данные [data], процедурное представление 77
Данные [data], «конкретное представление» 70
Дарлингтон, Джон 305п
Двоичные числа, сложение [binary numbers, addition of] см. «Сумматор»
де Клеер, Йохан 356п 397п
Дейкстра, Эдсгер Вибе 268п
Действия, в регистровой машине [actions, in register machine] 426
Дек [deque] 229 (упр. 3.23)
Декларативное vs. императивное знание [declarative vs. imperative knowledge] 18 374
Декларативное vs. императивное знание [declarative vs. imperative knowledge] и логическое программирование 375 395
Декларативное vs. императивное знание [declarative vs. imperative knowledge] и недетерминистское вычисление 353п
Декомпозиция программы [decomposition of program into parts] 22
Деление целых чисел [division of integers] 20п
Дерево [tree] 91
Дерево [tree] бинарное 133 (см. также «Бинарное дерево»)
Дерево [tree] ленивое 351п
Дерево [tree] представленное в виде пар 91
Дерево [tree] Хаффмана 139
Дерево [tree], В-дерево 136п
Дерево [tree], красно-черное дерево 136п
Дерево [tree], листва 94 (упр. 2.28)
Дерево [tree], обращение на всех уровнях 93 (упр. 2.27)
Дерево [tree], отображение 95
Дерево [tree], перечисление листьев 99
Дерево [tree], подсчет числа листьев 91
Дерево [tree], представление комбинации 8
Десятичная точка в числах [decimal point in numbers] 20п
Джаяраман, Сундаресан 246п
Диаграмма потока сигналов [signal-flow diagram] 97 295
Диалекты Лиспа [Lisp dialects], Common Lisp 3п
Диалекты Лиспа [Lisp dialects], Franz Lisp 3п
Диалекты Лиспа [Lisp dialects], InterLisp (Интерлисп) 3п
Диалекты Лиспа [Lisp dialects], MacLisp (МакЛисп) 3п
Диалекты Лиспа [Lisp dialects], MDL 465п
Диалекты Лиспа [Lisp dialects], Portable Standard Lisp (Переносимый Стандартный Лисп) 3п
Диалекты Лиспа [Lisp dialects], Scheme (Схема) 3
Диалекты Лиспа [Lisp dialects], Zetalisp (Зеталисп) 3п
Диофант, Арифметика; экземпляр Ферма 43п
Диспетчеризация [dispatching] по типу [on type] 154
Диспетчеризация [dispatching], сравнение различных стилей 160 (упр. 2.76)
Диспетчирование по типу см. также «Программирование управляемое
Дисциплина кадрированного стека [framed-stack discipline] 472п
Дифференциальное уравнение [differential equation] 297 (см. также «Solve»)
Дифференциальное уравнение [differential equation] второго порядка 299(упр. 3.78) 300
Дифференцирование [differentiation] символьное 125 158
Дифференцирование [differentiation] численное 62
Дифференцирование [differentiation], правила 125 129
Диффузия, имитация [imitation of diffusion] 260
Дойл, Джон 356п
Доказательство корректности программы [proving programs correct] 18п
Доказательство теорем (автоматическое) [automatic theorem proving] 375п
Древовидная рекурсия [tree recursion] 31
Древовидная рекурсия [tree recursion], порядок роста 36
Древовидно-рекурсивное вычисление чисел Фибоначчи [tree-recursive Fibonacci-number computation] 31
Дробь [fraction] см. рациональные числа
Евклид, Начала 41п
Евклида алгоритм [Euclid’s Algorithm] 41 420
Евклида алгоритм [Euclid’s Algorithm] для многочленов 182п
Евклида алгоритм [Euclid’s Algorithm], порядок роста 41
Единичный квадрат [unit square] 116
Естественный язык [natural language], кавычки 122
Естественный язык [natural language], синтаксический анализ см. «Синтаксический анализ естественного языка»
ехр, регистр 470
Живет-около (правило) 382 385
Заби, Рамин 356п
Заблокированный процесс [blocked process] 268п
Зависимость от реализации см. также «Неопределенные значения»
Зависимость от реализации, порядок вычисления подвыражений 205п
Зависимость от реализации, числа 20п
Загадки логические 357
Загадки, задача о восьми ферзях 106 (упр. 2.42) 360
Задача о восьми ферзях 106 (упр. 2.42) 360
Задержанные вычисления [delayed evaluation] 188 272
Задержанные вычисления [delayed evaluation] в ленивом интерпретаторе 340
Задержанные вычисления [delayed evaluation] и нормальный порядок вычислений 301
Задержанные вычисления [delayed evaluation] и печать 279 (упр. 3.51)
Задержанные вычисления [delayed evaluation] и потоки 297
Задержанные вычисления [delayed evaluation] и присваивание 279 (упр. 3.52)
Задержанные вычисления [delayed evaluation] явные и автоматические 351
Задержанный аргумент [delayed argument] 298
Задержанный объект [delayed object] 275
Задержка, в цифровой схеме [delay, in digital circuit] 236
Замкнутости мира гипотеза см. «Гипотеза о замкнутости мира»
Замыкание [closure] 69
Замыкание [closure] в абстрактной алгебре 83п
Замыкание [closure], отсутствие во многих языках 84п
Замыкание [closure], свойство замыкания cons 83
Замыкание [closure], свойство замыкания языка, описания картинок 108 109
Замыкания свойство [closure property] 83
Занятое ожидание [busy waiting] 268п
Запись, в базе данных [record, in a data base] 137
Запрос [query] 376 (см. также «Простой запрос»; «Составной запрос»)
Запрос [query], правило см. «Правило (в языке запросов)»
Запятая внутри обратной кавычки [comma, used with backquote] 493п
Зарезервированные слова [reserved words] 514 (упр. 5.38) 518
Захват мьютекса [acquiring a mutex] 267
Захват свободной переменной [free variable capture] 24
Защищенный паролем банковский счет [password-protected bank account] 193 (упр. 3.3)
Земля, измерение длины окружности [measuring circumference of Earth] 281п
Зиллес, Стивен Н. 77п
Зиппель, Ричард Э. 185п
Значение [value] выражения 6п (см. также «Неопределенные значения»)
Значение [value] переменной 7
Значение [value], комбинации 5
Золотое сечение [golden ratio] 33
Золотое сечение [golden ratio], как неподвижная точка 59 (упр. 1.35)
Золотое сечение [golden ratio], как цепная дробь 60 (упр. 1.37)
И-элемент [and-gate] 236
Иерархические структуры данных 83 91
Иерархия типов [hierarchy of types] 169
Иерархия типов [hierarchy of types] в символьной алгебре 180
Иерархия типов [hierarchy of types], неадекватность 170
Извлечение информации [information retrieval] см. «База данных»
Изменение и тождественность [change and sameness] и разделяемые данные 221
Изменение и тождественность [change and sameness], значение 199
Изменяемые объекты данных 217 (см. также «Очередь»; «Таблица»)
Изменяемые объекты данных, пары 217
Изменяемые объекты данных, процедурное представление 224
Изменяемые объекты данных, разделяемые данные 223
Изменяемые объекты данных, реализованные с помощью присваиваний 224
Изменяемые объекты данных, списковая структура 217
Изменяемые регистры [modified registers] см. «Последовательность команд»
|
|
|
| Реклама |
|
|
|
|
|
|
|
|
О проекте