|
|
Авторизация |
|
|
Поиск по указателям |
|
|
|
|
|
|
|
|
|
|
Абельсон Х., Сассман Д. — Структура и интерпретация компьютерных программ |
|
|
Предметный указатель |
Имитация цифровых схем [digital-circuit simulation] пример работы модели 268
Имитация цифровых схем [digital-circuit simulation] реализация плана действий 269
Имитация цифровых схем [digital-circuit simulation] элементарные функциональные элементы 263
Имитация [simulation] для отслеживания производительности регистровой машины 486
Имитация [simulation] как инструмент для проектирования машин 514
Имитация [simulation] регистровых машин see "имитатор"
Имитация [simulation] регистровых машин управляемая событиями [event-driven] 261
Имитация [simulation] цифровых схем see "имитация цифровых схем"
Императивное vs. декларативное знание [imperative vs. declarative knowledge] 40 404
Императивное vs. декларативное знание [imperative vs. declarative knowledge] и логическое программирование 405 425
Императивное vs. декларативное знание [imperative vs. declarative knowledge] и недетерминистское вычисление 382
Императивное программирование [imperative programming] 225
Императивный стиль vs. стиль, ориентированный на выражения [imperative vs. expression-oriented programming style] 281ra
Имя [name] see "локальная переменная" "локальное "переменная"
Имя [name] инкапсулированное 215
Имя [name] процедуры 32
Имя [name] формального параметра 45
Инвариант итеративного процесса [invariant quantity of an iterative process] 61
Инвертор [inverter] 261
Ингерман, Питер [Peter Ingerman] 372
Индекс [index] 490
Индексирование базы данных [database indexing] 418 439
Инкапсулированное имя [encapsulated name] 215
Инкапсуляция [encapsulation] 215
Интеграл [integral] see "определенный интеграл" "Монте-Карло интегрирование
Интеграл [integral] степенного ряда 313
Интегратор [integrator] 322
Интерпретатор amb [amb evaluator] see "недетерминисткий интерпретатор"
Интерпретатор языка запросов [query interpreter] 406
Интерпретатор языка запросов [query interpreter] vs. Интерпретатор для Лиспа 423 424 448
Интерпретатор языка запросов [query interpreter] база данных 439
Интерпретатор языка запросов [query interpreter] бесконечные циклы 426 429
Интерпретатор языка запросов [query interpreter] вычислитель запросов 424 431
Интерпретатор языка запросов [query interpreter] добавление утверждения или правила 424
Интерпретатор языка запросов [query interpreter] кадр 227
Интерпретатор языка запросов [query interpreter] кадры 445
Интерпретатор языка запросов [query interpreter] конкретизация 430
Интерпретатор языка запросов [query interpreter] обзор 417
Интерпретатор языка запросов [query interpreter] операции над потоками 442
Интерпретатор языка запросов [query interpreter] потоки кадров 418 424
Интерпретатор языка запросов [query interpreter] представление переменной образца 430
Интерпретатор языка запросов [query interpreter] преобразование переменной образца 444
Интерпретатор языка запросов [query interpreter] проблемы с not и lisp-value 427 448
Интерпретатор языка запросов [query interpreter] синтаксис языка запросов 443
Интерпретатор языка запросов [query interpreter] сопоставление с образцом 417 434
Интерпретатор языка запросов [query interpreter] структура окружений 449
Интерпретатор языка запросов [query interpreter] улучшения 429 448 448
Интерпретатор языка запросов [query interpreter] унификация 421 437
Интерпретатор языка запросов [query interpreter] управляющий цикл 424 429
Интерпретатор [interpreter] 23 336 see
Интерпретатор [interpreter] vs. Компилятор 517 554
Инфиксная нотация vs. префиксная нотация [infix notation vs. prefix notation] 154
Информатика [computer science] 336 359
Информатика [computer science] vs. Математика 40 404
Исполнительная процедура команды [instruction execution procedure] 475
Исполнительная процедура [execution procedure] 366
Исполнительная процедура [execution procedure] в анализирующем вычислителе 366
Исполнительная процедура [execution procedure] в имитаторе регистровых машин 475 480
Исполнительная процедура [execution procedure] в недетерминистском вычислителе 394 396
Истина [true] 36
Исходная программа [source program] 517
Исходный язык [source language] 517
Итеративные конструкции [iteration costructs] see "циклические конструкции"
Итеративный процесс [iterative process] 50
Итеративный процесс [iterative process] vs. Рекурсивный процесс 48 233 463 544
Итеративный процесс [iterative process] как потоковый процесс 314
Итеративный процесс [iterative process] линейный 51 58
Итеративный процесс [iterative process] построение алгоритмов 61
Итеративный процесс [iterative process] реализованный с помощью вызова процедуры 42 51 509 see
Итеративный процесс [iterative process] регистровая машина 463
Йохельсон, Джером К. [Jerome C. Yochelson] 495
Кавычка [quote] 146
Кавычки 146
Кавычки в естественном языке 146
Кавычки одинарная vs. Двойные 147
Кавычки с объектами данных Лиспа 147
Кавычки со строкой символов 147
Кадр (в интерпретаторе запросов) [frame] 418 see "унификация"
Кадр (в интерпретаторе запросов) [frame] представление 445
Кадр (в модели с окружениями) [frame] 227
Кадр (в модели с окружениями) [frame] глобальный 227
Кадр (в модели с окружениями) [frame] как хранилище внутреннего состояния 234
Кадрированного стека дисциплина see "дисциплина кадрированного стека"
Как барьер абстракции 98
Калдевай, Анне [Anne Kaldewaij] 62
Калифорнийский университет в Беркли [University of California at Berkeley] 24
Калькулятор; поиск неподвижных точек [fixed points with calculator] 81
Каноническая форма многочленов [canonical form for polynomials] 206
Кармайкла числа [Carmichael numbers] 66 69
Карр, Альфонс [Alphonse Karr] 211
Каскадный сумматор [ripple-carry adder] 265
Квадратный корень 40 see
Квадратный корень поток приближений 314
Квазикавычка [quasiquote] 524
Квантовая механика [quantum mechanics] 334
Кеплер, Иоганн [Johannes Kepler] 450
Кларк, Кит Л. [Keith L. Clark] 428
Клингер, Уильям [William Clinger] 348 372
Ключ записи [key of a record] в базе данных 162
Ключ записи [key of a record] в таблице 254
Ключ записи [key of a record] проверка на равенство 259
Кнут, Дональд Э. [Donald E. Knuth] 57 61 63 125 218 219 566
Ковальски, Роберт [Robert Kowalski] 405
Код [code] ASCII 163
Код [code] префиксный 164
Код [code] с переменной длиной [variable-length code] 163
Код [code] с фиксированной длиной [fixed-length code] 163
Код-разделитель [separator code] 164
Колмогоров, А.Н. 218
Кольбеккер, Юджин Эдмунд, мл. [Eugene Edmund Kohlbecker Jr.] 348
Кольмероэ, Aлен [Alain Colmerauer] 405
Кольцо [ring] Евклидово [Euclidean] 207
Команда [instruction] 450 454
Комбинация 26
Комбинация lambda-выражение как оператор 75
Комбинация в виде дерева 29
Комбинация вычисление 29
Комбинация как оператор комбинации 84
Комбинация с оператором-комбинацией 84
Комбинация составное выражение как оператор 39
Комментарии в программах [comments in programs] 129
Компилятор для Scheme 518 see "окружение "последовательность "тип "целевой
Компилятор для Scheme lambda-выражения 528
Компилятор для Scheme vs. Анализирующий интерпретатор 519 520
Компилятор для Scheme vs. Вычислитель с явным управлением 518
Компилятор для Scheme генераторы кода see "compile..."
Компилятор для Scheme запуск скомпилированного кода 551
Компилятор для Scheme использование машинных операций 518
Компилятор для Scheme использование регистров 518 518 535
Компилятор для Scheme использование стека 521 523 546
Компилятор для Scheme кавычки 525
Компилятор для Scheme комбинации 530
Компилятор для Scheme лексическая адресация 547
Компилятор для Scheme определения 525
Компилятор для Scheme отслеживание производительности (использования стека) скомпилированного кода 553 555 555
Компилятор для Scheme переменные 525
Компилятор для Scheme порождение меток 527
Компилятор для Scheme порядок вычисления операндов 546
Компилятор для Scheme последовательности выражений 528
Компилятор для Scheme применение процедур 530
Компилятор для Scheme пример скомпилированного кода 539
Компилятор для Scheme присваивания 525
Компилятор для Scheme процедуры разбора синтаксиса 520
Компилятор для Scheme самовычисляющиеся выражения 525
Компилятор для Scheme свойством хвостовой рекурсии 535
Компилятор для Scheme связующий код 524
Компилятор для Scheme связь с вычислителем 551
Компилятор для Scheme структура 520
Компилятор для Scheme уничтожение внутренних определений 549 550
Компилятор для Scheme условные выражения 526
| Компилятор для Scheme эффективность 518
Компилятор [compiler] 517
Компилятор [compiler] vs. Интерпретатор 517 554
Компилятор [compiler] хвостовая рекурсия, выделение памяти на стеке и сборка мусора 535
Компиляция 556 557
Компиляция [compilation] 517 see
Комплексные числа [complex numbers] декартово vs. Полярное представление 172
Комплексные числа [complex numbers] декартово представление 174
Комплексные числа [complex numbers] полярное представление 174
Комплексные числа [complex numbers] помеченные данные 175
Композиция функций [composition of functions] 88
Компьютер общего назначения, как универсальная машина [general-purpose computer as universal machine] 517
Конвейеризация [pipelining] 284
Конечная цепная дробь [finite continued fraction] 82
Конкретизация образца [instantiation of a pattern] 410
Конкретное представление данных [concrete data representation] 93
Конопасек, Милош [Milos Konopasek] 272
Конструктор [constructor] 93
Контроллер для регистровой машины [controller for register machine] 451
Контроллер для регистровой машины [controller for register machine] диаграмма 452
Контрольная точка [breakpoint] 488
Концевая вершина дерева [terminal node of a tree] 29
Корень n-й степени как неподвижная точка [nth root as fixed point] 88
Корень четвертой степени как неподвижная точка [fourth root as fixed point] 88
Кормен, Томас Г. [Thomas H. Cormen] 160
Корни уравнения [roots of equation] see "Ньютона метод" "половинного
Корректность программы [correctness of а program] 40
Косинус [cosine] неподвижная точка функции 81
Косинус [cosine] степенной ряд 312
Космическое излучение [cosmic radiation] 66
Красивая печать [pretty printing] 27
Красно-черные деревья [red-black trees] 160
Кредитные счета, международные [international credit-card accounts] 298
Кресси, Дэвид [David Cressey] 496
Криптография [cryptography] 67
Кубический корень [cubic root] как неподвижная точка 84
Лагранжа формула интерполяции [Lagrange interpolation formula] 200
Ламэ, Габриэль [Gabriel Lame] 63
Ландин, Питер [Peter Landin] 31 306
Лапальм, Ги [guy Lapalme] 366
Лапицкий, Виктор 335
Лейбниц, барон Готфрид Вильгельм фон [Baron Gottfried Wilhelm von Leibniz] доказательство малой теоремы Ферма 65
Лейбниц, барон Готфрид Вильгельм фон [Baron Gottfried Wilhelm von Leibniz] ряд для вычисления 70 315
Лейзерсон, Чарльз Э. [Charles E. Leiserson] 160
Лексическая адресация [lexical addressing] 354 547
Лексическая адресация [lexical addressing], лексический адрес 548
Лексическая сфера действия [lexical scoping] 47
Лексическая сфера действия [lexical scoping] и структура окружений 548
Лексический адрес [lexical address] 548
Лекция, что на ней делать [something to do during a lecture] 81
Ленивая пара [lazy pair] 379
Ленивое вычисление [lazy evaluation] 370
Ленивое дерево [lazy tree] 380
Ленивый интерпретатор 369
Ленивый список [lazy list] 379
Либерман, Генри [Henry Lieberman] 495
Линейно итеративный процесс [linear iterative process] 51
Линейно итеративный процесс [linear iterative process] порядок роста 58
Линейно рекурсивный процесс [linear recursive process] 50
Линейно рекурсивный процесс [linear recursive process] порядок роста 58
Линейный рост [linear growth] 50 58
Лисков, Барбара Хьюберман [Barbara Huberman Liskov] 100
Логарифм, аппроксимация ln2 [logarithm, approximating ln2] 318
Логарифмический рост [logarithmic growth] 58 60 158
Логические загадки [logic puzzles] 387
Логический вывод [logical deduction] 415 425
Логическое И [logical and] 261
Логическое ИЛИ [logical or] 261
Логическое программирование [logic programming] 337 404 see "язык
Логическое программирование [logic programming] vs. Математическая логика 425
Логическое программирование [logic programming] в Японии 406
Логическое программирование [logic programming] история 405 406
Логическое программирование [logic programming] компьютеры 406
Логическое программирование [logic programming] язык логического программирования 406
Ложь [false] 36
Локальная переменная [local variable] 76
Локальная эволюция процесса [local evolution of a process] 48
Локальное имя 45 76
Локк, Джон [John locke] 22
Лэмпорт, Лесли [Leslie Lamport] 298
Лэмпсон, Батлер [Butler Lampson] 225
Лямбда-исчисление (-исчисление) [ calculus] 75
Макаллестер, Дэвид Аллен [David Allen Mcallester] 385
Макдермот, Дрю [Drew Mcdermott] 385
Маккарти, Джон [John Mccarthy] 23 23 383
Макрос [macro] 348 see
Макросимволы ввода [reader macro characters] 444
Марсельский университет [University of Marseille] 405
Математика [mathematics] vs. Информатика 40 404
Математика [mathematics] vs. Техника 66
Математическая функция see "функция (математическая)"
Матрица, представленная как последовательность [matrix, represented as sequence] 126
Маус, Минни и Микки [Mickie and Minnie Mouse] 426
Машина Тьюринга [Turing machine] 359
Машинный язык [machine language] 517
Машинный язык [machine language] vs. Высокоуровневый язык 336
Мемоизация [memoization] 57 260 372
Мемоизация [memoization] и вызов по необходимости 312
Мемоизация [memoization] и сборка мусора 375
Мемоизация [memoization] санков 372
Мемоизация [memoization] через delay 305
Мера, в Евклидовом кольце [measure in а Euclidean ring] 207
Метациклический интерпретатор для Scheme 338
Метациклический интерпретатор для Scheme eval и apply 339
Метациклический интерпретатор для Scheme eval, управляемая данными 348
Метациклический интерпретатор для Scheme true и false 354
Метациклический интерпретатор для Scheme абстракция данных 339 350 353
Метациклический интерпретатор для Scheme анализирующая версия 365
Метациклический интерпретатор для Scheme глобальное окружение 354
Метациклический интерпретатор для Scheme действия над окружениями 351
Метациклический интерпретатор для Scheme задача 338
Метациклический интерпретатор для Scheme запуск 354
Метациклический интерпретатор для Scheme и символьное дифференцирование 343
Метациклический интерпретатор для Scheme комбинации (применение процедур) 348
Метациклический интерпретатор для Scheme модель вычислений с окружениями 338
Метациклический интерпретатор для Scheme наличие хвостовой рекурсии (неизвестно) 508
Метациклический интерпретатор для Scheme особые формы 348 349 349 349 349 350
Метациклический интерпретатор для Scheme особые формы как производные выражения 346
Метациклический интерпретатор для Scheme порядок вычисления операндов 343
Метациклический интерпретатор для Scheme представление выражений 339 343
Метациклический интерпретатор для Scheme представление истины и лжи 350
Метациклический интерпретатор для Scheme представление окружений 352
Метациклический интерпретатор для Scheme представление процедур 351
Метациклический интерпретатор для Scheme производные выражения 346
Метациклический интерпретатор для Scheme процедура высшего порядка 341
Метациклический интерпретатор для Scheme реализуемый язык vs. Язык реализации 342
Метациклический интерпретатор для Scheme управляющий цикл 356
Метациклический интерпретатор для Scheme цикл eval-apply 339
Метациклический интерпретатор для Scheme элементарные процедуры 354
Метациклический интерпретатор для Scheme эффективность 365
Метаязыковая абстракция [metalinguistic abstraction] 336
Метка типа [type tag] 171 175 491
Метка типа [type tag] двухуровневая 190
Метка [label] 454
Метод Ньютона 43
Мечтать не вредно [wishful thinking] 94 150
Микросхема для Scheme [Scheme chip] 500 501
Миллер, Гэри Л. [Gary L. Miller] 69
Миллер, Джеймс С. [James S. Miller] 535
Миллера — Рабина тест [Miller — Rabin test] 69
Милнер, Робин [Robin Milner] 329
Минский, Марвин [Marvin Minsky] 15 495
Мировая линия частицы [world line of а particle] 299 333
Многочлен(ы) [polynomial(s)] 199
Многочлен(ы) [polynomial(s)] база данных как множество 162
Многочлен(ы) [polynomial(s)] вычисление по схеме Горнера 125
Многочлен(ы) [polynomial(s)] иерархия типов 206
Многочлен(ы) [polynomial(s)] каноническая форма 206
Многочлен(ы) [polynomial(s)] множество [set] 154
Многочлен(ы) [polynomial(s)] операции 154
|
|
|
Реклама |
|
|
|