Главная    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
Предметный указатель
scale-stream      310
scale-tree      119
scale-vect      141
scan, регистр      496
scan-out-defines      362
Scheme (Схема)      24
Scheme (Схема) история      24
Search      79
segment-queue      269
segment-time      269
segments      270
segments->painter      142
self-evaluating?      343
sequence->exp      346
serialized-exchange      293
serialized-exchange с избежанием тупиков      297
set! (особая форма)      214 see
set! значение      214
set! модель с окружениями      231
set-car!      242
set-cdr!      242
set-contents!      474
set-current-time!      270
set-front-ptr!      251
set-instruction-execution-proc!      479
set-rear-ptr!      251
set-register-contents!      472 476
set-segments!      270
set-signal!      264 266
set-value!      275 279
set-variable-value!      351
setup-environment      354
shrink-to-upper-right      143
signal-error      513
simple-query      431
sin (элементарная процедура)      81
singleton-stream      443
SKETCHPAD      272
smallest-divisor      64
smallest-divisor более эффективный вариант      68
Smalltalk      272
Solve      325 326
solve вариант с ленивыми списками      380
solve с прочесанными внутренними определениями      363
Split      139
sqare      31
sqare-limit      137 139
sqrt      42
sqrt в модели с окружениями      238
sqrt как неподвижная точка      81 84 86
sqrt как пошаговое улучшение      89
sqrt как предел потока      317
sqrt регистровая машина      459
sqrt с блочной структурой      47
sqrt с методом Ньютона      86
sqrt-stream      314
square в модели с окружениями      229
square-of-four      139
squarer (ограничение)      280
squash-inwards      144
stack-inst-reg-name      483
start      472 475
start-eceval      552
start-segment      99 142
statements      536
stream-append      319
stream-append-delayed      442
stream-car      301 302
stream-cdr      301 302
stream-enumerate-interval      303
stream-filter      303
stream-flatmap      443 447
stream-for-each      301
stream-limit      317
stream-map      301
stream-map с несколькими аргументами      306
stream-null?      301
stream-null? в MIT Scheme      301
stream-ref      301
stream-withdraw      332
sub (обобщенная)      187
sub-complex      173
sub-interval      103
sub-rat      94
sub-vect      141
subsets      120
SUM      71
sum итеративный вариант      73
sum как накопление      74
sum-cubes      70
sum-cubes через процедуры высших порядков      71
sum-integers      70
sum-integers через процедуры высших порядков      72
sum-odd-squares      120 123
sum-of-squares      32
sum-of-squares в модели с окружениями      231
sum-primes      300
sum?      150 152
symbol-leaf      166
symbol? (элементарная процедура)      151
symbol? (элементарная процедура) и тип данных      191
symbol? (элементарная процедура) реализация через типизированные указатели      493
symbols      167
sync      298
tack-on-instruction-sequence      538
tagged-list?      344
term-list      201
test (в регистровой машине)      454
test (в регистровой машине), имитация      482
test-and-set!      295 296
test-condition      482
text-of-quotation      344
THE, Система Мультипрограммирования      294
the-cars вектор      490
the-cars регистр      492 496
the-cdrs вектор      490
the-cdrs регистр      492 496
the-empty-environment      352
the-empty-stream      301
the-empty-stream в MIT Scheme      301
the-empty-termlist      201 204
the-global-environment      355 512
thunk-env      375
thunk-exp      375
thunk?      375
timed-prime-test      67
TKISolver      272ra
transform-painter      143
TRANSPOSE      127
tree->list. . .      161
tree-map      119
TRUE      36n
true?      350
try-again      385
type-tag      176
type-tag использование типов Scheme      191
unev, регистр      501
unify-match      437
union-set      154
union-set представление в виде бинарных деревьев      162
union-set представление в виде неупорядоченных списков      156
union-set представление в виде упорядоченных списков      158
unique (язык запросов)      447
unique-pairs      130
UNIX (Юникс)      516 554
unknown-expression-type      513
unknown-procedure-type      513
up-split      137
update-insts!      479
upper-bound      103
user-initial-environment      360
user-print      356
user-print измененная для скомпилированного кода      552
V-операция на семафоре      294
val, регистр      501
value-proc      481
Variable      201
variable?      150 343
vector-ref (элементарная процедура)      490
vector-set! (элементарная процедура)      490
verbs      389
Weight      167
weight-leaf      166
width      104
withdraw      213
withdraw сложности в параллельных системах      284
without-interrupts      296
xcor-vect      141
Xerox, исследовательский центр в Пало Альто [Xerox Palo Alto Research Center]      24
Y-оператор [Y operator]      364
ycor-vect      141
Zetalisp (Зеталисп)      24
А'х-мосе [A'h-mose]      61
Абельсон, Харольд [Harold Abelson]      24
Абстрактные данные [abstract data]      93 see
Абстрактные модели данных [abstract models for data]      100
Абстрактный синтаксис [abstract syntax] в метациклическом интерпретаторе      339
Абстрактный синтаксис [abstract syntax] в языке запросов      430
Абстракция данных [data abstraction]      91 93 170 173 343 see
Абстракция данных [data abstraction] для очереди      250
Абстракция [abstraction]      see "средства абстракции" "абстракция "процедуры
Абстракция [abstraction] выделение общей схемы      71
Абстракция [abstraction] метаязыковая      336
Абстракция [abstraction] поиска в недетерминистском программировании      387
Абстракция [abstraction] при проектировании регистровых машин      457
Абстракция [abstraction] процедурная      44
Автомагически [automagically]      384
Автоматический поиск [automatic search]      381 see
Автоматический поиск [automatic search] история      384
Автоматическое распределение памяти [automatic storage allocation]      489
Ада, сыновья      417
Адамс, Норман И., IV [Norman I. Adams IV]      366
Аддитивность [additivity]      93 171 179
Адельман, Леонард [Leonard Adleman]      67
Адрес [address]      489
Адресная арифметика [address arithmetic]      490
Азбука Морзе [Morse code]      163
Аккермана функция [Ackermann's function]      52
Алгебра символьная      see "символьная алгебра"
Алгебраическая спецификация [algebraic specification]      100
Алгебраическое выражение [algebraic expression]      198
Алгебраическое выражение [algebraic expression], дифференцирование      149
Алгебраическое выражение [algebraic expression], представление      151
Алгебраическое выражение [algebraic expression], упрощение      152
Алгоритм [algorithm] RSA [RSA]      67
Алгоритм [algorithm] RSA [RSA] вероятностный      66
Алгоритм [algorithm] RSA [RSA] Евклида [Euclid's]      63 451
Алгоритм [algorithm] RSA [RSA] оптимальный      125
Алгоритм [algorithm] RSA [RSA] унификации [unification algorithm]      405
Аллен, Джон [John Allen]      495
Альтернатива if [alternative of if]      37
Анализирующий интерпретатор [analyzing evaluator]      365
Анализирующий интерпретатор [analyzing evaluator] let      369
Анализирующий интерпретатор [analyzing evaluator] как основа для недетерминистского интерпретатора      394
Аппель, Эндрю У. [Andrew W. Appel]      535
Аппликативный порядок вычислений [applicative-order evaluation]      35
Аппликативный порядок вычислений [applicative-order evaluation] vs. Нормальный порядок      39 64 370
Аппликативный порядок вычислений [applicative-order evaluation] в Лиспе      35
Арбитр [arbiter]      296
Аргумент(ы) [argument(s)]      26
Аргумент(ы) [argument(s)] задержанный      325
Аргумент(ы) [argument(s)] произвольное количество      26 112
Аристотель, De caelo (комментарий Ж. Буридана)      296
Арифметика комплексных чисел [complex-number arithmetic]      171
Арифметика комплексных чисел [complex-number arithmetic] взаимодействие с общими арифметическими системами      189
Арифметика комплексных чисел [complex-number arithmetic] структура системы      178
Арифметика многочленов [polynomial arithmetic]      199
Арифметика многочленов [polynomial arithmetic] алгоритм Евклида      207
Арифметика многочленов [polynomial arithmetic] вероятностный алгоритм для нод      210
Арифметика многочленов [polynomial arithmetic] включение в систему обобщенной арифметики      200
Арифметика многочленов [polynomial arithmetic] вычитание      205
Арифметика многочленов [polynomial arithmetic] деление      205
Арифметика многочленов [polynomial arithmetic] наибольший общий делитель      207 210
Арифметика многочленов [polynomial arithmetic] рациональные функции      207
Арифметика многочленов [polynomial arithmetic] сложение      200
Арифметика многочленов [polynomial arithmetic] умножение      200
Арифметика [arithmetic] интервальная      102
Арифметика [arithmetic] комплексных чисел      171 also
Арифметика [arithmetic] многочленов      see "арифметика многочленов"
Арифметика [arithmetic] обобщенные операции      186
Арифметика [arithmetic] рациональная      93
Арифметика [arithmetic] элементарные процедуры      26
Арктангенс [arctangent]      174
Ассемблер [assembler]      473 476
Атомарность [atomicity]      295
Атомарные операции, поддерживаемые на уровне аппаратуры [atomic operations supported in hardware]      296
Ачарья, Бхаскара [Bhascara Acharya]      57
База данных и программирование, управляемое данными      184
База данных индексирование      418 439
База данных как множество записей      162
База данных персонал "Микрошафт"      407
База данных персонал компании Insatiable Enterprises, Inc.      184
База данных [data base] и логическое программирование      407
Базовый адрес [base address]      490
Банковский счет [bank account]      213 240
Банковский счет [bank account] защищенный паролем      217
Банковский счет [bank account] мена балансов местами      291
Банковский счет [bank account] перенос денег      293
Банковский счет [bank account] потоковая модель      332
Банковский счет [bank account] сериализованный      289
Банковский счет [bank account] совместный      225 226 284
Банковский счет [bank account] совместный, смоделированный с помощью потоков      334
Барт, Джон [John Barth]      335
Барьерная синхронизация [barrier synchronization]      298
Барьеры абстракции [abstraction barriers]      92 97 170
Барьеры абстракции [abstraction barriers] в обобщенной арифметической системе      186
Барьеры абстракции [abstraction barriers] в системе работы с комплексными числами      171
Батали, Джон Дин [John Dean Batali]      500
Башня типов [tower of types]      194
Бейкер, Генри Дж., мл. [Henry J. Baker Jr.]      495
Бертрана гипотеза [bertrand's hypothesis]      311
Бесконечная последовательность [infinite series]      438
Бесконечные потоки [infinite streams]      307
Бесконечные потоки [infinite streams] простых чисел      see "primes"
Бесконечные потоки [infinite streams] целых чисел      see "integers"
Бесконечные потоки [infinite streams] чисел фибоначчи      see "fibs"
Бесконечный поток для моделирования сигналов      321
Бесконечный поток для суммирования ряда      315
Бесконечный поток пар      318
Бесконечный поток представление степенных рядов      312
Бесконечный поток слияние      311 319 320 334
Бесконечный поток слияние как отношение      334
Бесконечный поток случайных чисел      330
Бесконечный поток факториалов      311
Бинарное дерево [binary tree]      158
Бинарное дерево [binary tree] для кодирования по Хаффману      164
Бинарное дерево [binary tree] представленное при помощи списков      159
Бинарное дерево [binary tree] преобразование в список      161
Бинарное дерево [binary tree] преобразование из списка      161
Бинарное дерево [binary tree] списки, представленные как      158
Бинарное дерево [binary tree] таблицы      260
Бинарный поиск [binary search]      158
Биномиалвный коэффициент [binomial coefficients]      57
Блоха [bug]      23
Блочная структура [block structure]      47 360
Блочная структура [block structure] в модели окружения      238
Блочная структура [block structure] в языке запросов      449
Большое число [bignum]      491
Борнинг, Алан [Alan Borning]      272
Бородин, Алан [Alan Borodin]      126
1 2 3 4 5 6 7 8 9 10
blank
Реклама
blank
blank
HR
@Mail.ru
       © Электронная библиотека попечительского совета мехмата МГУ, 2004-2024
Электронная библиотека мехмата МГУ | Valid HTML 4.01! | Valid CSS! О проекте