Toggle Menu

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

我想请教一下澳洲国立大学计算机专业的COMP1600这门课怎么才能避免挂科?这门课我们学了有一阵儿了,但我真的是有点力不从心,就觉得跟不太上学习进度,害怕挂科怎么办?

最佳答案
  • 课程顾问-Lea
    课程顾问-Lea 2022-09-29 15:17:26
    立即咨询

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

    一、课程学习建议

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

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

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

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

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

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

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

    澳大利亚国立大学计算机专业Comp1600

    二、带着目标学习

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

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

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

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

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

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

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

其他答案

同步课件辅导作业补习论文指导选课指导Appeal申诉入学内测/面试培训


添加微信【kaoersi03】(备注官网)申请试听,享专属套餐优惠!

客服微信

kaoersi03

解决学业难题!1v1线上辅导——

复制成功

微信号: kaoersi03

备注“官网”享专属套餐优惠!