新南威尔士大学COMP4141计算理论同步课程

　　新南威尔士大学的计算机科学与工程专业的基础课程有很多，今天小编来为大家介绍一下其中一门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计算理论课程的主要内容了，因为这门课程是基础课程，所以大家一定要重视起来，有学习上的难题可以随时在线联系我们进行辅导哦~