Λ-исчисление

λ-исчисле́ние — раздел дискретной математики, изучающий процесс вычисления, как математический процесс. Основная методика изучения — исследование применимости (калька с английского — application) операндов к функции, при этом последние представляются в виде λ-термов:

λxy.(x + y) — функция сложения двух своих операндов.
(λx.xx)(λx.xx) — классический пример для иллюстрации бесконечной редукции.

Под редукцией понимается собственно процесс вычисления результата функции после применения к ней всех необходимых операндов.

λ-исчисление является теоретическим механизмом для многих прикладных наук, в первую очередь, для функционального программирования.

См. также

• Комбинаторная логика
• Функциональное программирование