新南威尔士大学的计算机科学与工程专业的基础课程有很多，今天小编来为大家介绍一下其中一门COMP4141计算理论课程的主要内容，感兴趣的同学可以接着看下去了。
【COMP4141计算理论课程介绍】
课程代码：COMP4141
课程名称：Theory of Computation
所属专业：计算机科学与工程
先决条件：COMP9020和COMP9024
课程学分：6分
课程概述：
学生应注意课程内容涉及离散数学的使用。学生最好掌握数学论证的结构和集合论的基础知识。同样在学习本课程时，对编程和算法的直观理解也很重要。
课程安排：
1、集合、函数、语言、有限自动机
2、常规语言
3、上下文无关语言、PDA、非CFL
4、图灵机、递归和递归可枚举语言
5、不可判定性，停止问题，约简，赖斯定理
6、时间和空间复杂度，P和NP
7、NP完整性、SAT、PTIME减少
8、PSPACE、LogSPACE、Savitch定理、交替
9、概率复杂度、近似和优化
学习与评估：
本课程的最终总分将取自作业分数和期末考试分数的总和。
1、期末考试：占总成绩50%
2、课堂作业：占总成绩50%，一共有4个作业
以上就是为大家整理的新南威尔士大学计算机科学与工程专业COMP4141计算理论课程的主要内容了，因为这门课程是基础课程，所以大家一定要重视起来，有学习上的难题可以随时在线联系我们进行辅导哦~