Главная    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
Предметный указатель
Имитация цифровых схем [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] ряд для вычисления $\pi$      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
Лямбда-исчисление ($\lambda$-исчисление) [$\lambda$ 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
1 2 3 4 5 6 7 8 9 10
blank
Реклама
blank
blank
HR
@Mail.ru
       © Электронная библиотека попечительского совета мехмата МГУ, 2004-2024
Электронная библиотека мехмата МГУ | Valid HTML 4.01! | Valid CSS! О проекте