авторефераты диссертаций БЕСПЛАТНАЯ БИБЛИОТЕКА РОССИИ

КОНФЕРЕНЦИИ, КНИГИ, ПОСОБИЯ, НАУЧНЫЕ ИЗДАНИЯ

<< ГЛАВНАЯ
АГРОИНЖЕНЕРИЯ
АСТРОНОМИЯ
БЕЗОПАСНОСТЬ
БИОЛОГИЯ
ЗЕМЛЯ
ИНФОРМАТИКА
ИСКУССТВОВЕДЕНИЕ
ИСТОРИЯ
КУЛЬТУРОЛОГИЯ
МАШИНОСТРОЕНИЕ
МЕДИЦИНА
МЕТАЛЛУРГИЯ
МЕХАНИКА
ПЕДАГОГИКА
ПОЛИТИКА
ПРИБОРОСТРОЕНИЕ
ПРОДОВОЛЬСТВИЕ
ПСИХОЛОГИЯ
РАДИОТЕХНИКА
СЕЛЬСКОЕ ХОЗЯЙСТВО
СОЦИОЛОГИЯ
СТРОИТЕЛЬСТВО
ТЕХНИЧЕСКИЕ НАУКИ
ТРАНСПОРТ
ФАРМАЦЕВТИКА
ФИЗИКА
ФИЗИОЛОГИЯ
ФИЛОЛОГИЯ
ФИЛОСОФИЯ
ХИМИЯ
ЭКОНОМИКА
ЭЛЕКТРОТЕХНИКА
ЭНЕРГЕТИКА
ЮРИСПРУДЕНЦИЯ
ЯЗЫКОЗНАНИЕ
РАЗНОЕ
КОНТАКТЫ


Pages:     | 1 |   ...   | 16 | 17 ||

«Harold Abelson Gerald Jay Sussman and Julie Sussman ...»

-- [ Страница 18 ] --

половинного деления ленивый интерпретатор метод ленивый список [lazy list] корректность программы [correctness of a Либерман, Генри [Henry Lieberman] 495п program] 40п линейно итеративный процесс [linear косинус [cosine] iterative process] неподвижная точка функции 81 порядок роста степенной ряд 312 (упр. 3.59) линейно рекурсивный процесс [linear космическое излучение [cosmic radiation] recursive process] 66п порядок роста красивая печать [pretty printing] 27 линейный рост [linear growth] 50, красно-черные деревья [red-black trees] Лисков, Барбара Хьюберман [Barbara 160п Huberman Liskov] 100п кредитные счета, международные логарифм, аппроксимация ln 2 [logarithm, [international credit-card accounts] approximating ln 2] 318 (упр. 3.65) 298п логарифмический рост [logarithmic Кресси, Дэвид [David Cressey] 496п growth] 58, 60, 158п криптография [cryptography] 67п логические загадки [logic puzzles] кубический корень [cubic root] логический вывод [logical deduction] 415, как неподвижная точка 84 метод Ньютона 43 (упр. 1.8) логическое И [logical and] логическое ИЛИ [logical or] Лагранжа формула интерполяции логическое программирование [logic [Lagrange interpolation formula] 200п programming] 337, 404, см. также Ламэ, Габриэль [Gabriel Lam ] 63п e интерпретатор запросов;

язык Ландин, Питер [Peter Landin] 31п, 306п запросов Предметный указатель vs. математическая логика 425 через delay в Японии 406п мера, в Евклидовом кольце [measure in a Euclidean ring] 207п история 405п, 406п компьютеры 406п метациклический интерпретатор для Scheme язык логического программирования eval и apply ложь [false] 36п локальная переменная [local variable] 76 eval, управляемая данными (упр. 4.3) локальная эволюция процесса [local evolution of a process] 48 true и false локальное имя 45, 76 абстракция данных 339, 350 (упр. 4.10), Локк, Джон [John Locke] 22 Лэмпорт, Лесли [Leslie Lamport] 298п анализирующая версия Лэмпсон, Батлер [Butler Lampson] 225п глобальное окружение лямбда-исчисление (-исчисление) [ действия над окружениями calculus] 75п задача 338п запуск и символьное дифференцирование Макаллестер, Дэвид Аллен [David Allen комбинации (применение процедур) McAllester] 385п (упр. 4.2) Макдермот, Дрю [Drew McDermott] 385п компиляция 556 (упр. 5.50), Маккарти, Джон [John McCarthy] 23, (упр. 5.52) 23п, 383п модель вычислений с окружениями макрос [macro] 348п, см. также наличие хвостовой рекурсии макросимволы ввода (неизвестно) макросимволы ввода [reader macro особые формы 348 (упр. 4.4), characters] 444п (упр. 4.5), 349 (упр. 4.6), Марсельский университет [University of (упр. 4.7), 349 (упр. 4.8), Marseille] 405п (упр. 4.9) математика [mathematics] особые формы как производные vs. информатика 40, выражения vs. техника 66п порядок вычисления операндов математическая функция см. функция (упр. 4.1) (математическая) представление выражений 339, матрица, представленная как представление истины и лжи последовательность [matrix, представление окружений represented as sequence] представление процедур (упр. 2.37) производные выражения Маус, Минни и Микки [Mickie and процедура высшего порядка 341п Minnie Mouse] реализуемый язык vs.

