Lambda Calculus Playground 1.1.0

軟體性質: 免費 ‎檔案大小: 1.36 MB
‎使用者評分: 0.0/5 - ‎0 ‎評分

探索未鍵入的 lambda 微積分,這是計算中最基本的系統之一。從一組非常簡單的規則開始,所有計算都是可能的。但是,僅僅因為規則簡單並不意味著 lambda 微積分是容易的:你需要一些聰明和創造力,才能到達一個可以計算任何東西的地方。 此應用程式允許您直觀地創建 lambda 微積分運算式(lambdas、變數和函數調用)並對其進行評估。試用布爾器、教堂數位或 Y 組合器。 在平板電腦上效果很好!在手機上,在橫向模式下效果最佳。

軟體細節