Главная    Ex Libris    Книги    Журналы    Статьи    Серии    Каталог    Wanted    Загрузка    ХудЛит    Справка    Поиск по индексам    Поиск    Форум   
blank
Авторизация

       
blank
Поиск по указателям

blank
blank
blank
Красота
blank
Абельсон Х., Сассман Д. — Структура и интерпретация компьютерных программ
Абельсон Х., Сассман Д. — Структура и интерпретация компьютерных программ



Обсудите книгу на научном форуме



Нашли опечатку?
Выделите ее мышкой и нажмите Ctrl+Enter


Название: Структура и интерпретация компьютерных программ

Авторы: Абельсон Х., Сассман Д.

Аннотация:

Структура и интерпретация компьютерных программ — это вводный курс по информатике в Массачусетском Технологическом институте (MIT). Он обязателен для всех студентов MIT на специальностях ѕэлектротехникаї и информатика, как одна из четырех частей ѕобщей базовой программы обучения, которая включает еще два курса по электрическим схемам и линейным системам, а также курс по проектированию цифровых систем. Мы принимали участие в развитии этого курса начиная с 1978 года и преподавали этот материал в его нынешней форме начиная с осени 1980 года шестистам-семистам студентам в год. Большая часть этих студентов не имела почти или совсем никакого формального образования в области вычислительной техники, хотя у многих была возможность общения с компьютерами, а некоторые обладали значительным опытом в программировании либо проектировании аппаратуры.


Язык: ru

Рубрика: Computer science/

Статус предметного указателя: Готов указатель с номерами страниц

ed2k: ed2k stats

Год издания: 2006

Количество страниц: 608

Добавлена в каталог: 15.03.2014

