Λ 演算

出自維基百科，自由嘅百科全書
跳去導覽 跳去搵嘢

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

寫緊 呢篇Λ 演算係關於數學嘅楔位文章，重未完成嘅。麻煩你幫手補充佢嘅內容。
Computer.svg  呢篇Λ 演算係一篇關於電算嘅楔位文章。你可以編輯呢版充實內容。
由「https://zh-yue.wikipedia.org/w/index.php?title=Λ_演算&oldid=1550593」收