ЮрИнфоР >>> Библиотека ЮрИнфоР >>> Компьютерные науки и информационные технологии >>>

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

ISBN 5-89158-101-9 2003. 342 c. В721 ББК 32.97 УДК 004 Твердый переплет. Цена 1 154 Цена 2 381 Цены действительны до 31.03.2023 Цена 1 с учетом НДС Цена 2 с учетом почтовых расходов по РФ и НДС. ПОЛОЖИТЬ В КОРЗИНУ × Выберите способ доставки: самовывоз по почте Адрес самовывоза: г. Москва, ул. Малая Пироговская, дом 5, офис 33. При оформлении заказа необходимо будет указать почтовый адрес для отправки посылки с заказом. Отмена Положить в корзину

Аннотация Как приобрести См. также Содержание ПОЛОЖИТЬ В КОРЗИНУ × Выберите способ доставки: самовывоз по почте Адрес самовывоза: г. Москва, ул. Малая Пироговская, дом 5, офис 33. При оформлении заказа необходимо будет указать почтовый адрес для отправки посылки с заказом. Отмена Положить в корзину

.

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

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

См. также

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

Содержание

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

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