Абельсон Х., Сассман Д.Д., Сассман Д. — Структура и интерпретация компьютерных программ :: Электронная библиотека попечительского совета мехмата МГУ

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

Авторизация

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

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

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

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

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

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

Язык:

Рубрика: Computer science/

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

ed2k: ed2k stats

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

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

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

Операции: Положить на полку | Скопировать ссылку для форума | Скопировать ID

Предметный указатель

Хендерсон, Питер      108п 281п 305п
Хендерсоновская диаграмма      281
Херн, Энтони К.      3п
Хилфингер, Пол      137п
Хоар, Чарльз Энтони Ричард      77п
Ходжес, Эндрю      330п
Хофштадтер, Дуглас Р.      330п
Хьюз, Р. Дж. М.      351п
Хьюитт, Карл Эдди      30п 355п 375п 464п
Хэмминг, Ричард Уэсли      141п 284
Целевой регистр [target]      489
Целые числа [integers]      4п
Целые числа [integers] точные      20п
Целые числа [integers], деление      20п
Цепная дробь [continued fraction]      60 (упр. 1.37)
Цепная дробь [continued fraction] е      60 (упр. 1.38)
Цепная дробь [continued fraction], золотое сечение      60 (упр. 1.37)
Цепная дробь [continued fraction], тангенс      60 (упр. 1.39)
Цепь электрическая [circuit] моделируемая с помощью потоков      295 (упр. 3.73) 300
Цзю Ши-Цзе [Chu Shih-Chieh]      35п
Цикл в списке [cycle in list]      221 (упр. 3.13)
Цикл в списке [cycle in list], обнаружение      224 (упр. 3.18)
Цикл обратной связи, моделируемый с помощью потоков [feedback loop]      297
Цикл чтение-вычисление-печать [read-eval-print loop]      6 (см. также «управляющий цикл»)
Циклические конструкции [looping constructs]      20 30
Циклические конструкции [looping constructs], реализация в метациклическом интерпретаторе      322 (упр. 4.9)
Цифровой сигнал [digital signal]      236
Чанда-сутра      39п
Чарняк, Юджин      355п
Чебышев, Пафнутий Львович      284п
Чезаро, Эрнесто      195п
Чепман, Дэвид      356п
Черный ящик [black box]      22
Чёрч, Алонсо      53п 79
Чёрча числа [Church numerals]      79 (упр. 2.6)
Чёрча-Тьюринга тезис      см. «тезис Черча-Тьюринга»
Чёрча-Тьюринга тезис [Church-Turing thesis]      330п
Чисел теория [number theory]      43п
Числа [numbers] в Лиспе      5
Числа [numbers] в обобщенной арифметической системе      162
Числа [numbers] вещественные [real]      4п
Числа [numbers] простые по отношению к другому числу      52 (упр. 1.33)
Числа [numbers] рациональные      20п
Числа [numbers] точные целые      20п
Числа [numbers] целые [integer]      4п
Числа [numbers], десятичная точка      20п
Числа [numbers], зависимость от реализации      20п
Числа [numbers], равенство      15 124п 460п
Числа [numbers], сравнение      15
Числа [numbers], целые vs. вещественные      4п
Численные данные [numerical data]      4
Численный анализ [numerical analysis]      4п
Шамир, Ади      45п
Шахматы, задача о восьми ферзях [chess, eight-queens puzzle]      106 (упр. 2.42) 360
Шишка (правило)      383 398
Шмидт, Эрик      201п
Шроуб, Ховард Э.      376п
Эдинбургский университет [University of Edinburgh]      375п
Эйлер, Леонард      60 (упр. 1.38)
Эйлер, Леонард, доказательство Малой теоремы Ферма      43п
Эйлер, Леонард, ускоритель рядов      288
Эйндховенский технический Университет      268п
Экспоненциальный рост [exponential growth]      36
Электрические цепи, моделируемые с помощью потоков      295 (упр. 3.73) 300
Элементарное ограничение [primitive constraint]      246
Элементарные выражения [primitive expressions]      4
Элементарные выражения [primitive expressions], вычисление      8
Элементарные выражения [primitive expressions], имя переменной      7
Элементарные выражения [primitive expressions], имя элементарной процедуры      5
Элементарные выражения [primitive expressions], числа      5
Элементарные процедуры [primitives] *      5
Элементарные процедуры [primitives] +      5
Элементарные процедуры [primitives] -      5 15п
Элементарные процедуры [primitives] /      5
Элементарные процедуры [primitives] <      15
Элементарные процедуры [primitives] =      15
Элементарные процедуры [primitives] >      15
Элементарные процедуры [primitives] apply      157п
Элементарные процедуры [primitives] atan      149п
Элементарные процедуры [primitives] car      72
Элементарные процедуры [primitives] cdr      72

