Ѕиблиотека ёр»нфо–® >>>  омпьютерные науки и информационные технологии >>>

 омбинаторна€ логика в программировании: ¬ычислени€ с объектами в примерах и задачах


ќбложка.  рупно.
ISBN 5-89158-101-9
2003. 342 c. ¬721
ЅЅ  32.97
”ƒ  004
“вердый переплет.

÷ена 1
154.00
÷ена 2
381.00
 ”ѕ»“№ ќЌЋј…Ќ
÷ены действительны до
31.03.2021
÷ена 1 с учетом Ќƒ—
÷ена 2 с учетом почтовых расходов по –‘ и Ќƒ—.


јннотаци€


 ак приобрести


—м. также


—одержание


 ”ѕ»“№ ќЌЋј…Ќ

¬ольфенгаген ¬.Ё.
»зд. 2-е.

.

»зложен основной круг задач, сводимых к исчислению объектов - "от простого к сложному".  онкретный вариант исчислени€ выбираетс€ в зависимости от решаемых задач. ¬ ходе последовательного решени€ задач читатель овладевает основными методами и средствами комбинаторной логики и л€мбда-исчислени€. ¬се задачи снабжены подробными и элементарными решени€ми.

ƒл€ студентов старших курсов и аспирантов, изучающих математические основы объектно-ориентированных вычислени€, начинающих и профессионально работающих над продвинутыми проектами программистов. ћожет быть использована в курсах дискретной математики, информатики, теории программировани€. ѕредварительной математической подготовки не требуетс€. ћатериал частично или полностью может быть использован дл€ самосто€тельного изучени€ как книга "дл€ первого чтени€".


—м. также

ƒополнительные учебно-методические материалы и компьютерные обучающие средства (практикумы, активные книги)


—одержание

ѕредисловие редактора серии

Special Preface

 руг вопросов 5

ѕредисловие к первому изданию

ѕредисловие ко второму изданию

¬ведение

ѕредварительные сведени€

  •  руг основных идей 29
  • —труктура раздела 30
  • —осто€ние исследований 31
  • “ипова€ задача 35
  • ¬арианты задани€ 37
  • –екомендуемый пор€док выполнени€ задани€ ... 44

—интез нового объекта 45

  • ѕринцип комбинаторной полноты 46
       омбинаторна€ характеристика 46 —истемы концептов 47
    •  омбинаторна€ полнота 48
    • Ёлементарна€ комбинаторна€ логика .... 49
  • —интез основных комбинаторов: задачи 52
  • »сторические замечани€ 63

Ќеподвижна€ точка 65

  • “еоретические сведени€ 65
    • јбстракци€ 66
    • ћультиабстракци€ 67
    • Ћокальна€ рекурси€ 67
  • ќсновные задачи 68
  • ”пражнени€ 73

Ёкстенсиональность 75

  • “еоретические сведени€ 75
  • «адачи 77
  • ”пражнени€ 80

Ќумералы 81

  • „исла и нумералы 81
  •  омбинаторна€ арифметика 82
  • «адачи 88
  • ”пражнени€ 92

 омбинаторы с типами 93

  • ѕредставление о типе 93
     омбинаторные термы 96
    l-термы 97
  • «адачи 97

Ѕазис I,  , S 113

  • “еоретические сведени€ 114
  • «адачи 114
  • ”пражнени€ 115

Ѕазис I, ¬, —, S 117

  • “еоретические сведени€ 117
  • —войство базисности 118
  • Ёлементарные примеры 120
  • ”пражнени€ 121

ѕрименени€ неподвижной точки Y 123

  • “еорема о неподвижной точке 123
  • Ёлементы рекурсивных вычислений 124
  • »спользование комбинатора Y 125
  • ¬ычисление функций 127
  • ”пражнени€ 131

‘ункци€ list1 133

  • “еоретические сведени€ 133
  • «адачи 134
  • ‘унктор-как-объект 137
  • ”пражнени€ 138

»зоморфизм д.з.к. и ABC 139

  • “еоретические сведени€ 139
  • «адачи 141

 аррирование 143

  • “еоретические сведени€ 143
    • ќператоры и функции 143
    • —вертывание 144
    • —оответствие операторов и функций 144
  • «адачи 145
  • ”пражнени€ 147

ќболочка  аруби 149

  • “еоретические сведени€ 149
  • «адачи 150
  • ”пражнени€ 155

ѕроизведение и проекции 157

  • “еоретические сведени€ 157
  • «адача 158
  • ѕроизведение и декартово замкнута€ категори€ . . 162

ѕогружение Lisp в ABC 163

  • “еоретические сведени€ 163
  • ќсновна€ задача 164
  • «аключительные замечани€ 170

—уперкомбинаторы 171

  • “еоретические сведени€ 171
    • ѕон€тие о суперкомбинаторе 172
    • ѕроцесс компил€ции 174
    • ѕриведение к суперкомбинаторам 175
    • ”странение избыточных параметров 177
    • ”пор€дочивание параметров 179
    • Ћамбда-подъем при рекурсии 183
    • –абота алгоритма ламбда-подъема 186
    • ƒругие способы ламбда-подъема 189
    • ѕолна€ ленивость 191
    • ћаксимально свободные выражени€ .... 194
    • Ћамбда-подъем с использованием ћ—¬ . . 195
    • ѕолностью ленивый ламбда-подъем с letrec 197
    •  омплексный пример 199
  • «адача 201
  • ќтветы к упражнени€м 204

Ћенива€ реализаци€ 213

  • «адачи 213
  • ”пражнени€ 216

ѕерестановка параметров 217

  • «адача 217
  • ”пражнени€ 222
  • ¬опросы дл€ самопроверки 222

Ќепосредственные вычислени€ 223

  • «адача 223
  • ”пражнени€ 225
  • ¬опросы дл€ самопроверки 226

 од де Ѕрейна 227

  • «адачи 227
  • ”пражнени€ 232

јбстрактна€ машина:  јћ 233

  • “еоретические сведени€ 233
    • —труктура  јћ 234
    • »нструкции 236
  • «адачи 240
  • ”пражнени€ 242

ќптимизаци€  јћ-вычислений 243

  • «адача 243
  • ”пражнени€ 252
  • ¬опросы дл€ самопроверки 253

ѕеременные объекты 255

  • ћодели 255
    • јппликативна€ структура 256
    • ћодели с типами 260
    • „астичные элементы 267
    • дели объектов данных 271
  • ќсновна€ задача 276
    • Ёлементарные типы 276
    • “ипизаци€ переменных объектов 278
    • ¬ычислительные модели 280
    • »ндексированные объекты 282
  • »нтерпретаци€ среды вычислений 290

Ѕиблиографи€ 291

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

√лоссарий 313

ѕрактикум 329

ƒиссертации 333