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

　　作业形式：2篇文章作业，在线平台(Grok)练习作业，期末考试

　　作业信息：取自2020年第一学期

　　占比12%：一份800-1000字的文章作业，Week 7左右提交。

　　占比12%：一份800-1000字的文章作业，Week 12左右提交。

　　占比6%：成功完成Grok平台的至少75%练习。

　　占比70%：期末考试。

　　COMP30026视频COMP30026课程讲解, COMP30026作业讲解, COMP30026考试冲刺一对一在线辅导找海师帮专业老师在线提供解答。