| 
		        
			        |  |  
			        |  |  
					| Авторизация |  
					|  |  
			        |  |  
			        | Поиск по указателям |  
			        | 
 |  
			        |  |  
			        |  |  
			        |  |  
                    |  |  
			        |  |  
			        |  |  |  | 
		|  |  
                    | Абельсон Х., Сассман Д. — Структура и интерпретация компьютерных программ |  
                    |  |  
			        |  |  
                    | Предметный указатель |  
                    | | Имитация цифровых схем [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
 
 | 
 |  |  |  | Реклама |  |  |  |  |  |