2011-05-19 59 views

回答

0

參考Wikipedia

在數理邏輯和計算機科學,演算,也可以寫成λ演算,是函數定義,函數應用和遞歸的形式系統。

看動機,在非正式說明中