Интернет магазин китайских планшетных компьютеров



Компьютеры - Лямбда-исчисление

23 января 2011


Оглавление:
1. Лямбда-исчисление
2. Чистое
3.
4. Каррирование
5. Связь с рекурсивными функциями
6. В языках программирования



Лямбда-исчисление — формальная система, разработанная американским математиком Алонзо Чёрчем, для формализации и анализа понятия вычислимости.

λ-исчисление может рассматриваться как семейство прототипных языков программирования. Их основная особенность состоит в том, что они являются языками высших порядков. Тем самым обеспечивается систематический подход к исследованию операторов, аргументами которых могут быть другие операторы, а значением также может быть оператор. Языки в этом семействе являются функциональными, поскольку они основаны на представлении о функции или операторе, включая функциональную аппликацию и функциональную абстракцию. λ-исчисление реализовано Джоном Маккарти в языке Лисп. В начале реализация идеи λ-исчисления была весьма громоздкой. Но по мере развития Лисп-технологии идеи получили ясную и четкую реализацию.



Просмотров: 2611


<<< Логика Хоара
Машина Зенона >>>