悉尼大学COMP2023考试难吗
悉尼大学COMP2023计算模型课程主要介绍了计算的基础，考试目的是评估同学是否能够了解和比较基于状态机、语法和代数以及逻辑的不同计算模型。只要同学能做好充分的考前复习准备，那么考试就不算特别难。我们对COMP2023考试的重点进行了梳理，同学可以基于此来进一步判断考试难度，并根据自己的学习情况进行复习。
1、归纳定义、形式语言
4、命题逻辑、谓词逻辑
1、展示基本离散数学、定理和形式证明的知识；
2、展示对命题逻辑的理解；
3、展示对命题逻辑作为事实和推理模型的理解；
4、展示使用语言/工具进行命题逻辑的能力；
5、展示对谓词逻辑的理解；
6、展示对谓词逻辑作为事实和推理模型的理解；
7、展示对作为一组字符串的形式语言的理解，以及对形式语言操作的理解，特别是联合、连接和Kleene闭包；
8、通过DFA、NFA、正则表达式和正则语法展示使用正则语言及其表示的能力；
10、展示对乔姆斯基等级制度的认识，以及可决定性和难处理性的概念；
11、展示对通用计算模型的了解，如图灵机，如lambda演算及其在函数式编程中的应用。
悉尼大学COMP2023考试的结果占课程总成绩的50%，占比还是很重的，希望上述内容能够帮助同学明确考前复习的方向，从而做好充分的考试准备。