Lambda Calculus Playground 1.1.0

ใบ อนุญาต: ฟรี ‎ขนาดแฟ้ม: 1.36 MB
‎คะแนนจากผู้ใช้: 0.0/5 - ‎0 ‎โหวต

สํารวจแคลคูลัส lambda ที่ไม่ได้พิมพ์หนึ่งในระบบพื้นฐานที่สุดในการประมวลผล เริ่มต้นด้วยชุดกฎที่เรียบง่ายอย่างน่าทึ่งการคํานวณทั้งหมดเป็นไปได้ แต่เพียงเพราะกฎนั้นง่ายไม่ได้หมายความว่าแคลคูลัส lambda นั้นง่าย: คุณจะต้องมีความฉลาดและความคิดสร้างสรรค์เพื่อไปยังจุดที่คุณสามารถคํานวณอะไรได้ แอพนี้ช่วยให้คุณสามารถสร้างนิพจน์แคลคูลัส lambda (lambdas ตัวแปรและการโทรฟังก์ชั่น) และประเมินพวกเขา ลองบูลีนตัวเลขคริสตจักรหรือตัวรวม Y ใช้งานได้ดีบนแท็บเล็ต! บนโทรศัพท์ทํางานได้ดีที่สุดในโหมดแนวนอน

รายละเอียดหลักสูตร