Ривест, Рональд Л. [Ronald L. Rivest]

45а, 136а

Рис, Джонатан А. [Jonathan A. Rees]

319а, 337а

рисовалка [painter] 108 операции 109

операции высших порядков 115 представление в виде процедуры 117 преобразование и комбинирование

119

Робинсон, Дж. А. [J. A. Robinson]

375а

Роджерс, Уильям Бартон [William

Barton Rogers] 108га рок-песни 1950х гг [1950s rock songs]

145 (упр. 2.70)

Росас, Гильермо Хуан [Guillermo Juan

Rozas] 503а русского крестьянина метод

умножения [Russian peasant

method of multiplication] 39а Рэймонд, Эрик [Eric Raymond] 341га,

355а

сconsить [cons up] 87 Савин, А.Н. 1

Сазерленд, Айвен [Ivan Sutherland]

246а

самовычисляющееся выражение [self-evaluating expression] 312

самосознание, повышение уровня

[expansion of consciousness] 314а

санк [thunk] 343

вызова по имени [call-by-name]

279а

вызова по необходимости

[call-by-need] 279а

вынуждение 343 происхождение названия 343а реализация 346 Сассман, Джеральд Джей [Gerald Jay

Sussman] 3а, 246а, 355а Сассман, Джули Эстер Мазель, племянницы [nieces of Julie Esther Mazel Sussman] 122 сбалансированное бинарное дерево [balanced binary tree] 135, см. также бинарное дерево сбалансированный мобиль [balanced

mobile] 94 (упр. 2.29)

сборка мусора [garbage collection]

346а, 458, 463, 464

и изменения данных 218а

и мемоизация 346а

и хвостовая рекурсия 503а

сжимающая [compacting] 464а

через остановку с копированием

[stop-and-copy] 464 через пометку с очисткой

[mark-sweep] 464а сборщик мусора [garbage collector]

218а

остановка с копированием 464 сжимающий 464а через пометку с очисткой 464а свободная переменная [free variable]

24

захват 24

лексическая сфера действия 25 связанная переменная [bound variable]

24

связывание [binding] 24, 203

глубокое [deep] 325а сглаживание сигнала [smoothing a

signal] 296 (упр. 3.75), 296 (упр. 3.76)

сглаживание функции 65 (упр. 1.44) секретарь, его важное значение

[importance of a secretary] 379 селектор [selector] 70

как барьер абстракции 74

обобщенный 152, 154 семафор [semaphore] 268а

размера n 269 (упр. 3.47) сериализатор [serializer] 261, 262

реализация 267

с множественными разделяемыми ресурсами 265 сеть ограничений [constraint network]

247

сжимающий сборщик мусора

[compacting garbage collector] 464а

сигма-запись ( ) 49 сильно типизированный язык

[strongly typed language] 301а символ в коде ASCII [character in

ASCII encoding] 139

символ(ы) [symbol(s)] 122

восприятие 461 кавычки 123 представление 460 равенство 124 уникальность 222а символьная алгебра [symbolic algebra]

173

символьное выражение [symbolic expression] 69, см. также символ(ы)

символьное дифференцирование

[symbolic differentiation] 125, 158

(упр. 2.73)

Симпсона правило для численного интегрирования [Simpsons Rule for numerical integration] 50

(упр. 1.29)

синтаксис [syntax] 311, см. также особые формы абстрактный см. абстрактный

синтаксис выражений, описание 10а языка программирования 9 синтаксический анализ естественного языка [parsing] 360 настоящая обработка языка vs. игрушечный анализатор 364а синтаксический анализ, отделение от выполнения [separating syntactic analysis from execution] в имитаторе регистровых машин

445, 450

в метациклическом интерпретаторе

336

синтаксический интерфейс [syntax

interface] 241а синтаксический сахар [syntactic sugar] 10а define 316

let 55

процедура vs. данные 241а циклические конструкции 30 синус [sine]

приближение при малых углах 37

(упр. 1.15)

