探索未鍵入的 lambda 微積分,這是計算中最基本的系統之一。從一組非常簡單的規則開始,所有計算都是可能的。但是,僅僅因為規則簡單並不意味著 lambda 微積分是容易的:你需要一些聰明和創造力,才能到達一個可以計算任何東西的地方。 此應用程式允許您直觀地創建 lambda 微積分運算式(lambdas、變數和函數調用)並對其進行評估。試用布爾器、教堂數位或 Y 組合器。 在平板電腦上效果很好!在手機上,在橫向模式下效果最佳。
軟體細節
- 軟體分類: 教育 > 教學和培訓工具
- 發佈者: Alan Pierce
- 軟體性質: 免費
- 價格: N/A
- 版本: 1.1.0
- 作業系統: android