|
|
 |
| Авторизация |
|
|
|
| Поиск по указателям |
|
|
|
|
|
|
|
 |
|
|
|
| Абельсон Х., Сассман Д.Д., Сассман Д. — Структура и интерпретация компьютерных программ |
|
|
|
| Предметный указатель |
ИЛИ-элемент [or-gate] 236
Именование [naming] вычислительных объектов 6
Именование [naming] процедур 10
Именованный let (особая форма) [named let] 321 (упр. 4.8)
Имитатор регистровых машин [register-machine simulator] 441
Имитация цифровых схем [digital-circuit simulation] 235
Имитация цифровых схем [digital-circuit simulation], лан действий 242
Имитация цифровых схем [digital-circuit simulation], представление проводов 240
Имитация цифровых схем [digital-circuit simulation], пример работы модели 242
Имитация цифровых схем [digital-circuit simulation], реализация плана действий 244
Имитация цифровых схем [digital-circuit simulation], элементарные функциональные элементы 238
Имитация [simulation] для отслеживания производительности регистровой машины 455
Имитация [simulation] регистровых машин см. «имитатор регистровых машин
Имитация [simulation] управляемая событиями [event-driven] 236
Имитация [simulation] цифровых схем см. «Имитация цифровых схем»
Имитация [simulation], как инструмент для проектирования машин 483
Императивное vs. декларативное знание [imperative vs. declarative knowledge] 18 374
Императивное vs. декларативное знание [imperative vs. declarative knowledge] и логическое программирование 375 395
Императивное vs. декларативное знание [imperative vs. declarative knowledge] и недетерминистское вычисление 353п
Императивное программирование [imperative programming] 201
Императивный стиль vs. стиль, ориентированный на выражения [imperative vs. expression-oriented programming style] 255п
Имя [name] см. также «Локальная переменная»; «Локальное имя»; «Переменная»
Имя [name] инкапсулированное 191п
Имя [name] процедуры 10
Имя [name] формального параметра 23
Инвариант итеративного процесса [invariant quantity of an iterative process] 39 (упр. 1.16)
Инвертор [inverter] 236
Ингерман, Питер 343п
Индекс [index] 459
Индексирование базы данных [database indexing] 388п 409
Инкапсулированное имя [encapsulated name] 191п
Инкапсуляция [encapsulation] 191п
Интеграл [integral] см. также «Определенный интеграл»; «Монте-Карло интегрирование
Интеграл [integral]степенного ряда 285 (упр. 3.59)
Интегратор [integrator] 294
Интерпретатор amb [amb evaluator] см. «недетерминисткий интерпретатор»
Интерпретатор языка запросов [query interpreter] 377
Интерпретатор языка запросов [query interpreter], vs. интерпретатор для Лиспа 393 394 418
Интерпретатор языка запросов [query interpreter], база данных 409
Интерпретатор языка запросов [query interpreter], бесконечные циклы 396 399
Интерпретатор языка запросов [query interpreter], вычислитель запросов 394 401
Интерпретатор языка запросов [query interpreter], добавление утверждения или правила 394
Интерпретатор языка запросов [query interpreter], кадр 203
Интерпретатор языка запросов [query interpreter], кадры 415
Интерпретатор языка запросов [query interpreter], конкретизация 400
Интерпретатор языка запросов [query interpreter], обзор 387
Интерпретатор языка запросов [query interpreter], операции над потоками 411
Интерпретатор языка запросов [query interpreter], потоки кадров 388 394п
Интерпретатор языка запросов [query interpreter], представление переменной образца 400
Интерпретатор языка запросов [query interpreter], преобразование переменной образца 413
Интерпретатор языка запросов [query interpreter], проблемы с not и lisp-value 397 417
Интерпретатор языка запросов [query interpreter], синтаксис языка запросов 412
Интерпретатор языка запросов [query interpreter], сопоставление с образцом 387 403
Интерпретатор языка запросов [query interpreter], структура окружений 418 (упр. 4.79)
Интерпретатор языка запросов [query interpreter], улучшения 399 (упр. 4.67) 417 417
Интерпретатор языка запросов [query interpreter], унификация 391 407
Интерпретатор языка запросов [query interpreter], управляющий цикл 394 399
Интерпретатор [interpreter] 2 308
Интерпретатор [interpreter], vs. компилятор 486 521
Интерпретатор [interpreter], цикл чтение-вычисление-печать 6
Инфиксная нотация vs. префиксная нотация [infix notation vs. prefix notation] 129 (упр. 2.58)
Информатика [computer science] 308 330п
Информатика [computer science], vs. математика 18 374
Исполнительная процедура команды [instruction execution procedure] 444
Исполнительная процедура [execution procedure] 337
Исполнительная процедура [execution procedure], в анализирующем вычислителе 337
Исполнительная процедура [execution procedure], в имитаторе регистровых машин 444 449
Исполнительная процедура [execution procedure], в недетерминистском вычислителе 365 367
Истина [true] 15п
Исходная программа [source program] 486
Исходный язык [source language] 486
Итеративные конструкции [iteration costructs] см. «Циклические конструкции»
Итеративный процесс [iterative process] 29
Итеративный процесс [iterative process], vs. рекурсивный процесс 27 209 432 512
Итеративный процесс [iterative process], как потоковый процесс 287
Итеративный процесс [iterative process], линейный 29 36
Итеративный процесс [iterative process], построение алгоритмов 39 (упр. 1.16)
Итеративный процесс [iterative process], реализованный с помощью вызова процедуры 20 30 478
Итеративный процесс [iterative process], регистровая машина 432
Йохельсон, Джером К. 464п
Кавычка [quote] 122
Кавычки 122
Кавычки в естественном языке 122
Кавычки с объектами данных Лиспа 123
Кавычки со строкой символов 123п
Кавычки, одинарная, vs. двойные 123п
Кадр (в интерпретаторе запросов) [frame] 388 (см. также «Сопоставление с образцом»; «Унификация»)
Кадр (в интерпретаторе запросов) [frame], представление 415
Кадр (в модели с окружениями) [frame] 203
Кадр (в модели с окружениями) [frame] глобальный 203
Кадр (в модели с окружениями) [frame], как хранилище внутреннего состояния 210
Калдевай, Анне 40п
Калифорнийский университет в Беркли [University of California at Berkeley] 3п
Калькулятор; поиск неподвижных точек [fixed points with calculator] 58п
Каноническая форма многочленов [canonical form for polynomials] 181
Кармайкла числа [Carmichael numbers] 44п 47
Карр, Альфонс 187
Каскадный сумматор [ripple-carry adder] 240 (упр. 3.30)
Квадратный корень 19 (см. также «sqrt»)
Квадратный корень, поток приближений 287
Квазикавычка [quasiquote] 493п
Квантовая механика [quantum mechanics] 306п
Кеплер, Иоганн 419
Кларк, Кит Л. 397п
Клингер, Уильям 319п 343п
Ключ записи в таблице 230
Ключ записи проверка на равенство 234 (упр. 3.24)
Ключ записи [key of a record] в базе данных 137
Кнут, Дональд Э. 35п 39я 41п 101п 194п 195п 533
Ковальски, Роберт 375п
Код префиксный 139
Код с переменной длиной [variable-length code] 139
Код с фиксированной длиной [fixed-length code] 139
Код [code] ASCII 138
Код-разделитель [separator code] 139
Колмогоров, А.Н. 194п
Кольбеккер, Юджин Эдмунд 319п
Кольмероэ, Ален 375п
Кольцо [ring] Евклидово [Euclidean] 182п
Команда [instruction] 419 423
Комбинация 5
Комбинация в виде дерева 8
Комбинация с оператором-комбинацией 61п
Комбинация, lambda-выражение, как оператор 53
Комбинация, вычисление 8
Комбинация, как оператор комбинации 61п
Комбинация, составное выражение, как оператор 17 (упр. 1.4)
Комментарии в программах [comments in programs] 105п
Компилятор для Scheme 487 (см. также «Генератор кода»; «Окружение времени компиляции»; «Последовательность команд»; «Тип связи»; «Целевой регистр»)
Компилятор для Scheme, lambda-выражения 497
Компилятор для Scheme, vs. анализирующий интерпретатор 487 488
Компилятор для Scheme, vs. вычислитель с явным управлением 487
Компилятор для Scheme, генераторы кода см. «Compile…»
Компилятор для Scheme, запуск скомпилированного кода 518
Компилятор для Scheme, использование машинных операций 486п
Компилятор для Scheme, использование регистров 486п 487 503п
Компилятор для Scheme, использование стека 490 492 512
Компилятор для Scheme, кавычки 493
Компилятор для Scheme, комбинации 498
Компилятор для Scheme, лексическая адресация 515
Компилятор для Scheme, определения 494
Компилятор для Scheme, отслеживание производительности (использования стека) скомпилированного кода 521 522 523
Компилятор для Scheme, переменные 493
Компилятор для Scheme, порождение меток 495п
Компилятор для Scheme, порожденный код, обладающий свойством хвостовой рекурсии 503
Компилятор для Scheme, порядок вычисления операндов 512 (упр. 5.36)
Компилятор для Scheme, последовательности выражений 496
Компилятор для Scheme, применение процедур 498
Компилятор для Scheme, пример скомпилированного кода 507
Компилятор для Scheme, присваивания 494
| Компилятор для Scheme, процедуры разбора синтаксиса 488
Компилятор для Scheme, самовычисляющиеся выражения 493
Компилятор для Scheme, связующий код 493
Компилятор для Scheme, связь с вычислителем 518
Компилятор для Scheme, структура 488
Компилятор для Scheme, уничтожение внутренних определений 517п 518
Компилятор для Scheme, условные выражения 495
Компилятор для Scheme, эффективность 487
Компилятор [compiler] 485
Компилятор, vs. интерпретатор 486 521
Компилятор, хвостовая рекурсия, выделение памяти на стеке и сборка мусора 503п
Компиляция [compilation] 486; см. «Компилятор»
Комплексные числа [complex numbers], декартово vs. полярное представление 147
Комплексные числа, декартово представление 149
Комплексные числа, полярное представление 150
Комплексные числа, помеченные данные 150
Композиция функций [composition of functions] 65 (упр. 1.42)
Компьютер общего назначения, как универсальная машина [general-purpose computer as universal machine] 486
Конвейеризация [pipelining] 256п
Конечная цепная дробь [finite continued fraction] 60 (упр. 1.37)
Конкретизация образца [instantiation of a pattern] 380
Конкретное представление данных [concrete data representation] 70
Конопасек, Милош [Milos Konopasek] 246п
Конструктор [constructor] 70
Конструктор, как барьер абстракции 74
Контроллер для регистровой машины [controller for register machine] 420
Контроллер для регистровой машины, диаграмма 421
Контрольная точка [breakpoint] 457 (упр. 5.19)
Концевая вершина дерева [terminal node of a tree] 8
Корень n-й степени, как неподвижная точка [nth root as fixed point] 66 (упр. 1.45)
Корень четвертой степени, как неподвижная точка [fourth root as fixed point] 66 (упр. 1.45)
Кормен, Томас Г. 136п
Корни уравнения [roots of equation] см. «Ньютона метод»; «Половинного деления метод»
Корректность программы [correctness of a program] 18п
Косинус [cosine], неподвижная точка функции 58
Косинус [cosine], степенной ряд 285 (упр. 3.59)
Космическое излучение [cosmic radiation] 44п
Красивая печать [pretty printing] 6
Красно-черные деревья [red-black trees] 136п
Кредитные счета, международные [international credit-card accounts] 271п
Кресси, Дэвид 465п
Криптография [cryptography] 45п
Кубический корень [cubic root] как неподвижная точка 62
Кубический корень, метод Ньютона 21 (упр. 1.8)
Лагранжа формула интерполяции [Lagrange interpolation formula] 174п
Ламэ, Габриэль 41п
Ландин, Питер 10п 279п
Лапальм, Ги 337п
Лапицкий, Виктор 307
Лейзерсон, Чарльз Э. 136п
Лексическая адресация [lexical addressing] 325п 515
Лексическая адресация, лексический адрес 516
Лексическая сфера действия и структура окружений 516
Лексическая сфера действия [lexical scoping] 25
Лексический адрес [lexical address] 516
Лекция, что на ней делать [something to do during a lecture] 58п
Ленивая пара [lazy pair] 349
Ленивое вычисление [lazy evaluation] 341
Ленивое дерево [lazy tree] 351п
Ленивый интерпретатор 340
Ленивый список [lazy list] 349
Либерман, Генри 464п
Линейно итеративный процесс [linear iterative process] 29
Линейно итеративный процесс, порядок роста 36
Линейно рекурсивный процесс [linear recursive process] 29
Линейно рекурсивный процесс, порядок роста 36
Линейный рост [linear growth] 29 36
Лисков, Барбара Хьюберман 77п
Логарифм, аппроксимация ln 2 [logarithm, approximating ln 2] 290 (упр. 3.65)
Логарифмический рост [logarithmic growth] 37 38 134п
Логические загадки [logic puzzles] 357
Логический вывод [logical deduction] 385 394
Логическое И [logical and] 236
Логическое ИЛИ [logical or] 236
Логическое программирование в Японии 376п
Логическое программирование [logic programming] 309 374
Логическое программирование, vs. математическая логика 394
Логическое программирование, история 375п 376п
Логическое программирование, компьютеры 376п
Логическое программирование, язык логического программирования 376
Ложь [false] 15п
Локальная переменная [local variable] 53
Локальная эволюция процесса [local evolution of a process] 26
Локальное имя 23 53
Локк, Джон 1
Лэмпорт, Лесли 271п
Лэмпсон, Батлер 201п
Лямбда-исчисление ( -исчисление) [-calculus] 53п
Макаллестер, Дэвид Аллен 356п
Макдермот, Дрю 356п
Маккарти, Джон 2 2п 354п
Макрос [macro] 319п (см. также «Макросимволы ввода»)
Макросимволы ввода [reader macro characters] 413п
Марсельский университет [University of Marseille] 375п
Математика [mathematics], vs. информатика 18 374
Математика, vs. техника 44п
Математическая функция см. «Функция (математическая)»
Матрица, представленная как последовательность [matrix, represented as sequence] 102 (упр. 2.37)
Маус, Минни и Микки [Mickie and Minnie Mouse] 396
Машина Тьюринга [Turing machine] 330п
Машинный язык [machine language] 486
Машинный язык, vs. высокоуровневый язык 308
Мемоизация и вызов по необходимости 285п
Мемоизация и сборка мусора 346п
Мемоизация санков 343
Мемоизация через delay 278
Мемоизация [memoization] 35п 235 343
Мера в Евклидовом кольце [measure in a Euclidean ring] 182п
Метациклический интерпретатор для Scheme 310
Метациклический интерпретатор для Scheme eval и apply 311
Метациклический интерпретатор для Scheme eval, управляемая данными 320 (упр. 4.3)
Метациклический интерпретатор для Scheme и символьное дифференцирование 315
Метациклический интерпретатор для Scheme, true и false 326
Метациклический интерпретатор для Scheme, абстракция данных 311 322 325
Метациклический интерпретатор для Scheme, анализирующая версия 336
Метациклический интерпретатор для Scheme, глобальное окружение 326
Метациклический интерпретатор для Scheme, действия над окружениями 323
Метациклический интерпретатор для Scheme, задача 310п
Метациклический интерпретатор для Scheme, запуск 326
Метациклический интерпретатор для Scheme, комбинации (применение процедур) 319 (упр. 4.2)
Метациклический интерпретатор для Scheme, компиляция 524 (упр. 5.50) 524
Метациклический интерпретатор для Scheme, модель вычислений с окружениями 310
Метациклический интерпретатор для Scheme, наличие хвостовой рекурсии (неизвестно) 477
Метациклический интерпретатор для Scheme, особые формы 320 (упр. 4.4) 320 321 321 321 322
Метациклический интерпретатор для Scheme, особые формы как производные выражения 318
Метациклический интерпретатор для Scheme, порядок вычисления операндов 315 (упр. 4.1)
Метациклический интерпретатор для Scheme, представление выражений 311 315
Метациклический интерпретатор для Scheme, представление истины и лжи 322
Метациклический интерпретатор для Scheme, представление окружений 323
Метациклический интерпретатор для Scheme, представление процедур 322
Метациклический интерпретатор для Scheme, производные выражения 318
Метациклический интерпретатор для Scheme, процедура высшего порядка 313п
Метациклический интерпретатор для Scheme, реализуемый язык vs. язык реализации 314
Метациклический интерпретатор для Scheme, синтаксис интерпретируемого языка 315 320 322
Метациклический интерпретатор для Scheme, управляющий цикл 327
Метациклический интерпретатор для Scheme, цикл eval-apply 311
Метациклический интерпретатор для Scheme, элементарные процедуры 326
Метациклический интерпретатор для Scheme, эффективность 336
Метаязыковая абстракция [metalinguistic abstraction] 308
Метка типа [type tag] 146 151 459п
Метка типа [type tag], двухуровневая 165
Метка [label] 423
Мечтать не вредно [wishful thinking] 71 126
Микросхема для Scheme [Scheme chip] 469 470
Миллер, Гэри Л. 47 (упр. 1.28)
Миллер, Джеймс С. 503п
Миллера-Рабина тест 47 (упр. 1.28)
Милнер, Робин 301п
Минский, Марвин 464п
Мировая линия частицы [world line of a particle] 272п 305п
|
|
|
| Реклама |
|
|
|
|
|
|
|
|
О проекте