頭版
隨機
附近
簽到
自定喜好
捐畀維基百科
關於維基百科
免責聲明
搵嘢
Λ演算
其他文嘅版本
監視
改
(由
Λ運算
跳轉過嚟)
λ演算
(台灣中文:
λ運算
、英文:
lambda calculus
,
λ-calculus
)係一套由數學邏輯嗰度發展出嚟,以變數綁定同替換嘅規則,嚟研究
函數
點抽象化定義、函數點被應用、以及
遞歸
嘅形式系統。
呢篇同
數學
相關係
楔
位文。歡迎幫維基百科
擴寫佢
。
睇
•
論
•
改
•
歷
Λ演算
係
電算
楔位文
,你可以
編輯佢
充實內容。