首页> 新南威尔士大学 > 新南威尔士大学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作业及考试重点
1、能在定理证明工具 Isabelle/HOL 中编写定义。
2、能将软件验证问题形式化。
3、能在交互式证明助手中证明定理。
4、有效使用证明自动化和自动反例查找。
5、正式验证函数式程序。
6、正式验证命令式程序,其中包括小型C程序。
由此可见,课程将有三次作业。对迟交作业的处罚采用新南威尔士大学的标准规则,即每迟交一天从原始分数中减去 5 分。例如,假设一份价值 100 分的作业被评为 80 分,但迟交了两天,逾期扣罚 10 分,即 70 分。
COMP4161的学习重点主要是授课和作业。前两次作业旨在提供早期反馈并测试你对期末考试的准备情况。虽然会给作业打分,但其主要目的是为你提供有截止日期的具体任务,以帮助你安排学习。如果你需要新南威尔士大学作业辅导,可以随时联系我们。
马上匹配专业老师免费答疑
相关文章
更多别闹!日本小学必修编程!
据日本媒体报道称,全日本所有小学要从2020年起开始使用这些教科书,其中,在算术和理科方面,编程教育作为新的必修内容加入了理科教科书中。
考而思2023-04-19留学生计算机专业哪些院校好?
英国《每日电讯报》(the Daily Telegraph)发表文章,根据《完整大学指南》(Complete University Guide)的最新数据,通过对比毕业生前景、入学标准、研究质量、学生满意度,选出“十所计算机科学最突出的英国大学”,并对各个学校法学院的入学要求、课程细节和最大优势进行了详细介绍。
考而思2023-04-20国际贸易的作业考试辅导
微观经济学、宏观经济学、政治经济学、货币银行学、国际金融、国际贸易、国际贸易实务、发展经济学、计量经济学、国际经济法、经济法、国际经济贸易地理、财政学、国际商务谈判
考而思2023-04-22