Jelajahi kalkulus lambda yang tidak diketik, salah satu sistem paling mendasar dalam komputasi. Dimulai dengan seperangkat aturan yang sangat sederhana, semua komputasi dimungkinkan. Tetapi hanya karena aturannya sederhana tidak berarti kalkulus lambda itu mudah: Anda akan membutuhkan kecerdasan dan kreativitas untuk sampai ke titik di mana Anda dapat menghitung apa pun. Aplikasi ini memungkinkan Anda untuk membuat ekspresi kalkulus lambda secara visual (lambdas, variabel, dan panggilan fungsi) dan mengevaluasinya. Cobalah booleans, angka gereja, atau combinator Y. Bekerja dengan baik di tablet! Di ponsel, berfungsi paling baik dalam mode lanskap.
Detil Program
- Kategori: Pendidikan > Alat Pengajaran & Pelatihan
- Penerbit: Alan Pierce
- Lisensi: Gratis
- Harga: N/A
- Versi: 1.1.0
- Platform: android