степенной ряд 285 (упр. 3.59) синхронизация см. параллелизм систематический поиск [systematic search] 355

скобки [parentheses]

в определении процедуры 11 обозначающие клаузу cond 15 обозначение применения функции к аргументам 5 слизывание [snarfing] 341а слияние [merge] 306 слияние бесконечных потоков [merging infinite streams] см. бесконечные потоки смещение [displacement] 516 собака идеально разумная, поведение [behavior of a perfectly rational

dog] 269а

совместимое расширение

[upward-compatible extension] 349

(упр. 4.31)

согласованность кэша [cache

coherence] 258а соглашение об именах [naming

conventions] ! для присваиваний и изменений

190а

? для предикатов 20га соединитель (соединители) в системе ограничений [connector(s), in constraint system] 247 операции 249 представление 252 сокрытие связывания [shadowing a

binding] 204

сокрытия принцип [hiding principle]

191а

Соломонофф, Рэй [Ray Solomonoff]

194а

сопоставитель [pattern matcher] 387 сопоставление с образцом [pattern matching] 387 vs. унификация 392, 393а реализация 403 сопротивление [resistance] погрешность 79 формула для параллельных резисторов 79, 81 составная процедура [compound procedure] 10, см. также процедура использование в качестве элементарных 11

составное выражение [compound expression] 5, см. также комбинация; особая форма как оператор комбинации 17

(упр. 1.4)

составной запрос [compound query]

381

обработка 389, 401, 416 (упр. 4.75), 417 (упр. 4.76), 417 (упр. 4.77)

составной объект данных [compound

data object] 68 составные данные, их необходимость

[compound data, need for] 67 состояние [state]

внутреннее см. внутреннее

состояние исчезновение в потоковой

формулировке 304 разделяемое 258 Спаффорд, Юджин Г. [Eugene H.

Spafford] 522а

специалист по численному анализу

[numerical analyst] 57а списковая структура 72, 84а

vs. список 84а

изменяемая 217

представленная с помощью векторов 459 список [list] 84, 84а

n-й элемент 86

vs. списковая структура 84а

длина 86

кавычки 123

ленивый 349

манипуляции с car, cdr и cons 85 методы работы 86 обратная кавычка 493а обращение 87 (упр. 2.18) операции 86 отображение 89 последняя пара 87 (упр. 2.17) представление на печати 85 преобразование в бинарное дерево

137 (упр. 2.64)

преобразование из бинарного

дерева 136 (упр. 2.63) пустой см. пустой список равенство 124 (упр. 2.54) с заголовком [headed] 230, 244а

«сconsивание» 87 соединение через append 87 «уcdrивание» 86 список свободных ячеек [free list]

461а

список термов многочлена [term list of polynomial] 174, 175 представление 178 средства абстракции [means of abstraction] 4 define 7 средства комбинирования [means of cvombination] 4, см. также замыкание стандартный интерфейс [conventional interface] 69, 96 последовательность 96 стек [stack] 29га, 436

для рекурсии в регистровой

машине 432 кадрированный 472а представление 443, 462 степенной ряд, представленный как поток [power series, as a stream]

285 (упр. 3.59)

деление 286 (упр. 3.62)

перемножение 286 (упр. 3.60)

сложение 286 (упр. 3.60) степенные ряды как потоки

интегрирование 285 (упр. 3.59) Стил, Гай Льюис мл. [Guy Lewis

Steele Jr.] 3а, 30а, 202а, 246а, 341а, 355а

стиль, ориентированный на

выражения, vs. императивный стиль [expression-oriented style vs. imperative style] 255а

Стой, Джозеф Э. [Joseph E. Stoy]

13а, 40а, 336а

Столлман, Ричард М. [Richard M.

Stallman] 246а, 356а

Стрейчи, Кристофер [Christopher

Strachey] 64а стрелка [pointer] 82

в стрелочной диаграмме 82 стрелочная диаграмма

[box-and-pointer notation] 82 строгая процедура [procedure] 342 строка [string]