Операции: Положить на полку | Скопировать ссылку для форума | Скопировать ID
blank
Предметный указатель
Многочлен(ы) [polynomial(s)] от одной переменной      199
Многочлен(ы) [polynomial(s)] перестановки      129
Многочлен(ы) [polynomial(s)] плотный [dense]      203
Многочлен(ы) [polynomial(s)] подмножество      120
Многочлен(ы) [polynomial(s)] представленное в виде бинарного дерева      158
Многочлен(ы) [polynomial(s)] представленное в виде неупорядоченного списка      155
Многочлен(ы) [polynomial(s)] представленное в виде упорядоченного списка      156
Многочлен(ы) [polynomial(s)] разреженный [sparse]      203
Множитель целости [integerizing factor]      209
Мобиль [mobile]      118
Модели вычисления [models of evaluation]      512
Моделирование методом Монте-Карло [Monte Carlo simulation]      219
Моделирование методом Монте-Карло [monte carlo simulation] формулировка в терминах потоков      330
Моделирование [modeling] в науке и технике      34
Моделирование [modeling] как стратегия разработки      211
Модель вычисления с окружениями [environment model of evaluation]      212 227
Модель вычисления с окружениями [environment model of evaluation] внутреннее состояние      234
Модель вычисления с окружениями [environment model of evaluation] внутренние определения      238
Модель вычисления с окружениями [environment model of evaluation] и метациклический интерпретатор      338
Модель вычисления с окружениями [environment model of evaluation] и хвостовая рекурсия      234
Модель вычисления с окружениями [environment model of evaluation] передача сообщений      240
Модель вычисления с окружениями [environment model of evaluation] правила вычисления      228
Модель вычисления с окружениями [environment model of evaluation] пример применения процедуры      231
Модель вычисления с окружениями [environment model of evaluation] структура окружений      227
Модуль [absolute value]      36
Модульность      124 211
Модульность границы модулей, проведенные по границам объектов      334
Модульность и потоки      314
Модульность принцип сокрытия      215
Модульность функциональных программ vs. Объектов      330
Модульность через бесконечные потоки      331
Модульность через диспетчеризацию по типу      179
Модульность через моделирование объектов      218
Момент времени [moment in time]      282
Монте-Карло, интегрирование методом [Monte Carlo integration]      221
Монте-карло, интегрирование методом [monte carlo integration] формулировка в терминах потоков      331
Морзе азбука      see " азбука Морзе"
Моррис, Дж. Г. [J. Н. Morris]      225
Мун, Дэвид А. [David A. Moon]      24 495
Мунро, Иан [Ian Munro]      126
Мусор [garbage]      495
Мутатор [mutator]      241
Мьютекс [mutex]      294
Надтип [supertype]      194
Наибольший общий делитель [greatest common divisor]      62 see
Наибольший общий делитель [greatest common divisor] для многочленов      207
Наибольший общий делитель [greatest common divisor] используемый в арифметике рациональных чисел      97
Наибольший общий делитель [greatest common divisor] используемый для оценки $\pi$      219
Наибольший общий делитель [greatest common divisor] обобщенный      208
Наименьших обязательств принцип [principle of least commitment]      175
Накопитель [accumulator]      121 217
Накопление [accumulation]      74
Накопление [accumulation] по дереву      29
Невычислимость [noncomputability]      360
Недетерминизм в поведении параллельных программ      287 334
Недетерминистские вычисления [nondeterministic computing]      337
Недетерминистские программы [nondeterministic programs] логические загадки      387
Недетерминистские программы [nondeterministic programs] пары чисел с простой суммой      381
Недетерминистские программы [nondeterministic programs] Пифагоровы тройки      386 386 386
Недетерминистские программы [nondeterministic programs] синтаксический анализ естественного языка      389
Недетерминистский интерпретатор [nondeterministic evaluator]      394
Недетерминистский интерпретатор [nondeterministic evaluator] порядок вычисления операндов      393
Недетерминистское вычисление [nondeterministic computing]      381
Недетерминистское программирование vs. Программирование на Scheme [nondeterministic programming vs. Scheme programming]      381 388 389 448
Неопределенные значения [unspecified values] define      28
Неопределенные значения [unspecified values] display      96
Неопределенные значения [unspecified values] if без альтернативы      271
Неопределенные значения [unspecified values] newline      96
Неопределенные значения [unspecified values] set!      214
Неопределенные значения [unspecified values] set-car!      242
Неопределенные значения [unspecified values] set-cdr!      242
Неподвижная точка [fixed point, of a function]      80
Неподвижная точка [fixed point, of a function] в методе Ньютона      84
Неподвижная точка [fixed point, of a function] вычисление с помощью калькулятора      81
Неподвижная точка [fixed point, of a function] золотое сечение      82
Неподвижная точка [fixed point, of a function] и унификация      438
Неподвижная точка [fixed point, of a function] как пошаговое улучшение      89
Неподвижная точка [fixed point, of a function] квадратный корень      81 84 86
Неподвижная точка [fixed point, of a function] корень n-ной степени      88
Неподвижная точка [fixed point, of a function] корень четвертой степени      88
Неподвижная точка [fixed point, of a function] кубический корень      84
Неподвижная точка [fixed point, of a function] трансформации некоторой функции      86
Неподвижная точка [fixed point, of a function] функции косинус      81
Несвязанная переменная [unbound variable]      227
Несвязанная [unbound]      227
Несколько надтипов      195
Нестрогая процедура [non-strict procedure]      371
Неудача, в недетерминистских вычислениях vs. Ошибка      397
Неудача, в недетерминистских вычислениях и поиск      384
Неудача, в недетерминистском вычислении [failure in nondeterministic computation]      383
НОД      see "наибольший общий делитель"
Номер кадра [frame number]      548
Нормальный порядок вычислений [normal-order evaluation]      35 337
Нормальный порядок вычислений [normal-order evaluation] if      39
Нормальный порядок вычислений [normal-order evaluation] vs. Аппликативный порядок      39 64 370
Нормальный порядок вычислений [normal-order evaluation] в вычислителе с явным управлением      511
Нормальный порядок вычислений [normal-order evaluation] и задержанные вычисления      328
Нотация в настоящей книге курсив в синтаксисе выражений      32
Нотация в настоящей книге [notation in this book] наклонный шрифт для ответов интерпретатора      26
Нужные регистры [needed registers]      523
Ньютона метод [Newton's method]      84
Ньютона метод [Newton's method] vs. Метод половинного деления      85
Ньютона метод [Newton's method] в let      77
Ньютона метод [Newton's method] внутренняя define      360
Ньютона метод [Newton's method] для дифференцируемых функций      84
Ньютона метод [Newton's method] для квадратных корней      40 86
Ньютона метод [Newton's method] для кубических корней      43
Ньютона метод [Newton's method] область действия переменной [scope of а variable]      45 see
Ньютона метод [Newton's method] формальные параметры процедуры1      45
Обмассив [obarray]      492
Обобщенные арифметические операции [generic arithmetic operations]      187
Обобщенные арифметические операции [generic arithmetic operations] структура системы      187
Обобщенные операции [generic operations]      93
Обобщенные процедуры [generic procedures]      167 171
Обобщенные процедуры [generic procedures] обобщенный селектор      177 179
Обработка ошибок [error handling] в вычислителе с явным управлением      512 516
Обработка ошибок [error handling] в скомпилированном коде      554
Обработка потоков [stream processing]      35
Обработка сигналов [signal processing] переход сигнала через ноль      323 323 324
Обработка сигналов [signal processing] потоковая модели      321
Обработка сигналов [signal processing] сглаживание сигнала      323 324
Обработка сигналов [signal processing] сглаживание функции      80
Образец [pattern]      409
Обратная кавычка [backquote]      524
Объект(ы) [object(s)]      211
Объект(ы) [object(s)] преимущества введения в моделирование      218
Объект(ы) [object(s)] с состоянием, меняющимся во времени      213
Объектная программа [object program]      517
Объектно-ориентированные языки программирования [object-oriented programming languages]      195
Обычные числа [ordinary numbers] в обобщенной арифметической системе      187
Ограничения [constraints] распространение      271
Ограничения [constraints] элементарные      272
Окружение времени компиляции [compile-time environment]      549 549 549
Окружение времени компиляции [compile-time environment] и явное кодирование      550
Окружение [environment]      28 227
Окружение [environment] в интерпретаторе запросов      449
Окружение [environment] времени компиляции      see "окружение"
Окружение [environment] времени компиляции глобальное [global]      227 see
Окружение [environment] и лексическая сфера действия      47
Окружение [environment] и переименование      448
Окружение [environment] как контекст для вычисления      30
Окружение [environment] объемлющее [enclosing]      227
Операнды комбинации [operands of а combination]      26
Оператор комбинации      26
Оператор комбинации в виде lambda-выражения      75
Оператор комбинации в виде составного выражения      39
Оператор комбинации как комбинация      84
Оператор присваивания [assignment operator]      212 see
Операция [operation] в регистровой машине      451
Операция [operation] обобщенные      93
Операция [operation] со смешанными типами      191
Определение процедуры [procedure definition]      31
Определения      see "define" "внутренние
Определенный интеграл [definite integral]      72
Определенный интеграл [definite integral] приближенное вычисление методом Монте-Карло      221 331
Оптимальность [optimality] кода Хаффмана      165
Оптимальность [optimality] схемы Горнера      125
Освобождение мьютекса      294
Особая форма [special form]      31
Особая форма [special form] vs. Процедура      371 379
Особая форма [special form] как производное выражение в интерпретаторе      346
Особая форма [special form] необходимость      42
Особые формы and      37
Особые формы begin      214
Особые формы cond      36
Особые формы cons-stream (нс)      302
Особые формы define      28 32
Особые формы delay (нс)      302
Особые формы if      37
Особые формы lambda      75
Особые формы let      76
Особые формы let*      349
Особые формы letrec      363
Особые формы or      37
Особые формы quote      147
Особые формы set!      214
Особые формы именованный let      349
Остановки проблема [halting problem]      360
Остаток по модулю [remainder modulo n]      65
Островский, a. M.      125
Отладка [debugging]      23
Отложенная операция [deferred operation]      50
Относительности теория [theory of relativity]      298
Отношения, вычисления в терминах отношений      272 405
Отображение координат рамки [frame coordinate map]      140
Отображение [map]      121
Отображение [map] вложенное      128 318
Отображение [map] деревьев      119
Отображение [map] как преобразователь      121
Отображение [map] списков      112
Отрезок [line segment] представление в виде пары векторов      142
Отрезок [line segment] представление в виде пары точек      99
Отслеживаемая процедура [monitored procedure]      217
Очередь [queue]      250
Очередь [queue] в плане действий      269
Очередь [queue] голова [front]      250
Очередь [queue] двусторонняя      254
Очередь [queue] операции      250
Очередь [queue] реализация в виде процедуры      254
Очередь [queue] хвост [rear]      250
Ошибка округления [roundoff error]      25
Ошибка [bug] захват свободной переменной      46
Ошибка [bug] побочного эффекта      225
Ошибка [bug] порядок присваиваний      226
Ошибки округления      172
Пакет [package]      180
Пакет [package] Scheme-number      187
Пакет [package] декартово представление      181
Пакет [package] комплексные числа      189
Пакет [package] многочлены      200
Пакет [package] полярное представление      181
Пакет [package] рациональные числа      188
Память [memory] в 1964 г.      384
Память [memory] со списковой структурой [list-structured]      489
Пан, В.Я.      126
Пара (пары) [pair(s)]      95
Пара (пары) [pair(s)] аксиоматическое определение      100
Пара (пары) [pair(s)] бесконечные потоки      318
Пара (пары) [pair(s)] изменяемые      242
Пара (пары) [pair(s)] использование для представления дерева      115
Пара (пары) [pair(s)] использование для представления последовательности      107
Пара (пары) [pair(s)] ленивые      379
Пара (пары) [pair(s)] представленные с помощью векторов      490
Пара (пары) [pair(s)] процедурное представление      100 249 379
Пара (пары) [pair(s)] стрелочная нотация      106
Параллелизм      281 282
Параллелизм и функциональное программирование      333
Параллелизм механизмы для управления      287
Параллелизм правильность параллельных программ      285
Параллелизм тупик      296
Параметр [parameter]      see "Формальные пааметры"
Паскаль, Блез [Blaise Pascal]      57
Передача сообщений [message passing]      101 184 185 216
Передача сообщений [message passing] в банковском счете      216
Передача сообщений [message passing] в имитаторе цифровых схем      265
Передача сообщений [message passing] и модель с окружениями      240
Передача сообщений [message passing] и хвостовая рекурсия      51
Переменная образца [pattern variable]      409
Переменная образца [pattern variable] представление      430 444
Переменная состояния [state variable]      51 212
Переменная состояния [state variable] внутренняя      213
Переменная [variable]      28 see
Переменная [variable] значение [value]      28 227
Переменная [variable] область действия      45 see
Переменная [variable] свободная      45
Переменная [variable] связанная      45
Перенаправляющий адрес [forwarding address]      496
Перенос языка (на новый компьютер) [porting a language]      554
Перестановки множества [permutations of а set]      129
Переход сигнала через ноль      323 323 324
Перечислитель [enumerator]      121
Перлис, Алан Дж. [Alan J. Perlis]      13 107
Перлис, Алан Дж. [Alan J. Perlis] афоризмы      27 31
Печать входных выражений [typing input expressions]      27
Печать, элементарные процедуры [primitives for printing]      96
Пи $(\pi)$ аппроксимация через интегрирование методом Монте-Карло      221
Пи $(\pi)$ оценка Чезаро      219 330
Пи $(\pi)$ поток приближений      315
Пи $(\pi)$ приближенное вычисление методом половинного деления      80 331
Пи $(\pi)$ приближенное вычисление через интегрирование методом Монте-Карло      221 331
Пи $(\pi)$ ряд Лейбница      70 315
Пи $(\pi)$ формула Уоллиса      73
Пингала, Ачарья [Acharya Pingala]      61
Питман, Кент [Kent Pitman]      24
Пифагоровы тройки [Pythagorean triples] в недетерминистских программах      386 386 386
Пифагоровы тройки [pythagorean triples] в потоках      320
План действий [agenda]      267 see
Плотный многочлен [dense polynomial]      203
Поддержание истины [truth maintenance]      385
Поддерживаемое в кадрах      234
Подкоренное число [radicand]      41
Подпрограмма, в регистровой машине [subroutine]      461
Подсказка вывода [output prompt]      356
Подсказка [prompt]      356
Подсказка [prompt] вычислитель с явным управлением      512
Подсказка [prompt] интерпретатор запросов      430
Подсказка [prompt] ленивый интерпретатор      374
Подсказка [prompt] метациклический интерпретатор      356
Подсказка [prompt] недетерминистский вычислитель      401
Подстановка [substitution]      34
Подстановочная модель применения процедуры      33 34 227
Подстановочная модель применения процедуры неадекватность      222
Подстановочная модель применения процедуры форма процесса      49
Подсчет команд [instruction counting]      488
Подтип [subtype]      194
Подтип [subtype] несколько подтипов      195
Подчиняется (правило)      414 428
Поиск с возвратом [backtracking] управляемый зависимостями [dependency-directed]      385
Поиск с возвратом [backtracking] хронологический [chronological]      384
Поиск [search] в глубину [depth-first]      384
Поиск [search] по бинарным деревьям      158
Поиск [search] систематический [systematic]      384
Показатель конца списка [end-of-list marker]      107
Поле типа [type field]      491
Полноправные элементы вычисления [first-class elements of computation]      87 see
Половинного деления метод [half-interval method]      78
Половинного деления метод [half-interval method] half-interval-method      80
Половинного деления метод [half-interval method] vs. Метод Ньютона      86
Полусумматор [half-adder]      261
Полусумматор [half-adder] half-adder      262
1 2 3 4 5 6 7 8 9 10
blank
Реклама
blank
blank
HR
@Mail.ru
       © Электронная библиотека попечительского совета мехмата МГУ, 2004-2024
Электронная библиотека мехмата МГУ | Valid HTML 4.01! | Valid CSS! О проекте