COMP4141 计算理论 · Theory of Computation

COMP4141 是新南威尔士大学（UNSW Sydney，UNSW）的一门课，开设在Faculty of Engineering，属于 School of Computer Science and Engineering 领域。这一页汇总它的课程目录信息和新南学生留下的评价。

课程信息

中文课名：计算理论

课程类型：Undergraduate course

学分：6

课程领域：School of Computer Science and Engineering

所属学院：Faculty of Engineering

层级：Undergraduate Level 4

目录年份：2026

课程简介

Computability: formal languages and problems, Turing Machines (TMs), computability, (semi-)decidability, universal TMs, Church-Turing thesis, halting problem, reduction and undecidability proofs, examples; Complexity: run time, space, complexity classes, non-determinism and NP, polynomial reductions and NP completeness, optimisation problems and approximation, randomisation; Languages and Automata: regular expressions and languages, finite automata, determinisation, contex…

学生评价、难度与工作量

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

同领域课程

官方页面

COMP4141 handbook

独立学生社区，与新南威尔士大学官方无隶属关系。