язык реализации машина Тьюринга [Turing machine] 359п машинный язык [machine language] синтаксис интерпретируемого языка 343, vs. высокоуровневый язык 348 (упр. 4.2), 350 (упр. 4.10) мемоизация [memoization] 57п, (упр. 3.27), 372 управляющий цикл и вызов по необходимости 312п цикл eval–apply и сборка мусора 375п элементарные процедуры санков 372 эффективность Предметный указатель метаязыковая абстракция [metalinguistic как стратегия разработки abstraction] 336 моделирование методом Монте-Карло метка [label] 454 [Monte Carlo simulation] формулировка в терминах потоков метка типа [type tag] 171, 175, 491п модель вычисления с окружениями двухуровневая [environment model of evaluation] 212, мечтать не вредно [wishful thinking] 94, внутреннее состояние микросхема для Scheme [Scheme chip] внутренние определения 500, и метациклический интерпретатор «Микрошафт» (Microshaft) и хвостовая рекурсия 234п Миллер, Гэри Л. [Gary L. Miller] передача сообщений 240 (упр. 3.11) (упр. 1.28) правила вычисления Миллер, Джеймс С. [James S. Miller] 535п пример применения процедуры Миллера-Рабина тест [Miller-Rabin test] структура окружений 69 (упр. 1.28) модуль [absolute value] Милнер, Робин [Robin Milner] 329п модульность 124, Минский, Марвин [Marvin Minsky] 15, границы модулей, проведенные по 495п границам объектов 334п мировая линия частицы [world line of a и потоки particle] 299п, 333п принцип сокрытия 215п многочлен(ы) [polynomial(s)] функциональных программ vs. объектов вычисление по схеме Горнера (упр. 2.34) через бесконечные потоки иерархия типов через диспетчеризацию по типу каноническая форма через моделирование объектов от одной переменной момент времени [moment in time] плотный [dense] Монте-Карло, интегрирование методом разреженный [sparse] [Monte Carlo integration] множество [set] (упр. 3.5) база данных как множество формулировка в терминах потоков операции (упр. 3.82) перестановки Морзе азбука см. азбука Морзе подмножество 120 (упр. 2.32) Моррис, Дж. Г. [J. H. Morris] 225п представленное в виде бинарного дерева Мун, Дэвид А. [David A. Moon] 24п, 495п Мунро, Иан [Ian Munro] 126п представленное в виде неупорядоченного мусор [garbage] списка мутатор [mutator] представленное в виде упорядоченного мьютекс [mutex] списка множитель целости [integerizing factor] 209 наименьших обязательств принцип мобиль [mobile] 118 (упр. 2.29) [principle of least commitment] модели вычисления [models of evaluation] надтип [supertype] 512 несколько надтипов моделирование [modeling] наибольший общий делитель [greatest в науке и технике 34 common divisor] 62, см. также gcd Предметный указатель для многочленов 207 вычисление с помощью калькулятора 81п используемый в арифметике рациональных чисел 97 золотое сечение 82 (упр. 1.35) и унификация 438п используемый для оценки как пошаговое улучшение 89 (упр. 1.46) обобщенный 208 (упр. 2.94) квадратный корень 81, 84, накопитель [accumulator] 121, корень n-ной степени 88 (упр. 1.45) (упр. 3.1) корень четвертой степени 88 (упр. 1.45) накопление [accumulation] 74 (упр. 1.32) кубический корень по дереву трансформации некоторой функции невычислимость [noncomputability] 360п функции косинус недетерминизм в поведении параллельных несвязанная переменная [unbound variable] программ 287п, 334п недетерминистские вычисления нестрогая процедура [non-strict procedure] [nondeterministic computing] недетерминистские программы неудача, в недетерминистских [nondeterministic programs] вычислениях логические загадки vs. ошибка пары чисел с простой суммой и поиск Пифагоровы тройки 386 (упр. 4.35), неудача, в недетерминистском вычислении (упр. 4.36), 386 (упр. 4.37) [failure in nondeterministic синтаксический анализ естественного computation] языка НОД см. наибольший общий делитель недетерминистский интерпретатор номер кадра [frame number] [nondeterministic evaluator] нормальный порядок вычислений порядок вычисления операндов [normal-order evaluation] 35, (упр. 4.46) if 39 (упр. 1.5) недетерминистское вычисление vs. аппликативный порядок [nondeterministic computing] (упр. 1.5), 64 (упр. 1.20), недетерминистское программирование vs.

в вычислителе с явным управлением программирование на Scheme (упр. 5.25) [nondeterministic programming vs.

и задержанные вычисления Scheme programming] 381, нотация в настоящей книге [notation in (упр. 4.41), 389 (упр. 4.44), this book] (упр. 4.78) наклонный шрифт для ответов неопределенные значения [unspecied интерпретатора 26п values] нотация в настоящей книге define 28п курсив в синтаксисе выражений 32п display 96п нужные регистры [needed registers] if без альтернативы 271п Ньютона метод [Newton’s method] newline 96п vs. метод половинного деления 85п set! 214п для дифференцируемых функций set-car! 242п для квадратных корней 40, set-cdr! 242п для кубических корней 43 (упр. 1.8) неподвижная точка [xed point, of a function] в методе Ньютона 84 область действия переменной [scope of a Предметный указатель variable] 45, см. также лексическая (упр. 4.79) сфера действия времени компиляции см. окружение в let 77 времени компиляции внутренняя define 360 глобальное [global] 227, см. глобальное окружение формальные параметры процедуры и лексическая сфера действия обмассив [obarray] и переименование 448 (упр. 4.79) обобщенные арифметические операции [generic arithmetic operations] 187 как контекст для вычисления структура системы 187 объемлющее [enclosing] обобщенные операции [generic operations] окружение времени компиляции 93 [compile-time environment] 549, (упр. 5.40), 549 (упр. 5.41) обобщенные процедуры [generic procedures] 167, 171 и явное кодирование 550 (упр. 5.44) обобщенный селектор 177, 179 операнды комбинации [operands of a combination] обработка ошибок [error handling] оператор комбинации в вычислителе с явным управлением 512, 516 (упр. 5.30) в виде lambda-выражения в скомпилированном коде 554п в виде составного выражения (упр. 1.4) обработка потоков [stream processing] 35п как комбинация 84п обработка сигналов [signal processing] оператор присваивания [assignment переход сигнала через ноль operator] 212, см. также set!

