Лямбда-исчисление

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

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

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

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

См. также

 
Начальная страница  » 
А Б В Г Д Е Ж З И Й К Л М Н О П Р С Т У Ф Х Ц Ч Ш Щ Ы Э Ю Я
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
0 1 2 3 4 5 6 7 8 9 Home