Элементарные процедуры [primitives] cons      72
Элементарные процедуры [primitives] cos      58
Элементарные процедуры [primitives] display      73п
Элементарные процедуры [primitives] eq?      123
Элементарные процедуры [primitives] error (не)      57п
Элементарные процедуры [primitives] eval (не)      331п
Элементарные процедуры [primitives] list      84
Элементарные процедуры [primitives] log      60 (упр. 1.36)
Элементарные процедуры [primitives] max      80
Элементарные процедуры [primitives] min      80
Элементарные процедуры [primitives] newline      73п
Элементарные процедуры [primitives] not      16
Элементарные процедуры [primitives] null?      86
Элементарные процедуры [primitives] number      126
Элементарные процедуры [primitives] pair?      93
Элементарные процедуры [primitives] quotient      285 (упр. 3.58)
Элементарные процедуры [primitives] random (не)      44 197п
Элементарные процедуры [primitives] read      327п
Элементарные процедуры [primitives] remainder      38
Элементарные процедуры [primitives] round      173п
Элементарные процедуры [primitives] runtime (не)      45 (упр. 1.22)
Элементарные процедуры [primitives] set-car!      217
Элементарные процедуры [primitives] set-cdr!      217
Элементарные процедуры [primitives] sin      58
Элементарные процедуры [primitives] symbol?      127
Элементарные процедуры [primitives] vector-ref      459
Элементарные процедуры [primitives] vector-set!      459
Элементарный запрос [primitive query]      см. «простой запрос»
Элементы вычисления первого класса [first-class elements of computation]      64 (см. также «Полноправные элементы»)
Элементы вычисления первого класса [first-class elements of computation], вычисления Эратосфен      281п
Эффективность [efficiency]      см. также «Порядок роста»
Эффективность [efficiency] вычисления      336
Эффективность [efficiency] доступа к базе данных      388п
Эффективность [efficiency] древовидно-рекурсивного процесса      35
Эффективность [efficiency] компиляции      487
Эффективность [efficiency] Лиспа      3
Эффективность [efficiency] обработки запросов      390
Эшер, Мориц Корнелис      108п
Явное кодирование элементарных процедур [open coding of primitives]      514 (упр. 5.38) 518
Язык запросов [query language]      376 377
Язык запросов [query language], vs. математическая логика      394
Язык запросов [query language], абстракция      382
Язык запросов [query language], база данных      377
Язык запросов [query language], логический вывод      385
Язык запросов [query language], правило      см. «Правило (в языке запросов)»
Язык запросов [query language], проверка на равенство      382п
Язык запросов [query language], простой запрос      см. «Простой запрос»
Язык запросов [query language], расширения      398 (упр. 4.66) 416
Язык запросов [query language], составной запрос      см. «Составной запрос»
Язык описания изображений [picture language]      108
Язык программирования [programming language]      1
Язык программирования [programming language] логического      376
Язык программирования [programming language] объектно-ориентированный      170п
Язык программирования [programming language] с аппликативным порядком вычислений [applicative-order]      341
Язык программирования [programming language] с нормальным порядком вычислений [normal-order]      341
Язык программирования [programming language] сверхвысокого уровня      19п
Язык программирования [programming language] сильно типизированный      301п
Язык программирования [programming language] функциональный      305
Язык программирования [programming language], строение      340
Язык регистровых машин [register machine language] assign      424 440
Язык регистровых машин [register machine language] branch      423 440
Язык регистровых машин [register machine language] const      424 440 441
Язык регистровых машин [register machine language] goto      423 440
Язык регистровых машин [register machine language] label      423
Язык регистровых машин [register machine language] op      424 440
Язык регистровых машин [register machine language] perform      426 440
Язык регистровых машин [register machine language] reg      424 440
Язык регистровых машин [register machine language] restore      436 441
Язык регистровых машин [register machine language] save      436 441
Язык регистровых машин [register machine language] test      423 440
Язык регистровых машин [register machine language], команды      423 440
Язык регистровых машин [register machine language], метка      423
Язык регистровых машин [register machine language], точки входа      423
Язык сверхвысокого уровня [very high-level language]      19п
Язык [language]      см. «Естественный язык»; «Язык программирования»
Ячейка, в реализации сериализатора [cell, in serializer implementation]      268
` (обратная кавычка)      493п
«Болт, Беранек и Ньюман» [Bolt, Beranek and Newman, inc.]      3п
«Как сделать» vs. «что такое» [«what is» vs. «how to»]      см. «Императивное vs. декларативное знание»
«Микрошафт» (Microshaft)      377
«Червь» в Интернете [Internet «worm»]      522п
«Что такое» vs. «как сделать» [«how to» vs. «what is2]      см. «Декларативное vs. императивное знание»

1 2 3 4 5 6 7 8 9 10

О проекте