(упр. 3.74), 323 (упр. 3.75), (упр. 3.76) операция [operation] потоковая модель 321 в регистровой машине сглаживание сигнала 323 (упр. 3.75), обобщенные 324 (упр. 3.76) со смешанными типами сглаживание функции 88 (упр. 1.44) определение процедуры [procedure образец [pattern] 409 denition] обратная кавычка [backquote] 524п определения см. define;

внутренние определения объект(ы) [object(s)] определенный интеграл [denite integral] преимущества введения в моделирование 218 приближенное вычисление методом с состоянием, меняющимся во времени 213 Монте-Карло 221 (упр. 3.5), (упр. 3.82) объектная программа [object program] оптимальность [optimality] объектно-ориентированные языки программирования [object-oriented кода Хаффмана programming languages] 195п схемы Горнера 125п обычные числа [ordinary numbers] освобождение мьютекса в обобщенной арифметической системе особая форма [special form] 187 vs. процедура 371 (упр. 4.26), ограничения [constraints] как производное выражение в распространение 271 интерпретаторе элементарные 272 необходимость 42 (упр. 1.6) окружение [environment] 28, 227 особые формы в интерпретаторе запросов 449 and Предметный указатель begin 214 реализация в виде процедуры (упр.

3.22) cond хвост [rear] cons-stream (нс) ошибка [bug] define 28, захват свободной переменной delay (нс) побочного эффекта 225п if порядок присваиваний lambda ошибка округления [roundo error] 25п let ошибки округления 172п let* 349 (упр. 4.7) letrec 363 (упр. 4.20) or 37 пакет [package] quote 147п Scheme-number set! 214 декартово представление именованный let 349 (упр. 4.8) комплексные числа остановки проблема [halting problem] 360 многочлены (упр. 4.15) полярное представление остаток по модулю [remainder modulo n] рациональные числа 65 память [memory] Островский, А. М. 125п в 1964 г. 384п отладка [debugging] 23 со списковой структурой [list-structured] отложенная операция [deferred operation] 50 Пан, В. Я. 126п относительности теория [theory of пара (пары) [pair(s)] relativity] 298 аксиоматическое определение отношения, вычисления в терминах бесконечные потоки отношений 272, 405 изменяемые отображение [map] 121 использование для представления дерева вложенное 128, 318 деревьев 119 использование для представления как преобразователь 121 последовательности списков 112 ленивые отображение координат рамки [frame представленные с помощью векторов coordinate map] 140 процедурное представление 100, 249, отрезок [line segment] представление в виде пары векторов 142 стрелочная нотация (упр. 2.48) параллелизм 281, представление в виде пары точек 99 и функциональное программирование (упр. 2.2) отслеживаемая процедура [monitored механизмы для управления procedure] 217 (упр. 3.2) правильность параллельных программ очередь [queue] 250 в плане действий 269 тупик голова [front] 250 параметр [parameter] см. формальные двусторонняя 254 (упр. 3.23) параметры операции 250 Паскаль, Блез [Blaise Pascal] 57п Предметный указатель передача сообщений [message passing] (упр. 3.82) 101, 184, 185, 216 ряд Лейбница 70п, в банковском счете 216 формула Уоллиса 73 (упр. 1.31) a в имитаторе цифровых схем 265 Пингала, Ачарья [Ach rya Pingala] 61п и модель с окружениями 240 (упр. 3.11) Питман, Кент [Kent Pitman] 24п и хвостовая рекурсия 51п Пифагоровы тройки [Pythagorean triples] переменная [variable] 28, см. также в недетерминистских программах локальная переменная (упр. 4.35), 386 (упр. 4.36), (упр. 4.37) значение [value] 28, несвязанная [unbound] 227 в потоках 320 (упр. 3.69) область действия 45, см. также область план действий [agenda] 267, см. также имитация цифровых схем действия переменной плотный многочлен [dense polynomial] свободная поддержание истины [truth maintenance] связанная 385п переменная образца [pattern variable] подкоренное число [radicand] представление 430, подпрограмма, в регистровой машине переменная состояния [state variable] 51, [subroutine] подсказка [prompt] внутренняя вычислитель с явным управлением перенаправляющий адрес [forwarding интерпретатор запросов address] ленивый интерпретатор перенос языка (на новый компьютер) метациклический интерпретатор [porting a language] недетерминистский вычислитель перестановки множества [permutations of a set] 129 подсказка вывода [output prompt] подстановка [substitution] 34п переход сигнала через ноль (упр. 3.74), 323 (упр. 3.75), 324 подстановочная модель применения процедуры 33, 34, (упр. 3.76) перечислитель [enumerator] 121 неадекватность Перлис, Алан Дж. [Alan J. Perlis] 13, 107п форма процесса афоризмы 27п, 31п подсчет команд [instruction counting] (упр. 5.15) печать входных выражений [typing input подтип [subtype] expressions] 27п печать, элементарные процедуры несколько подтипов [primitives for printing] 96п подчиняется (правило) 414, (упр. 4.64) пи () поиск [search] аппроксимация через интегрирование в глубину [depth-rst] методом Монте-Карло 221 (упр. 3.5) оценка Чезаро 219, 330 по бинарным деревьям поток приближений 315 систематический [systematic] поиск с возвратом [backtracking] приближенное вычисление методом половинного деления 80, 331 управляемый зависимостями [dependency-directed] 385п (упр. 3.82) приближенное вычисление через хронологический [chronological] интегрирование методом показатель конца списка [end-of-list Монте-Карло 221 (упр. 3.5), 331 marker] Предметный указатель поле типа [type eld] 491п последовательность выражений [sequence of expressions] полноправные элементы вычисления [rst-class elements of computation] в следствии cond 37п 87, см. также элементы вычисления в теле процедуры 32п первого класса последовательность команд [instruction половинного деления метод [half-interval sequence] 521, method] 78 поток(и) [stream(s)] 211, 298, half-interval-method 80 бесконечные см. бесконечные потоки vs. метод Ньютона 86п и задержанное вычисление полусумматор [half-adder] 261 используемые в интерпретаторе языка half-adder 262 запросов 418, 424п имитация 268 неявное определение пометка с очисткой [mark-sweep] 495п пустые помеченные данные [tagged data] 175, реализованные в виде задержанных 490п списков порождение предложений [generating реализованные в виде ленивых списков sentences] 393 (упр. 4.49) порядок вычисления [order of evaluation] пошаговое написание [incremental в Scheme 227 (упр. 3.8) development] в вычислителе с явным управлением 505 пошаговое улучшение [iterative в компиляторе 546 (упр. 5.36) improvement] 89 (упр. 1.46) в метациклическом интерпретаторе 343 правило (в языке запросов) [rule] 407, (упр. 4.1) без тела 413п, зависимость от реализации 229п применение 422, 434, 436, и присваивания 227 (упр. 3.8) (упр. 4.79) порядок вычисления подвыражений [order предикат of subexpression evaluation] см. if порядок вычисления предикат [predicate] порядок роста [order of growth] 58 ветви cond древовидно-рекурсивный процесс 58 соглашение об именах 41п линейно итеративный процесс 58 предложения [statements] 523, см.

