Главная    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
Предметный указатель
!, в именах процедур      214
" (двойная кавычка)      147
"Болт, Беранек и Ньюман" [Bolt, Beranek and Newman, inc.]      24
"как сделать" vs. "что такое" ["what is" vs. "how to"]      see "императивное vs. Декларативное знание"
"Микрошафт" (Microshaft)      407
"червь" в интернете [internet "worm"]      554
"что такое" vs. "как сделать" ["how to" vs. "what is"]      see "декларативное vs. Императивное знание"
#f      36
#t      36
$e^{x}$, степенной ряд      312
$\lambda$-исчисление      see "Лямбда-исчисление"
$\mapsto$, математическая запись для функций      81
$\pi$      see "Пи"
$\Sigma$      see "Сигма-запись"
$\Theta(f(n))$      see "Тета от f(n)"
' (обратная кавычка)      524
' (одинарная кавычка)      147
* (элементарная процедура умножения)      26
+ (элементарная процедура сложения)      26
, (запятая, внутри обратной кавычки)      524
- (элементарная процедура вычитания)      26
- (элементарная процедура вычитания) как смена знака      36
/ (элементарная процедура деления)      26
;      see "Точка с запятой"
< (элементарный предикат сравнения чисел)      36
= (элементарный предикат сравнения чисел)      36
=number?      153
=zero? (обобщенная)      191
=zero? (обобщенная) для многочленов      204
> (элементарный предикат сравнения чисел)      36
>= (элементарный предикат сравнения чисел)      38
?, в именах предикатов      41
abs      36 37
accelerated-sequence      316
accumulate      74 123
accumulate то же, что fold-right      127
accumulate-n      126
actual-value      373
Ada (Ада), рекурсивные процедуры      51
add (обобщенная)      187
add (обобщенная) примененная к коэффициентам многочленов      202
add-action!      264
add-binding-to-frame!      352
add-complex      173
add-complex-to-schemenum      191
add-interval      103
add-lists      380
add-poly      200
add-rat      94
add-rule-or-assertion!      441
add-streams      309
add-terms      201
add-to-agenda!      267 270
add-vect      141
Addend      150 152
adder (элементарное ограничение)      275
adjoin-arg      504
adjoin-set      154
adjoin-set для множеств взвешенных элементов      168
adjoin-set представление в виде бинарных деревьев      159
adjoin-set представление в виде неупорядоченных списков      155
adjoin-set представление в виде упорядоченных списков      157
adjoin-term      201 204
advance-pc      481
after-delay      264
Algol (Алгол), бедность средств работы с составными объектами      281
Algol (Алгол),блочная структура      47
Algol (Алгол),передача аргументов по имени [call by name]      306 372
Algol (Алгол),санки      306 372
all-regs (компилятор)      535
always-true      434
amb      383
ambeval      396
an-element-of      383
an-integer-starting-from      383
analyze, метациклическая      366
analyze, недетерминистская      396
analyze-... метациклические      366 369
analyze-... недетерминистские      397
analyze-amb      401
and (особая форма)      37
and (особая форма) без подвыражений      348
and (особая форма) вычисление      37
and (особая форма) почему особая форма      38
and (язык запросов)      411
and (язык запросов) обработка      419 432 448
and-gate      264
angle декартово представление      174
angle полярное представление      175
angle с помеченными данными      178
angle управляемая данными      182
angle-polar      177
angle-rectangular      176
announce-output      356
APL      125
APPEND      110 110 244
append "что такое" (правила) или "как сделать" (процедура)      405
append vs. append!      244
append как накопление      125
append как регистровая машина      494
append с произвольным числом аргументов      538
append!      245
append! как регистровая машина      494
append-instruction-sequences      521 537
append-to-form (правила)      415
application?      346
apply (ленивая)      373
apply (метациклическая)      341
apply (метациклическая) vs. элементарная apply      355
apply (элементарная процедура)      182
apply-dispatch      506
apply-dispatch с учетом скомпилированных процедур      551
apply-generic      182
apply-generic с башней типов      194
apply-generic с приведением      193 197
apply-generic с приведением нескольких аргументов      197
apply-generic с приведением через последовательный подъем      198
apply-generic с упрощением типа      198
apply-generic через передачу сообщений      185
apply-primitive-procedure      341 351 356
apply-rules      436
argl, регистр      501
articles      389
assemble      476 478
assert! (интерпретатор запросов)      424
assign (в регистровой машине)      455
assign (в регистровой машине) имитация      481
assign (в регистровой машине) сохранение метки в регистре      461
assign-reg-name      481
assign-value-exp      481
assignment-value      344
assignment-variable      344
assignment?      344
assoc      256
atan (элементарная процедура)      174
attach-tag      176
attach-tag использование типов Scheme      191
Augend      150 152
Average      41
average-damp      83
averager (ограничение)      279
Basic (Бейсик) бедность средств работы с составными объектами      281
Basic (Бейсик) ограничения на составные данные      107
begin-actions      346
begin?      346
Below      134 145
beside      133 144
branch (в регистровой машине)      454
branch (в регистровой машине) имитация      482
branch-dest      482
cadr      108
call-each      266
cd...г      108
cdr (элементарная процедура)      95
cdr (элементарная процедура) как операция над списком      108
cdr (элементарная процедура) описывающая аксиома      100
cdr (элементарная процедура) происхождение имени      95
cdr (элементарная процедура) процедурная реализация      101 102 249 379
cdr (элементарная процедура) реализация с мутаторами      249
cdr (элементарная процедура) реализация через векторы      492
celsius-fahrenheit-converter      273
celsius-fahrenheit-converter в формате выражения      280
Center      104
cesaro-stream      330
cesaro-test      219
coeff      201 204
Common Lisp      24
Common Lisp трактовка nil      109
compile      520
compile-and-go      551 553
compile-and-run      556
compile-application      530
compile-assignment      526
compile-definition      526
compile-if      527
compile-lambda      529
compile-linkage      524
compile-proc-appl      535
compile-procedure-call      533
compile-quoted      525
compile-self-evaluating      525
compile-sequence      528
compile-variable      525
compiled-apply      552
compiled-procedure      529
compiled-procedure-entry      529
compiled-procedure-env      529
complex, пакет      189
complex->complex      197
compound-apply      506
compound-procedure?      351
cond (особая форма)      36
cond (особая форма) vs. if      37
cond (особая форма) вариант синтаксиса ветвей      349
cond (особая форма) ветвь      36
cond (особая форма) вычисление      36
cond (особая форма) неявный begin в следствиях      214
cond->if      347
cond-actions      347
cond-clauses      347
cond-else-clause?      347
cond-predicate      347
cond?      347
conjoin      432
connect      275 279
Conniver (Коннивер)      385
cons (элементарная процедура)      95
cons (элементарная процедура) как операция над списком      109
cons (элементарная процедура) описывающие аксиомы      100
cons (элементарная процедура) происхождение имени      95
cons (элементарная процедура) процедурная реализация      101 101 244 249 379
cons (элементарная процедура) реализация с мутаторами      249
cons (элементарная процедура) реализация через векторы      493
cons-stream (особая форма)      301 302
cons-stream (особая форма) и ленивые вычисления      379
cons-stream (особая форма) почему особая форма      303
const (в регистровой машине)      455
const (в регистровой машине) имитация      484
const (в регистровой машине) синтаксис      471
constant (элементарное ограничение)      277
constant-exp-value      484
constant-exp?      484
construct-arglist      531
Contents      176
contents использование типов Scheme      191
continue, регистр      461
continue, регистр в вычислителе с явным управлением      501
continue, регистр и рекурсия      467
corner-split      137
cos (элементарная процедура)      81
count-change      56
count-leaves      115 117
count-leaves как накопление      126
count-leaves как регистровая машина      494
count-pairs      248
cube      59 69 85
cube-root      84
current-time      267 270
Decode      167
deep-reverse      117
define (особая форма)      28
define (особая форма) vs. lambda      75
define (особая форма) внутренняя      see "Внутренние определения"
define (особая форма) для процедур      32 75
define (особая форма) значение выражения      28
define (особая форма) модель с окружениями      231
define (особая форма) почему особая форма      30
define (особая форма) синтаксический сахар      344
define (особая форма) точечная запись      112
define-variable!      351
definition-value      345
definition-variable      344
definition?      344
delay (особая форма)      302
delay (особая форма) и ленивые вычисления      379
delay (особая форма) мемоизированная      305 312
delay (особая форма) почему особая форма      303
delay (особая форма) реализация с помощью lambda      305
delay (особая форма) явная      325
delay (особая форма) явная vs. автоматическая      380
delay-it      375
delete-queue!      251 253
denom      94 96
denom описывающая аксиома      100
denom с приведением к наименьшему знаменателю      99
deposit (сообщение для банковского счета)      216
deposit, с внешним сериализатором      292
deriv (символическая)      151
deriv (символическая) управляемая данными      183
deriv (численная)      85
disjoin      432
display (элементарная процедура)      67 96
display-line      302
display-stream      302
distinct?      387
div (обобщенная)      187
div-complex      174
div-interval      103
div-interval деление на ноль      104
div-poly      205
div-rat      94
div-series      314
div-terms      205
divides?      64
divisible?      307
DOS/Windows      516
dot-product      127
draw-line      141
driver-loop для ленивого интерпретатора      374
driver-loop для метациклического интерпретатора      356
driver-loop для недетерминистского интерпретатора      402
e как решение дифференциального уравнения      326
e как цепная дробь      83
edge2-frame      140
edgel-frame      140
EIEIO      298
EIEIO представление в виде бинарных деревьев      159
EIEIO представление в виде неупорядоченных списков      155
EIEIO представление в виде упорядоченных списков      156
element-of-set?      154
1 2 3 4 5 6 7 8 9 10
blank
Реклама
blank
blank
HR
@Mail.ru
       © Электронная библиотека попечительского совета мехмата МГУ, 2004-2020
Электронная библиотека мехмата МГУ | Valid HTML 4.01! | Valid CSS! О проекте