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

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计算机模型作业辅导计划，助你提升作业完成质量！