澳洲国立大学计算机专业COMP1600如何才能避免挂科？

最佳答案

• 

  课程顾问-小管家 2022-09-29 15:17:26

  立即咨询

  澳洲国立大学计算机专业的COMP1600课程介绍了一些形式符号，这些符号通常用于描述计算机和计算机系统，用于软件的规格说明以及关于程序属性的数学上严格的论证。以下研究领域构成了这门课程的主干：谓词演算和自然演绎，作为递归函数和结构归纳基础的数据类型的归纳定义，形式语言理论(特别是正则表达式、有限状态机和上下文无关语法)，以及规范语言。下面是一些避免该课程挂科的建议，希望对同学有用。

  一、课程学习建议

  1、参加所有讲座(如果可以，亲自参加，否则通过zoom)。

  所有课程幻灯片都可以提前获得。最好是在讲座之前抽出一些时间熟悉幻灯片，这样你可以更好地理解讲座内容，并可能提出问题。

  2、查看范例，这些可以在YouTube上找到，或者可以访问每次讲座的链接。

  3、检查和解决Wattle上的每周Quiz。去实践课之前做这件事，以便更好地准备。请注意，这些Quiz占期末成绩的10%。这有两个重要的含义：

  (1)不做Quiz意味着你达不到90分以上。

  (2)做了Quiz几乎可以轻松获得10分，因此更容易得高分(或至少及格)。

  4、参加实践课程。实践以练习为主，持续2个小时，你在讲座期间遇到的问题可以在实践课上解决。

  

  二、带着目标学习

  这门课无论是Assignments (36%)、Tutorials (4%)、Quiz (10%)，还是Final Exam (50%)，都旨在从以下几个方面对同学进行评估，因此同学要将下述几个方面作为自己的学习目标：

  1、运用标准数理逻辑的概念，对用英语或各种形式符号(一阶逻辑、离散数学或霍尔逻辑)表达的结构良好的命题或论点进行证明或反驳。

  2、给定一个正则语言的描述，无论是用英语、正则表达式还是语法，生成一个能识别该语言的有限状态自动机。同样，给定一个确定性或非确定性的自动机，给出其所接受的语言的描述。

  3、给定一个简单数据结构的归纳定义，对该类型的数据编写一个给定简单操作的递归定义。给定一些这样的递归定义的运算，用适当的结构归纳原理证明这些函数的简单性质。

  4、使用霍尔逻辑证明简单程序的正确性。

  5、设计一个图灵机来完成简单的任务。

  总的来说，只要同学能够积极地参与到澳洲国立大学COMP1600这门课的学习当中，并在课前和课后主动进行预习和复习，那么应该就能避免挂科。

其他答案