|
|
Авторизация |
|
|
Поиск по указателям |
|
|
|
|
|
|
|
|
|
|
Абельсон Х., Сассман Д. — Структура и интерпретация компьютерных программ |
|
|
Предметный указатель |
Хайтин, Грегори [Gregory Chaitin] 218
Хайям, Омар 57
Хансон, Кристофер П. [Cristopher P.Hanson] 348 535
Хаос в динамике Солнечной системы [chaos in Solar system] 24
Харди, Годфри Харольд [Godfrey Harold Hardy] 311 321
Хаффман, Дэвид [David huffman] 164
Хаффмана see "код Хаффмана"
Хаффмана код [Huffman code] 163 see
Хаффмана код [huffman code] оптимальность 165
Хаффмана код [huffman code] порядок роста для кодирования 170
Хвостовая рекурсия в списке аргументов [evlis tail recursion] 505
Хвостовая рекурсия [tail recursion] 51 508
Хвостовая рекурсия [tail recursion] в Scheme 52
Хвостовая рекурсия [tail recursion] и вычислитель с явным управлением 508 515 516
Хвостовая рекурсия [tail recursion] и компилятор 535
Хвостовая рекурсия [tail recursion] и метациклический интерпретатор 508
Хвостовая рекурсия [tail recursion] и модель с окружениями 234
Хвостовая рекурсия [tail recursion] и сборка мусора 535
Хейвендер, Дж. [J. Havender] 297
Хейнс, Кристофер Т. [Christopher T.Haynes] 337
Хендерсон, Питер [Peter Henderson] 132 308 333
Хендерсон, Питер [Peter Henderson] Хендерсоновская диаграмма 308
Херн, Энтони К. [Anthony C. Hearn] 24
Хилфингер, Пол [Paul Hilfinger] 162
Хоар, Чарльз Энтони Ричард [Charles Anthony Richard Hoare] 100
Ходжес, Эндрю [Andrew Hodges] 359
Хофштадтер, Жуглас Р. [Douglas R. Hofstadter] 359
Хьюз, Р. Дж. M. [R. J. M. Hughes] 380
Хьюитт, Карл Эдди [Carl Eddie Hewitt] 51 385 405 495
Хэмминг, Ричард уэсли [Richard Wesley Hamming] 165 311
Целевой регистр [target] 520
Целые числа [integers] 25
Целые числа [integers] деление 42
Целые числа [integers] точные 42
Цепная дробь [continued fraction] 82
Цепная дробь [continued fraction] е 83
Цепная дробь [continued fraction] золотое сечение 82
Цепная дробь [continued fraction] тангенс 83
Цепь электрическая [circuit] моделируемая с помощью потоков 322 328
Цзю Ши-Цзе [Chu Shih-Chieh] 57
Цикл в списке [cycle in list] 245
Цикл в списке [cycle in list] обнаружение 248
Цикл обратной связи, моделируемый с помощью потоков [feedback loop] 324
Цикл чтение-вычисление-печать 27
Цикл чтение-вычисление-печать [read-eval-print loop] 27 see
Циклические конструкции [looping constructs] 42 51
Циклические конструкции [looping constructs] реализация в метациклическом интерпретаторе 350
Цифровой сигнал [digital signal] 261
Чанда-сутра 61
Чарняк, Юджин [Eugene Charniak] 385
Чебышев, Пафнутий Львович 311
Чезаро, Эрнесто [Ernesto Cesaro] 219
Чепман, Дэвид [David Chapman] 385
Черный ящик [black box] 44
Чёрч, алонсо [alonzo church] 75 102
Чёрча числа [Church numerals] 102
Чёрча — Тьюринга тезис see "Тезис Чёрча — Тьюринга"
Чёрча — Тьюринга тезис [Church — Turing thesis] 359
Чисел теория [number theory] 65
Числа [numbers] в Лиспе 26
Числа [numbers] в обобщенной арифметической системе 187
Числа [numbers] вещественные [real] 25
Числа [numbers] десятичная точка 42
Числа [numbers] зависимость от реализации 42
Числа [numbers] простые по отношению к другому числу 74
Числа [numbers] равенство 36 149 491
Числа [numbers] рациональные 42
Числа [numbers] сравнение 36
Числа [numbers] точные целые 42
Числа [numbers] целые vs. Вещественные 25
Числа [numbers] целые [integer] 25
Численные данные [numerical data] 25
Численный анализ [numerical analysis] 25
Шамир, Ади [Adi Shamir] 67
Шахматы, задача о восьми ферзях [chess, eight-queens puzzle] 130 389
Шишка (правило) 413 428
Шмидт, Эрик [Eric Schmidt] 225
Шроуб, Ховард Э. [Howard E. Shrobe] 406
Эдинбургский университет [University of Edinburgh] 405
Эйлер, Леонард [Leonhard Euler] 83
Эйлер, Леонард [Leonhard Euler] доказательство малой теоремы Ферма 65
Эйлер, Леонард [Leonhard Euler] ускоритель рядов 315
Эйндховенский технический Университет 294
Экспоненциальный рост [exponential growth] 58
Электрические цепи, моделируемые с помощью потоков 322 328
Элементарное ограничение [primitive constraint] 272
Элементарные выражения [primitive expressions] 25
Элементарные выражения [primitive expressions] вычисление 30
Элементарные выражения [primitive expressions] имя переменной 28
| Элементарные выражения [primitive expressions] имя элементарной процедуры 26
Элементарные выражения [primitive expressions] числа 26
Элементарные выражения [primitive expressions] элементарные процедуры [primitives] * 26
Элементарные выражения [primitive expressions] элементарные процедуры [primitives] + 26
Элементарные выражения [primitive expressions] элементарные процедуры [primitives] - 26 36
Элементарные выражения [primitive expressions] элементарные процедуры [primitives] / 26
Элементарные выражения [primitive expressions] элементарные процедуры [primitives] < 36
Элементарные выражения [primitive expressions] элементарные процедуры [primitives] = 36
Элементарные выражения [primitive expressions] элементарные процедуры [primitives] > 36
Элементарные выражения [primitive expressions] элементарные процедуры [primitives] apply 182
Элементарные выражения [primitive expressions] элементарные процедуры [primitives] atan 174
Элементарные выражения [primitive expressions] элементарные процедуры [primitives] car 95
Элементарные выражения [primitive expressions] элементарные процедуры [primitives] cdr 95
Элементарные выражения [primitive expressions] элементарные процедуры [primitives] cons 95
Элементарные выражения [primitive expressions] элементарные процедуры [primitives] cos 81
Элементарные выражения [primitive expressions] элементарные процедуры [primitives] display 96
Элементарные выражения [primitive expressions] элементарные процедуры [primitives] eq? 148
Элементарные выражения [primitive expressions] элементарные процедуры [primitives] error (нс) 80
Элементарные выражения [primitive expressions] элементарные процедуры [primitives] eval (нс) 360
Элементарные выражения [primitive expressions] элементарные процедуры [primitives] list 108
Элементарные выражения [primitive expressions] элементарные процедуры [primitives] log 82
Элементарные выражения [primitive expressions] элементарные процедуры [primitives] max 103
Элементарные выражения [primitive expressions] элементарные процедуры [primitives] min 103
Элементарные выражения [primitive expressions] элементарные процедуры [primitives] newline 96
Элементарные выражения [primitive expressions] элементарные процедуры [primitives] not 37
Элементарные выражения [primitive expressions] элементарные процедуры [primitives] null? 110
Элементарные выражения [primitive expressions] элементарные процедуры [primitives] number 150
Элементарные выражения [primitive expressions] элементарные процедуры [primitives] pair? 117
Элементарные выражения [primitive expressions] элементарные процедуры [primitives] quotient 312
Элементарные выражения [primitive expressions] элементарные процедуры [primitives] random (нс) 66 221
Элементарные выражения [primitive expressions] элементарные процедуры [primitives] read 356
Элементарные выражения [primitive expressions] элементарные процедуры [primitives] remainder 60
Элементарные выражения [primitive expressions] элементарные процедуры [primitives] round 198
Элементарные выражения [primitive expressions] элементарные процедуры [primitives] runtime (нс) 67
Элементарные выражения [primitive expressions] элементарные процедуры [primitives] set-car! 242
Элементарные выражения [primitive expressions] элементарные процедуры [primitives] set-cdr! 242
Элементарные выражения [primitive expressions] элементарные процедуры [primitives] sin 81
Элементарные выражения [primitive expressions] элементарные процедуры [primitives] symbol? 151
Элементарные выражения [primitive expressions] элементарные процедуры [primitives] vector-ref 490
Элементарные выражения [primitive expressions] элементарные процедуры [primitives] vector-set! 490
Элементарный запрос [primitive query] see "простой запрос"
Элементы вычисления первого класса [first-class elements of computation] 87 see
Эратосфен 308
Эффективность [efficiency] see "Порядок роста"
Эффективность [efficiency] вычисления 365
Эффективность [efficiency] доступа к базе данных 418
Эффективность [efficiency] древовидно-рекурсивного процесса 57
Эффективность [efficiency] компиляции 518
Эффективность [efficiency] Лиспа 24
Эффективность [efficiency] обработки запросов 420
Эшер, Мориц Корнелис [Maurits Cornells Escher] 132
Явное кодирование элементарных процедур [open coding of primitives] 547 550
Язык запросов [query language] 406 407
Язык запросов [query language] vs. Математическая логика 425
Язык запросов [query language] абстракция 412
Язык запросов [query language] база данных 407
Язык запросов [query language] логический вывод 415
Язык запросов [query language] правило see "правило (в языке запросов)"
Язык запросов [query language] проверка на равенство 412
Язык запросов [query language] простой запрос see "простой запрос"
Язык запросов [query language] расширения 428 447
Язык запросов [query language] составной запрос see "составной запрос"
Язык описания изображений [picture language] 133
Язык программирования [programming language] 22
Язык программирования [programming language] логического 406
Язык программирования [programming language] объектно-ориентированный 195
Язык программирования [programming language] с аппликативным порядком вычислений [applicative-order] 370
Язык программирования [programming language] с нормальным порядком вычислений [normal-order] 370
Язык программирования [programming language] сверхвысокого уровня 40
Язык программирования [programming language] сильно типизированный 328
Язык программирования [programming language] строение 369
Язык программирования [programming language] функциональный 333
Язык регистровых машин [register machine language] assign 455 471
Язык регистровых машин [register machine language] branch 454 471
Язык регистровых машин [register machine language] const 455 471
Язык регистровых машин [register machine language] goto 454 471
Язык регистровых машин [register machine language] label 454
Язык регистровых машин [register machine language] op 455 471
Язык регистровых машин [register machine language] perform 457 471
Язык регистровых машин [register machine language] reg 455 471
Язык регистровых машин [register machine language] restore 467 471
Язык регистровых машин [register machine language] save 467 471
Язык регистровых машин [register machine language] test 454 471
Язык регистровых машин [register machine language] команды 454 471
Язык регистровых машин [register machine language] метка 454
Язык регистровых машин [register machine language] точки входа 454
Язык сверхвысокого уровня [very high-level language] 40
Язык [language] see "естественный язык" "язык
Ячейка, в реализации сериализатора [cell, in serializer implementation] 295
|
|
|
Реклама |
|
|
|