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