คำอธิบาย
ฟังก์ชันแบบวนซ้ำและความสามารถในการคำนวณ, อัลกอริธึม, หลักการของ Church, เครื่องทัวริง, ตรรกะเชิงคำนวณ, ความครบ NP-สมบูรณ์.
รายวิชาก่อนหน้า
- วิชาที่ต้องเรียนมาก่อน: MATH 2100 หรือ COMP 3805 หรือได้รับอนุญาตจากคณะ.
เงื่อนไขและข้อกำหนด
- มีรายวิชานี้ในบัญชียังเป็น MATH 4803 ด้วย.
- วิชาที่ต้องเรียนมาก่อน: MATH 2100 หรือ COMP 3805 หรือได้รับอนุญาตจากคณะ.
ข้อความอ้างอิงในภาษาต้นฉบับ
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 .
แหล่งที่มาและอ้างอิง
วันที่และแหล่งที่มาถูกเก็บไว้เพื่อช่วยให้คุณตรวจสอบข้อมูล การแปลเสนอเพื่ออำนวยความสะดวกในการอ่าน แหล่งทางการเป็นที่อ้างอิงสำหรับเงื่อนไขและข้อกำหนด
แหล่งอ้างอิง : https://calendar.carleton.ca/undergrad/courses/COMP/