линейно рекурсивный процесс 58 последовательность команд логарифмический 60 представление множеств в виде способ записи 58 неупорядоченных списков порядок событий [order of events] [unordered-list representation of sets] неопределенность в параллельных системах 284 представление множеств в виде отделение от внешней структуры упорядоченных списков [ordered-list процедур 304 representation of sets] последовательное возведение в квадрат префикс [prex] [successive squaring] 60 префиксная нотация [prex notation] последовательности [sequences] 73п, 107 vs.

инфиксная нотация 154 (упр. 2.58) как источник модульности 124 префиксный код [prex code] как стандартные интерфейсы 120 приведение к наименьшему знаменателю операции 122 [reducing to lowest terms] 97, 98, представленные в виде пар 107 приведение типов [coercion] Предметный указатель в алгебраических манипуляциях 206 394, 396, см. также продолжение неудачи, продолжение успеха в арифметике многочленов продолжение неудачи [failure continuation] процедура 394, таблица amb применение процедур [procedure присваивания application] управляющий цикл модель вычисления с окружениями продолжение успеха [success continuation] обозначение комбинаций 394, подстановочная модель см.

прозрачность референциальная подстановочная модель применения процедуры производная функции производные выражения в интерпретаторе присваивание [assignment] 212, [derived expressions] см. также set!

вызванные ошибки 225п, 226 производные выражения в интерпретаторе преимущества 218 в вычислителе с явным управлением (упр. 5.23) расплата за простой запрос провод, в цифровой схеме [wire] обработка 418, 423, программа [program] простые числа как абстрактная машина бесконечный поток см. primes как данные и криптография 67п комментарии 129п проверка на простоту пошаговое написание решето Эратосфена структура 28, 44, 46, см. также тест Миллера-Рабина 69 (упр. 1.28) барьеры абстракции тест Ферма структурирование с помощью процедура [procedure] 24, подпрограмм 359п vs. математическая функция программирование [programming] vs. особая форма 371 (упр. 4.26), императивное безымянная управляемое данными см.

в качестве аргумента программирование, управляемое данными возврат нескольких значений 478п управляемое потребностями 304 высшего порядка см. процедура высшего порядка функциональное см. функциональное программирование именование (с помощью define) чрезвычайно плохой стиль 306п имя как возвращаемое значение элементы программирование, управляемое данными как данные [data-directed programming] 93, 171, как обобщенный метод 179, 180 как черный ящик vs. разбор случаев 341 как шаблон локальной эволюции в интерпретаторе запросов 431 процесса в метациклическом интерпретаторе 348 мемоизированная 260 (упр. 3.27) (упр. 4.3) нестрогая [non-strict] продолжение [continuation] неявный begin в теле 214п в имитаторе регистровых машин 478п область действия формальных в недетерминистском интерпретаторе параметров Предметный указатель обобщенная 167, 171 псевдослучайная последовательность чисел [pseudo-random sequence] 218п определение пустой поток [empty stream] отслеживаемая 217 (упр. 3.2) пустой список [empty list] полноправный статус в Лиспе обозначенный ’() 109п произвольное количество аргументов 26, распознавание с помощью null? 112 (упр. 2.20) пути данных регистровой машины [data создание с помощью define paths for register machine] создание с помощью lambda 229, диаграмма путей данных создание с помощью lambda составная [compound] Рабин, Майкл О. [Michael O. Rabin] тело (упр. 1.28) формальные параметры равенство [equality] процедура высшего порядка [higher-order в обобщенной арифметической системе procedure] 191 (упр. 2.79) в метациклическом интерпретаторе 341п и референциальная прозрачность и сильная типизация 328п символов 148п процедура как возвращаемое значение списков 149 (упр. 2.54) чисел 36, 149п, 491п процедура как обобщенный метод равенство по модулю n [congruency процедура в качестве аргумента modulo n] процедурная абстракция [procedural радиус интервала [width, of an interval] abstraction] 104 (упр. 2.9) процедурное представление данных разбитое сердце [broken heart] [procedural representation of data] разбор случаев [case analysis] изменяемые данные vs. стиль, управляемый данными процесс [process] обший см. также cond древовидно-рекурсивный с двумя случаями итеративный 50 разделение времени [time slicing] линейно итеративный 51 разделяемое состояние [shared state] линейно рекурсивный 50 разделяемые данные локальная эволюция 48 разделяемые ресурсы [shared resources] необходимые ресурсы 58 порядок роста 58 размен денег [counting change] 55, рекурсивный 50 (упр. 2.19) форма 50 разреженный многочлен [sparse прочесывание внутренних определений polynomial] [scanning out internal denitions] 361 Райт, Джесси Б. [Jesse B. Wright] 100п в компиляторе 549п, 550 (упр. 5.43) Райт, Э. М. [E. M. Wright] 311п прямоугольники, их представление рак точки с запятой [cancer of the [representing rectangles] 99 (упр. 2.3) semicolon] 31п псевдоделение многочленов Рамануджан, Шриниваса [Srinivasa [pseudodivision] 209 Ramanujan] 321п псевдоним [aliasing] 225п Рамануджана числа [Ramanujan numbers] 321 (упр. 3.71) псевдоостаток многочленов [pseudoremainder] 209 рамка [frame] 133, Предметный указатель отображение координат 140 построение без define 364 (упр. 4.21) Ранкл, Джон Дэниел [John Daniel Runkle] рекурсивный процесс [recursive process] 133п распространение ограничений [propagation vs. итеративный процесс 48, of constraints] 271 (упр. 3.9), 463, 544 (упр. 5.34) Рафаэль, Бертрам [Bertram Raphael] 405п vs. рекурсивная процедура рациональная арифметика [rational-number древовидный 53, arithmetic] 93 линейный 50, взаимодействие с обобщенной регистровая машина арифметической системой 188 рекурсии теория [recursion theory] 359п необходимость составных данных 91 рекурсия [recursion] 29, рациональная функция [rational function] в правилах 207 выражение сложного процесса приведение к наименьшему знаменателю для работы с деревьями 209 управляемая данными рациональные числа [rational numbers] референциальная прозрачность арифметические операции 93 решение уравнений [solving equations] см.

