首页> 新南威尔士大学 > 新南威尔士大学COMP4161作业及考试重点难点提示

新南威尔士大学COMP4161作业及考试重点难点提示

  • 发布时间:2023-11-20 17:26:49

  • 发布来源:考而思

  • 摘要:新南威尔士大学COMP4161课程旨在向学生传授软件验证方面的高级主题。课程涵盖了高阶逻辑、自然演绎、lambda微积分、术语重写、数据类型和递归函数、归纳原理、计算推理、数学证明、各种逻辑域的决策程序以及程序证明等方面的内容,这些都是作业及考试将要考察的重点。下面我们就来详细看一下COMP4161作业及考试的重点难点。

新南威尔士大学COMP4161课程旨在向学生传授软件验证方面的高级主题。课程涵盖了高阶逻辑、自然演绎、lambda微积分、术语重写、数据类型和递归函数、归纳原理、计算推理、数学证明、各种逻辑域的决策程序以及程序证明等方面的内容,这些都是作业及考试将要考察的重点。下面我们就来详细看一下COMP4161作业及考试的重点难点。

一、COMP4161作业及考试详情

1、作业:课程将有三次书面作业。作业 1 在第 3 周完成,作业 2 在第 8 周完成,作业 3 在第 10 周完成。

2、考试:期末考试将是一次take-home exam,考试涉及到Isabelle/HOL证明和有关课程内容的问题。

3、补考:如果你因病或意外事故无法参加期末考试,你必须在考试后 48 小时内通过MyUNSW提交一份特殊考虑申请,并附上相关文件。如果你的申请合理,你将获得补考机会。

4、最终分数:课堂分数由作业(各占 1/3)组成。课堂分数和考试分数的算术平均值用于确定最终分数。要通过该课程,每个部分的成绩至少要达到40%。如果课堂分数和考试分数均大于或等于40%,则期末分数为(课堂分数 + 考试分数)/ 2,否则最低分数为((课堂分数 + 考试分数)/ 2, 44)

新南威尔士大学COMP4161作业

二、COMP4161作业及考试重点

1、能在定理证明工具 Isabelle/HOL 中编写定义。

2、能将软件验证问题形式化。

3、能在交互式证明助手中证明定理。

4、有效使用证明自动化和自动反例查找。

5、正式验证函数式程序。

6、正式验证命令式程序,其中包括小型C程序。

由此可见,课程将有三次作业。对迟交作业的处罚采用新南威尔士大学的标准规则,即每迟交一天从原始分数中减去 5 分。例如,假设一份价值 100 分的作业被评为 80 分,但迟交了两天,逾期扣罚 10 分,即 70 分。

COMP4161的学习重点主要是授课和作业。前两次作业旨在提供早期反馈并测试你对期末考试的准备情况。虽然会给作业打分,但其主要目的是为你提供有截止日期的具体任务,以帮助你安排学习。如果你需要新南威尔士大学作业辅导,可以随时联系我们。

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

马上匹配专业老师免费答疑

最新活动

备案号:京ICP备17021069号

版权所有:北京考而思教育咨询集团有限公司

复制成功

微信号: kaoersi03

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