Ремонт принтеров, сканнеров, факсов и остальной офисной техники


назад Оглавление вперед




[0]

ДУШКИН Роман Викторович

darkus@yandex.ru http: roman-dushkin.narod.ru/

СВОЙСТВА ОПЕРАТОРА СВЁРТКИ

ФП 02005-01 01

Грэм Хаттон (Graham Hutton)

Университет Ноттингема, Великобритания

gmh@cs.nott.ac.uk

http: www.cs.nott.ac.uk/~gmh

Кппиппва


АННОТАЦИЯ

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

Ключевые слова: свёртка, рекурсия, доказательство свойств функций.

ФП 02005-01 01

№ докум.

Разоаб.

Душкин Р.

Н. конто


ФП 02005-01 01

Кппиппва Фппмат



[стр.Начало] [стр.1] [стр.2] [стр.3] [стр.4] [стр.5] [стр.6] [стр.7] [стр.8]