в MIT Scheme 42п Ньютона метод;

половинного деления печать 96 метод;

solve представление в виде пар 96 решето Эратосфена [sieve of Eratosthenes] приведение к наименьшему знаменателю 97, 98 sieve регистр [register] 450 Ривест, Рональд Л. [Ronald L. Rivest] 67п, 160п представление Рис, Джонатан А. [Jonathan A. Rees] регистровая машина [register machine] 348п, 366п действия рисовалка [painter] диаграмма контроллера операции диаграмма путей данных операции высших порядков контроллер представление в виде процедуры отслеживание производительности преобразование и комбинирование подпрограмма Робинсон, Дж. А. [J. A. Robinson] 405п программа моделирования Роджерс, Уильям Бартон [William Barton проектирование Rogers] 133п пути данных рок-песни 1950-х гг [1950s rock songs] стек (упр. 2.70) тест Росас, Гильермо Хуан [Guillermo Juan трассировка 488 (упр. 5.18) Rozas] 535п язык для описания русского крестьянина метод умножения резолюции принцип [resolution principle] [Russian peasant method of 405п multiplication] 61п Хорновские формы 405п Рэймонд, Эрик [Eric Raymond] 370п, 384п Рейтер, Андреас [Andreas Reuter] 297п рекурсивная процедура [recursive procedure] сconsить [cons up] vs. рекурсивный процесс 51 Савин, А.Н. определение рекурсивной процедуры 43 Сазерленд, Айвен [Ivan Sutherland] 272п Предметный указатель самовычисляющееся выражение селектор [selector] [self-evaluating expression] 340 как барьер абстракции самосознание, повышение уровня обобщенный 177, [expansion of consciousness] 342п семафор [semaphore] 294п санк [thunk] 372 размера n 296 (упр. 3.47) вызова по имени [call-by-name] 306п сериализатор [serializer] 288, вызова по необходимости [call-by-need] реализация 306п с множественными разделяемыми вынуждение 372 ресурсами происхождение названия 372п сеть ограничений [constraint network] реализация 375 сжимающий сборщик мусора [compacting Сассман, Джеральд Джей [Gerald Jay garbage collector] 496п Sussman] 24п, 272п, 385п сигма-запись ( ) Сассман, Джули Эстер Мазель, сильно типизированный язык [strongly племянницы [nieces of Julie Esther typed language] 328п Mazel Sussman] 146 символ в коде ASCII [character in ASCII сбалансированное бинарное дерево encoding] [balanced binary tree] 160, см. также символ(ы) [symbol(s)] бинарное дерево восприятие сбалансированный мобиль [balanced кавычки mobile] 118 (упр. 2.29) представление сборка мусора [garbage collection] 375п, равенство 489, 494, 495 уникальность 247п и изменения данных 242п символьная алгебра [symbolic algebra] и мемоизация 375п символьное выражение [symbolic и хвостовая рекурсия 535п expression] 92, см. также символ(ы) сжимающая [compacting] 496п символьное дифференцирование [symbolic через остановку с копированием dierentiation] 149, 183 (упр. 2.73) [stop-and-copy] 495 Симпсона правило для численного через пометку с очисткой [mark-sweep] интегрирования [Simpson’s Rule for 495п numerical integration] 73 (упр. 1.29) сборщик мусора [garbage collector] 242п синтаксис [syntax] 339, см. также особые остановка с копированием 495 формы сжимающий 496п абстрактный см. абстрактный синтаксис через пометку с очисткой 495п выражений, описание 32п свободная переменная [free variable] 45 языка программирования захват 46 синтаксический анализ естественного лексическая сфера действия 47 языка [parsing] связанная переменная [bound variable] 45 настоящая обработка языка vs.

