悉尼大学COMP2022考试难吗？

悉尼大学COMP2022计算模型课程主要介绍了计算的基础，考试目的是评估同学是否能够了解和比较基于状态机、语法和代数以及逻辑的不同计算模型。只要同学能做好充分的考前复习准备，那么考试就不算特别难。我们对COMP2022考试的重点进行了梳理，同学可以基于此来进一步判断考试难度，并根据自己的学习情况进行复习。

一、考试重点

1、归纳定义、形式语言

2、计算的机器模型

3、通用计算模型

4、命题逻辑、谓词逻辑

5、计算的语法模型

二、评估目标

1、展示基本离散数学、定理和形式证明的知识；

2、展示对命题逻辑的理解；

3、展示对命题逻辑作为事实和推理模型的理解；

4、展示使用语言/工具进行命题逻辑的能力；

5、展示对谓词逻辑的理解；

6、展示对谓词逻辑作为事实和推理模型的理解；

7、展示对作为一组字符串的形式语言的理解，以及对形式语言操作的理解，特别是联合、连接和Kleene闭包；

8、通过DFA、NFA、正则表达式和正则语法展示使用正则语言及其表示的能力；

9、展示使用上下文无关文法或下推自动机作为形式语言模型的能力；

10、展示对乔姆斯基等级制度的认识，以及可决定性和难处理性的概念；

11、展示对通用计算模型的了解，如图灵机，如lambda演算及其在函数式编程中的应用。

悉尼大学COMP2022考试的结果占课程总成绩的50%，占比还是很重的，希望上述内容能够帮助同学明确考前复习的方向，从而做好充分的考试准备。