Deskripsi
Fungsi rekursif dan keterhitungannya, algoritma, tesis Church, mesin Turing, logika komputasional, NP-kelengkapan.
Prasyarat
- Prasyarat: MATH 2100 atau MATH 3855 atau izin dari Sekolah.
Syarat dan ketentuan
- Juga tercantum sebagai COMP 4803.
- Prasyarat: MATH 2100 atau MATH 3855 atau izin dari Sekolah.
- Kuliah tiga jam per minggu.
Teks rujukan dalam bahasa aslinya
Recursive functions and computability, algorithms, Church's thesis, Turing machines, computational logic, NP-completeness.
- Prerequisite(s): MATH 2100 or MATH 3855 or permission of the School.
- Also listed as COMP 4803 .
- Lectures three hours a week.
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/MATH/