描述
递归函数与可计算性、算法、丘奇论题、图灵机、计算逻辑、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/