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