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

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


ќбложка.  рупно.
ISBN 978-5-91329-013-7
2008. 384 c.
ЅЅ  22.176€73
”ƒ  519.711.4(076.2)
ћ€гкий переплет.
÷ена 1
198
÷ена 2
-
÷ены действительны до
06.12.2022
÷ена 1 с учетом Ќƒ—
÷ена 2 с учетом почтовых расходов по –‘ и Ќƒ—.
ѕќЋќ∆»“№ ¬  ќ–«»Ќ”


јннотаци€


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


—м. также


—одержание


ѕќЋќ∆»“№ ¬  ќ–«»Ќ”

¬ольфенгаген ¬.Ё.
3-е изд., перераб. и дополн.

.

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

—м. также

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


—одержание

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

Special Preface

 руг вопросов

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

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

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

¬ведение

 омбинаторы: объекты, помогающие пон€ть строение компьютинга 39

  •  омпьютинг и его проблематика 40
  • јппликативна€ среда: взаимодействие объектов 42
  • ¬нутренн€€ структура операций: элементарна ли операци€ композиции? 53
  • ”словные конструкции 60
  • Ѕесконечные конструкции 63
  • "–азрешающа€ способность" вычислительной системы? 66

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

  •  руг основных идей 69
  • —труктура раздела 70
  • —осто€ние исследований 71
  • “ипова€ задача 76
  • ¬арианты задани€ 78
  • –екомендуемый пор€док выполнени€ задани€ 84

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

  • ѕринцип комбинаторной полноты 86
    •  омбинаторна€ характеристика 86
    • —истемы концептов 87
    •  омбинаторна€ полнота 87
    • Ёлементарна€ комбинаторна€ логика 89
  • —интез основных комбинаторов: задачи 91
  • »сторические замечани€ 102
  • Ќа переднем крае исследований 103
    • –едукци€ и экспанси€ объектов 104
    • —интез объекта с заданной характеристикой 106
    • Ѕесконечные конструкции 106

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

  • “еоретические сведени€ 109
    • јбстракци€ 110
    • ћультиабстракци€ 111
    • Ћокальна€ рекурси€ 111
  • ќсновные задачи 112
  • ”пражнени€ 117

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

  • “еоретические сведени€ 119
  • «адачи 121
  • ”пражнени€ 123

Ќумералы 125

  • „исла и нумералы 125
  •  омбинаторна€ арифметика 126
  • «адачи 132
  • ”пражнени€ 135

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

  • ѕредставление о типе 137
    •  омбинаторные термы 140
    • Ћамбда-термы 141
  • «адачи 141

Ѕазис I,  , S 159

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

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

  • “еоретические сведени€ 163
  • —войство базисности 164
  • Ёлементарные примеры 166
  • ”пражнени€ 167

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

  • “еорема о неподвижной точке 169
  • Ёлементы рекурсивных вычислений 170
  • »спользование комбинатора Y 171
  • ¬ычисление функций 173
  • ”пражнени€ 177

‘ункци€ list1 179

  • “еоретические сведени€ 179
  • «адачи 180
  • ‘унктор-как-объект 183
  • ”пражнени€ 184

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

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

 аррирование 189

  • “еоретические сведени€ 189
    • ќператоры и функции 189
    • —вертывание 190
    • —оответствие операторов и функций 190
  • «адачи 191
  • ”пражнени€ 193

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

  • “еоретические сведени€ 195
  • «адачи 196
  • ”пражнени€ 200

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

  • “еоретические сведени€ 203
  • «адача 204
  • ѕроизведение и декартово замкнута€ категори€ 208

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

  • “еоретические сведени€ 209
  • ќсновна€ задача 210
  • «аключительные замечани€ 216

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

  • “еоретические сведени€ 217
    • ѕон€тие о суперкомбинаторе 218
    • ѕроцесс компил€ции 220
    • ѕриведение к суперкомбинаторам 221
    • ”странение избыточных параметров 223
    • ”пор€дочивание параметров 224
    • Ћамбда-подъем при рекурсии 228
    • –абота алгоритма ламбда-подъема 230
    • ƒругие способы ламбда-подъема 234
    • ѕолна€ ленивость 236
    • ћаксимально свободные выражени€ 238
    • Ћамбда-подъем с использованием ћ—¬ 240
    • ѕолностью ленивый ламбда-подъем с letrec 241
    •  омплексный пример 243
  • «адача 246
  • ќтветы к упражнени€м 248

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

  • «адачи 257
  • ”пражнени€ 260

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

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

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

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

 од де Ѕрейна 271

  • «адачи 271
  • ”пражнени€ 276

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

  • “еоретические сведени€ 277
    • —труктура  јћ 278
    • »нструкции 280
  • «адачи 284
  • ”пражнени€ 284

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

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

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

  • ћодели 299
    • јппликативна€ структура 300
    • ћодели с типами 304
    • „астичные элементы 311
    • ћодели объектов данных 315
  • ќсновна€ задача 319
    • Ёлементарные типы 320
    • “ипизаци€ переменных объектов 321
    • ¬ычислительные модели 323
    • »ндексированные объекты 325
  • »нтерпретаци€ среды вычислений 333
  • "ѕлоха€" задача передачи знаний: теории концепцтов дл€ ее решени€ 333

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

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

    √лоссарий 361

    ѕрактикум 377

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