Deskripsi
Fungsi rekursif dan keterhitungannya, algoritma, tesis Church, mesin Turing, logika komputasional, NP-kelengkapan.
Prasyarat
- Prasyarat: MATH 2100 atau COMP 3805 atau izin dari School.
Syarat dan ketentuan
- Juga terdaftar sebagai MATH 4803 .
- Prasyarat: MATH 2100 atau COMP 3805 atau izin dari School.
Teks rujukan dalam bahasa aslinya
Recursive functions and computability, algorithms, Church's thesis, Turing machines, computational logic, NP-completeness.
- Prerequisite(s): MATH 2100 or COMP 3805 or permission of the School.
- Also listed as MATH 4803 .
Sumber dan referensi
Tanggal dan sumber disimpan untuk membantu Anda memverifikasi informasi. Terjemahan disediakan untuk memudahkan pembacaan; sumber resmi menjadi rujukan untuk syarat dan ketentuan.
Referensi sumber : https://calendar.carleton.ca/undergrad/courses/COMP/