阅读量:22
最佳回答
课程顾问-小管家
2024-11-07 16:33:08
COMP30026计算机模型课程是墨尔本大学S2学期开设的一门课程,旨在帮助学生掌握分析技能、推理和解决问题的能力;能够精确、严谨和高效地进行沟通;能够应用科学和工程基础知识;创造力和创新能力;能够进行问题的识别、制定和解决。
随着期末赶due季到来,不少留学生们正为COMP30026作业烦恼。那么墨尔本大学COMP30026计算机模型课程作业都有哪些呢?下面让考而思在线小编来给各位留学生详细介绍。
一、墨尔本大学COMP30026计算机模型课程介绍
课程:Models of Computation(COMP30026)
形式逻辑和离散数学为计算机科学提供了理论基础。本课程使用逻辑和离散数学来模拟计算科学,为逻辑、集合、关系、函数、自动机、形式语言和可计算性等理论提供了基础,提供了该学科贡献的几乎所有实用工具的基础概念,用于自动存储、检索、操作和通信数据。
指示性内容:
■逻辑:命题和谓词逻辑、分辨率证明、数学证明
■离散数学:集合、函数、关系、顺序、有根据、归纳和递归
■Automata:常规语言、有限状态自动机、上下文无关的语法和语言、解析
■可计算性简述:图灵机、可计算性、可判定性
将使用函数式编程语言来实现和说明概念。
二、墨尔本大学COMP30026计算机模型课程预期学习成果:
完成本科目后,学生应能够:
使用命题和谓词逻辑作为工具来推理重要的计算问题
解释机械化推理的基本原理,包括分辨率证明,并将这些应用于计算问题的推理
对数学对象的属性(如函数和关系)进行推理,并将它们应用于计算问题
将离散数学技术应用于计算机科学中的问题
从不太正式的语言规范中合成与上下文无关的语法
设计抽象计算设备,例如有限状态自动机和下推自动机
分析和推理计算模型,包括有限状态自动机、下推自动机和图灵机
三、墨尔本大学COMP30026计算机模型课程作业评估方式
1、一份书面(800-1000字)作业,大约在第7周完成,涉及预期学习成果(ILO)1和2。占比:12%定时:第七周(12-15小时)
2、一份书面作业(800-1000字),截止日期为第12周左右,内容涉及ILO的3、4、5和6。占比:12%定时:12周(12-15小时)
3、通过在线学习平台(Grok)成功完成至少75%的工作表练习。占比:6%(5-7小时)
4、这是一项闭卷书面考试,涉及所有ILO。占比:70%定时:考试期间(3小时)
墨尔本大学COMP30026计算机模型课程作业盘点!如果留学生们遇到作业难题,比如课程理论知识理解深度不够、作业无从下手、作业完成度不高等等,可以联系考而思在线墨尔本大学作业辅导机构。我们有资深的留学生计算机作业辅导老师,可以根据你的学习状况和作业要求,量身打造COMP30026计算机模型作业辅导计划,助你提升作业完成质量!
上一篇:
第一篇下一篇:
墨尔本大学挂科了怎么办?如何申请SC救急?