связывание [binding] 45, 227 игрушечный анализатор 393п глубокое [deep] 354п синтаксический анализ, отделение от сглаживание сигнала [smoothing a signal] выполнения [separating syntactic 323 (упр. 3.75), 324 (упр. 3.76) analysis from execution] сглаживание функции 88 (упр. 1.44) в имитаторе регистровых машин 476, секретарь, его важное значение [importance of a secretary] 408 в метациклическом интерпретаторе Предметный указатель синтаксический интерфейс [syntax сопоставитель [pattern matcher] interface] 266п сопоставление с образцом [pattern синтаксический сахар [syntactic sugar] 31п matching] define 344 vs. унификация 422, 424п let 77 реализация процедура vs. данные 266п сопротивление [resistance] циклические конструкции 51 погрешность синус [sine] формула для параллельных резисторов 102, приближение при малых углах (упр. 1.15) составная процедура [compound procedure] 31, см. также процедура степенной ряд 312 (упр. 3.59) синхронизация см. параллелизм использование в качестве элементарных систематический поиск [systematic search] составное выражение [compound expression] 26, см. также скобки [parentheses] комбинация;

особая форма в определении процедуры как оператор комбинации 39 (упр. 1.4) обозначающие клаузу cond составной запрос [compound query] обозначение применения функции к обработка 419, 432, 447 (упр. 4.75), аргументам (упр. 4.76), 448 (упр. 4.77) слизывание [snarng] 370п составной объект данных [compound data слияние [merge] object] слияние бесконечных потоков [merging составные данные, их необходимость innite streams] см.


бесконечные [compound data, need for] потоки состояние [state] смещение [displacement] внутреннее см. внутреннее состояние собака идеально разумная, поведение исчезновение в потоковой формулировке [behavior of a perfectly rational dog] 296п разделяемое совместимое расширение Спаффорд, Юджин Г. [Eugene H. Spaord] [upward-compatible extension] 554п (упр. 4.31) специалист по численному анализу согласованность кэша [cache coherence] [numerical analyst] 79п 285п списковая структура 96, 108п соглашение об именах [naming vs. список 108п conventions] изменяемая ! для присваиваний и изменений 214п представленная с помощью векторов ? для предикатов 41п список [list] 108, 108п соединитель (соединители) в системе n-й элемент ограничений [connector(s), in constraint system] 272 vs. списковая структура 108п операции 275 длина представление 278 кавычки сокрытие связывания [shadowing a ленивый binding] 228 манипуляции с car, cdr и cons сокрытия принцип [hiding principle] 215п методы работы Соломонофф, Рэй [Ray Solomono] 218п обратная кавычка 524п Предметный указатель обращение 111 (упр. 2.18) Стой, Джозеф Э. [Joseph E. Stoy] 34п, 62п, 364п операции Столлман, Ричард М. [Richard M.

отображение Stallman] 272п, 385п последняя пара 111 (упр. 2.17) Стрейчи, Кристофер [Christopher Strachey] представление на печати 87п преобразование в бинарное дерево стрелка [pointer] (упр. 2.64) в стрелочной диаграмме преобразование из бинарного дерева стрелочная диаграмма [box-and-pointer (упр. 2.63) notation] пустой см. пустой список строгая процедура [procedure] равенство 149 (упр. 2.54) строка [string] с заголовком [headed] 255, 269п печатание 147п «сconsивание» элементарные процедуры 444п, 527п соединение через append структура управления [control structure] «уcdrивание» список свободных ячеек [free list] 493п сумматор [full-adder] список термов многочлена [term list of full-adder polynomial] 199, каскадный [ripple-carry] 265 (упр. 3.30) представление полу- средства абстракции [means of abstraction] сумматор для сигналов [summer] суммирование последовательности define [summation of a series] средства комбинирования [means of с потоками cvombination] 25, см. также ускорение последовательности замыкание приближений стандартный интерфейс [conventional схема [circuit] interface] 92, моделируемая с помощью потоков последовательность (упр. 3.73), 328 (упр. 3.80) стек [stack] 51п, цифровая см. имитация цифровых схем для рекурсии в регистровой машине схема Горнера [Horner’s rule] кадрированный 503п (упр. 2.34) представление 474, счет банковский см. банковский счет степенной ряд, представленный как поток счетчик программы [program counter] [power series, as a stream] (упр. 3.59) деление 314 (упр. 3.62) таблица [table] перемножение 313 (упр. 3.60) n-мерная 259 (упр. 3.25) сложение 313 (упр. 3.60) двумерная степенные ряды как потоки для программирования, управляемого данными интегрирование 313 (упр. 3.59) используемая для моделирования плана Стил, Гай Льюис мл. [Guy Lewis Steele Jr.] 24п, 52п, 226п, 272п, 370п, 384п действий стиль, ориентированный на выражения, vs. используемая для хранения императивный стиль вычисленных значений (упр. 3.27) [expression-oriented style vs.

imperative style] 281п локальная Предметный указатель одномерная 255 диспетчеризация операций и типов см. таблица операций иерархия в символьной алгебре и типов надтип представленная в виде бинарного дерева несколько подтипов и надтипов vs. неупорядоченного списка 260 операции со смешанными типами (упр. 3.26) подтип приведения 192 подъем 194, 197 (упр. 2.83) проверка равенства ключей 259 спуск 195, 198 (упр. 2.85) (упр. 3.24) тип связи [linkage descriptor] хребет [backbone] 255 типизированный указатель [typed pointer] таблица операций и типов [operation-and-type table] 180 тождественность и изменение [sameness необходимость присваивания 213п and change] реализация 259 значение таблица регистров, в программе и разделяемые данные моделирования [register table] 475 торможение усреднением [average табло [tableau] 316 damping] табуляризация [tabulation] 57п, 260 точечная запись [dotted-tail notation] (упр. 3.27) в образцах запросов 410, тангенс [tangent] в правилах языка запросов как цепная дробь 83 (упр. 1.39) для процедурных параметров степенной ряд 314 (упр. 3.62) (упр. 2.20), 182п тег типа [type tag] 491п и read теговая архитектура [tagged architecture] точка входа [entry point] 491п точка недетерминистского выбора Тейтельман, Уоррен [Warren Teitelman] [nondeterministic choice point] 24п точка с запятой [semicolon] 31п текущее время, для имитации плана как символ комментария 129п [current time] 269 точка, представленная в виде пары чисел тело процедуры [body of a procedure] 32 [point, represented as a pair] теорема об остановке [Halting Theorem] (упр. 2.2) 360п точные целые числа [exact integers] 42п Т рнер, Дэвид [David Turner] 128п, 319п, е трассировка [tracing] 333п команд [instruction] 488 (упр. 5.16) тест на равенство нулю (обобщенный) регистров [register] 488 (упр. 5.18) [zero test] 191 (упр. 2.80) требуемые регистры [needed registers] см.


