COMP6363 计算理论 · Theory of Computation

COMP6363 是澳大利亚国立大学（Australian National University，ANU）的一门课，开设在ANU College of Systems and Society，属于 Computer Science 领域。这一页汇总它的课程目录信息和澳国立学生留下的评价。

课程信息

中文课名：计算理论

课程类型：Graduate course

学分：6

课程领域：Computer Science

所属学院：ANU College of Systems and Society

层级：Graduate coursework Level 6

目录年份：2026

课程简介

This course covers the theoretical computer science areas of formal languages and automata, computability and complexity. Topics covered include the following: regular and context-free languages; finite automata and pushdown automata; Turing machines; computability - halting problem, solvable, and unsolvable problems; space and time complexity; classes P, NP and PSPACE; NP-Completeness.

学生评价、难度与工作量

还没有澳国立学生给 COMP6363 写过评价。有人写了之后，这里会显示实用性、难度（difficulty）、推荐度和具体的课程体验——在那之前它是空的，不会用生成内容填满。

同领域课程

• COMP1100 编程作为问题求解
• COMP1110 结构化编程
• COMP1130 编程作为问题求解（高级）
• COMP1140 结构化编程（高级）
• COMP1600 计算基础

相关页面

• 澳国立全部课程评价
• 澳国立选课指南
• 课程互助（提问 COMP6363）
• 找 COMP6363 的小组队友

官方页面

• COMP6363 handbook

独立学生社区，与澳大利亚国立大学官方无隶属关系。