院校库

墨尔本大学COMP30026计算机模型课程作业有哪些?

阅读量:53

最佳回答

课程顾问-小管家

2024-11-07 16:33:08

咨询

COMP30026计算机模型课程是墨尔本大学S2学期开设的一门课程,旨在帮助学生掌握分析技能、推理和解决问题的能力;能够精确、严谨和高效地进行沟通;能够应用科学和工程基础知识;创造力和创新能力;能够进行问题的识别、制定和解决。

随着期末赶due季到来,不少留学生们正为COMP30026作业烦恼。那么墨尔本大学COMP30026计算机模型课程作业都有哪些呢?下面让考而思在线小编来给各位留学生详细介绍。

一、墨尔本大学COMP30026计算机模型课程介绍

课程:Models of Computation(COMP30026)

形式逻辑和离散数学为计算机科学提供了理论基础。本课程使用逻辑和离散数学来模拟计算科学,为逻辑、集合、关系、函数、自动机、形式语言和可计算性等理论提供了基础,提供了该学科贡献的几乎所有实用工具的基础概念,用于自动存储、检索、操作和通信数据。

指示性内容:

■逻辑:命题和谓词逻辑、分辨率证明、数学证明

■离散数学:集合、函数、关系、顺序、有根据、归纳和递归

■Automata:常规语言、有限状态自动机、上下文无关的语法和语言、解析

■可计算性简述:图灵机、可计算性、可判定性

将使用函数式编程语言来实现和说明概念。

二、墨尔本大学COMP30026计算机模型课程预期学习成果:

完成本科目后,学生应能够:

使用命题和谓词逻辑作为工具来推理重要的计算问题

解释机械化推理的基本原理,包括分辨率证明,并将这些应用于计算问题的推理

对数学对象的属性(如函数和关系)进行推理,并将它们应用于计算问题

将离散数学技术应用于计算机科学中的问题

从不太正式的语言规范中合成与上下文无关的语法

设计抽象计算设备,例如有限状态自动机和下推自动机

分析和推理计算模型,包括有限状态自动机、下推自动机和图灵机

三、墨尔本大学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计算机模型作业辅导计划,助你提升作业完成质量!

犹豫不决 不如直接对话导师

没找到想看的信息?直接联系老师咨询

3000+硕博导师库匹配,免费咨询

微信号: kaoersi02

问题没解答?可留言给老师

  • 点击留言