悉尼大学COMP2022考试难吗？

最佳答案

• 

  课程顾问-小管家 2022-09-09 11:01:56

  立即咨询

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

  一、考试重点

  1、归纳定义、形式语言

  2、计算的机器模型

  3、通用计算模型

  4、命题逻辑、谓词逻辑

  5、计算的语法模型

  

  二、评估目标

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

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

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

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

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

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

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

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

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

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

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

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

其他答案