Pertanyaan yang diberi tag «lambda-calculus»

Ditutup . Pertanyaan ini perlu lebih fokus . Saat ini tidak menerima jawaban. Ingin meningkatkan pertanyaan ini? Perbarui pertanyaan sehingga berfokus pada satu masalah hanya dengan mengedit posting ini . Ditutup 5 tahun yang lalu . Saya memulai tahun pertama saya (di perguruan tinggi) dalam Ilmu Komputer tahun depan dan …

13 programming-languages  computer-science  lambda-calculus 

Saya memiliki apa yang saya sebut pertanyaan filosofis tentang λ-calculus. Ketika Anda menjelajahi λ-calculus, Anda akan terkejut melihat semua hal yang dapat Anda lakukan di sana. Anda dapat mendefinisikan bilangan bulat, operasi aritmatika, boolean, pernyataan if-then-else, loop, fungsi rekursif, dll. Saya percaya ini telah terbukti komputasional lengkap. Tetapi di sisi …

11 computer-science  lambda-calculus