Terokai kalkulus lambda yang tidak ditaip, salah satu sistem yang paling asas dalam pengkomputeran. Bermula dengan satu set peraturan yang sangat mudah, semua pengiraan adalah mungkin. Tetapi hanya kerana peraturan yang mudah tidak bermakna kalkulus lambda adalah mudah: Anda memerlukan beberapa kelembutan dan kreativiti untuk sampai ke titik di mana anda boleh mengira apa-apa. Aplikasi ini membolehkan anda membuat ungkapan kalkulus lambda secara visual (lambdas, pembolehubah dan panggilan fungsi) dan menilainya. Cuba boolean, angka gereja, atau kombinator Y. Berfungsi hebat pada tablet! Pada telefon, berfungsi dengan baik dalam mod landskap.
Butiran Atur Cara
- Kategori: Pendidikan > Alat Pengajaran & Latihan
- Penerbit: Alan Pierce
- Lesen: Percuma
- Harga: N/A
- Versi: 1.1.0
- Platform: android