Λ演算

出自維基百科，自由嘅百科全書
(由Λ 演算跳轉過嚟)

λ演算（台灣中文：λ運算、英文：lambda calculus，λ-calculus）係一套由數學邏輯嗰度發展出嚟，以變數綁定同替換嘅規則，嚟研究函數點抽象化定義、函數點被應用、以及遞歸嘅形式系統。

 Λ演算係電算楔位文，你可以編輯佢充實內容。
由「https://zh-yue.wikipedia.org/w/index.php?title=Λ演算&oldid=1889901」收