для многочленов 204 (упр. 2.87) последовательность команд тест, операция в регистровой машине треугольник Паскаля [Pascal’s triangle] [test] 452 (упр. 1.12) тета от f (n) ((f (n))) 58 тригонометрические тождества техника vs. математика [engineering vs. [trigonometric relations] mathematics] 66п тупик 296, тип данных выход 297п башня [tower of types] 194 способ избежания в Лиспе 191 (упр. 2.78) Тьюринг, Алан М. [Alan M. Turing] 359п, в сильно типизированных языках 328п 360п Предметный указатель Тэтчер, Джеймс У. [James W. Thatcher] уравнения, решения см. метод 100п половинного деления;

Ньютона метод;

solve уровневое проектирование [stratied Уайз, Дэвид С. [David S. Wise] 306п design] Уайлс, Эндрю [Andrew Wiles] 65п ускоритель последовательности [sequence Уайльд, Оскар, парафраза Перлиса [Oscar Wilde] 27п accelerator] уголь, битумный [bituminous coal] 133п условное выражение [conditional удовлетворение запросу [satisfying a expression] pattern] 410 cond составному 411 if Уиздом, Джек [Jack Wisdom] 24п устойчивость программы [robustness] Уинстон, Патрик Генри [Patrick Henry утверждение [assertion] Winston] 385п, 393п неявное указатель [pointer] утренняя звезда [morning star] см. Венера типизированный [typed] умножение методом русского крестьянина факториал [factorial] 48, см. также [Russian peasant method of factorial multiplication] 61п без letrec и define 364 (упр. 4.21) универсальная машина [universal machine] бесконечный поток 311 (упр. 3.54) с letrec 364 (упр. 4.20) вычислитель с явным управлением Фейгенбаум, Эдвард [Edward Feigenbaum] компьютер общего назначения 406п унификация [unication] 405, 417, Феничель, Роберт [Robert Fenichel] 495п vs. сопоставление с образцом 422, 424п Ферма Малая теорема [Fermat’s Little открытие алгоритма 405п Theorem] реализация альтернативная формулировка Уодлер, Филип [Philip Wadler] 225п (упр. 1.28) Уодсворт, Кристофер [Christopher доказательство 65п Wadsworth] 329п Ферма тест на простоту [Fermat test for Уокер, Фрэнсис Амаса [Francis Amasa primality] Walker] 133п вариант 69 (упр. 1.28) Уоллис, Джон [John Wallis] 73п Ферма, Пьер де [Pierre de Fermat] 65п Уотерс, Ричард К. [Richard C. Waters] 125п Фибоначчи числа [Fibonacci numbers] 53, управляющий цикл [driver loop] см. также fib в вычислителе с явным управлением бесконечный поток см. fibs в интерпретаторе запросов 424, и алгоритм Евклида для НОД в ленивом интерпретаторе Фили, Марк [Marc Feeley] 366п в метациклическом интерпретаторе Филипс, Хьюберт [Hubert Phillips] в недетерминистском интерпретаторе (упр. 4.42) 385, фильтр [lter] 74 (упр. 1.33), упрощение алгебраических выражений Флойд, Роберт [Robert Floyd] 385п [simplication of algebraic expressions] Форбус, Кеннет Д. [Kenneth D. Forbus] 385п уравнения рекурсии [recursion equations] 23 форма процесса [shape of a process] Предметный указатель формальные параметры процедуры [formal и вычислитель с явным управлением parameters] 32 508, 515 (упр. 5.26), 516 (упр. 5.28) и компилятор имена и метациклический интерпретатор область действия и модель с окружениями 234п форматирование входных выражений и сборка мусора 535п [formatting input expressions] 27п хвостовая рекурсия в списке аргументов Фридман, Дэниел П. [Daniel P. Friedman] [evlis tail recursion] 505п 306п, 337п Хейвендер, Дж. [J. Havender] 297п функциональное программирование Хейнс, Кристофер Т. [Christopher T.

[functional programming] 222, Haynes] 337п и время Хендерсон, Питер [Peter Henderson] 132п, и параллельность 308п, 333п функциональный язык хендерсоновская диаграмма программирования Херн, Энтони К. [Anthony C. Hearn] 24п функциональный элемент в цифровых Хилфингер, Пол [Paul Hilnger] 162п схемах [function box] Хоар, Чарльз Энтони Ричард [Charles функциональный язык программирования Anthony Richard Hoare] 100п [functional programming language] Ходжес, Эндрю [Andrew Hodges] 359п функция (математическая) [function] Хофштадтер, Дуглас Р. [Douglas R.

-нотация 81п Hofstadter] 359п vs. процедура Хьюз, Р. Дж. М. [R. J. M. Hughes] 380п Аккермана 52 (упр. 1.10) Хьюитт, Карл Эдди [Carl Eddie Hewitt] композиция 88 (упр. 1.42) 51п, 385п, 405п, 495п многократное применение 88 (упр. 1.43) Хэмминг, Ричард Уэсли [Richard Wesley неподвижная точка Hamming] 165п, 311 (упр. 3.56) производная рациональная [rational] целевой регистр [target] сглаживание 88 (упр.

1.44) целые числа [integers] 25п деление 42п Хайтин, Грегори [Gregory Chaitin] 218п точные 42п Хайям, Омар 57п цепная дробь [continued fraction] Хансон, Кристофер П. [Cristopher P. (упр. 1.37) Hanson] 348п, 535п e 83 (упр. 1.38) хаос в динамике Солнечной системы золотое сечение 82 (упр. 1.37) [chaos in Solar system] 24п тангенс 83 (упр. 1.39) Харди, Годфри Харольд [Godfrey Harold цепь электрическая [circuit] Hardy] 311п, 321п моделируемая с помощью потоков Хаффман, Дэвид [David Human] 164 (упр. 3.73), 328 (упр. 3.80) Хаффмана код [Human code] 163, см. код Цзю Ши-Цзе [Chu Shih-Chieh] 57п Хаффмана цикл в списке [cycle in list] 245 (упр. 3.13) оптимальность 165 обнаружение 248 (упр. 3.18) порядок роста для кодирования 170 цикл обратной связи, моделируемый с (упр. 2.72) помощью потоков [feedback loop] хвостовая рекурсия [tail recursion] 51, 508 цикл чтение-вычисление-печать в Scheme 52п [read-eval-print loop] 27, см. также Предметный указатель управляющий цикл шахматы, задача о восьми ферзях [chess, eight-queens puzzle] 130 (упр. 2.42), циклические конструкции [looping constructs] 42, 51 389 (упр. 4.44) реализация в метациклическом шишка (правило) 413, 428 (упр. 4.65) интерпретаторе 350 (упр. 4.9) Шмидт, Эрик [Eric Schmidt] 225п цифровой сигнал [digital signal] 261 Шроуб, Ховард Э. [Howard E. Shrobe] 406п Чанда-сутра 61п Чарняк, Юджин [Eugene Charniak] 385п Эдинбургский университет [University of Чебышев, Пафнутий Львович 311п Edinburgh] 405п Чезаро, Эрнесто [Ernesto Ces` ro] 219п a Эйлер, Леонард [Leonhard Euler] Чепман, Дэвид [David Chapman] 385п (упр. 1.38) «Червь» в Интернете [Internet “worm”] доказательство Малой теоремы Ферма 554п 65п черный ящик [black box] 44 ускоритель рядов Ч рч, Алонсо [Alonzo Church] 75п, е Эйндховенский технический Университет (упр. 2.6) 294п Ч рча числа [Church numerals] е экспоненциальный рост [exponential (упр. 2.6) growth] Ч рча-Тьюринга тезис [Church-Turing е электрические цепи, моделируемые с thesis] 359п помощью потоков 322 (упр. 3.73), чисел теория [number theory] 65п (упр. 3.80) числа [numbers] элементарное ограничение [primitive в Лиспе 26 constraint] в обобщенной арифметической системе элементарные выражения [primitive 187 expressions] вещественные [real] 25п вычисление десятичная точка 42п имя переменной зависимость от реализации 42п имя элементарной процедуры простые по отношению к другому числу числа 74 (упр. 1.33) элементарные процедуры [primitives] равенство 36, 149п, 491п рациональные 42п сравнение 36 * точные целые 42п + целые [integer] 25п - 26, 36п целые vs. вещественные 25п / численные данные [numerical data] 25 = численный анализ [numerical analysis] 25п apply 182п “что такое” vs. “как сделать” [“how to” vs. atan 174п “what is”] см. декларативное vs. car императивное знание cdr Чёрча–Тьюринга тезис см. тезис cons Черча–Тьюринга cos display 96п Шамир, Ади [Adi Shamir] 67п eq? Предметный указатель error (нс) 80п язык запросов [query language] 406, vs. математическая логика eval (нс) 360п абстракция list база данных log 82 (упр. 1.36) логический вывод max правило см. правило (в языке запросов) min проверка на равенство 412п newline 96п простой запрос см. простой запрос not расширения 428 (упр. 4.66), null? (упр. 4.75) number составной запрос см. составной запрос pair? язык описания изображений [picture quotient 312 (упр. 3.58) language] random (нс) 66, 221п язык программирования [programming read 356п language] remainder логического round 198п объектно-ориентированный 195п runtime (нс) 67 (упр. 1.22) с аппликативным порядком вычислений set-car! [applicative-order] set-cdr! с нормальным порядком вычислений sin [normal-order] symbol? сверхвысокого уровня 40п vector-ref сильно типизированный 328п vector-set! строение элементарный запрос [primitive query] см.

функциональный простой запрос язык регистровых машин [register machine элементы вычисления первого класса language] [rst-class elements of computation] assign 455, 87, см. также полноправные branch 454, элементы вычисления const 455, Эратосфен 308п goto 454, эффективность [eciency] см. также label порядок роста op 455, вычисления perform 457, доступа к базе данных 418п reg 455, древовидно-рекурсивного процесса restore 467, компиляции save 467, Лиспа test 454, обработки запросов метка Эшер, Мориц Корнелис [Maurits Cornelis команды 454, Escher] 132п точки входа язык сверхвысокого уровня [very high-level явное кодирование элементарных процедур language] 40п [open coding of primitives] ячейка, в реализации сериализатора [cell, (упр. 5.38), 550 (упр. 5.44) in serializer implementation] язык [language] см. естественный язык;

язык программирования

Pages:     | 1 |   ...   | 16 | 17 ||
 





 
© 2013 www.libed.ru - «Бесплатная библиотека научно-практических конференций»

Материалы этого сайта размещены для ознакомления, все права принадлежат их авторам.
Если Вы не согласны с тем, что Ваш материал размещён на этом сайте, пожалуйста, напишите нам, мы в течении 1-2 рабочих дней удалим его.