UniMate AI

COMP30026

Models of Computation

2 学分难度 中等

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

Reviews

学生评价

2.5

难度

4.5

含金量

3.0

压力

4.0

教师评分

Yue Han

是我学computing上过的课中最理论,最纯数的课

匿名同学

如果你像我一样并且由于诸如算法基础/算法设计等主题的理论知识而真正进入计算专业,那么这可能是你的主题。 它是迄今为止计算程度最纯净的,理论上,数学上的主题。 Harold是一位出色的讲师,并且学科协调得很好。

From Seniors

学长留下的

基础信息谁都查得到,真正值钱的是过来人的经验。

学姐说

比你早一年的学长留下的真实经验 —— ChatGPT 给不了。

这门课还没有学长经验,你可以是第一个 —— 注册后在课内分享。

往年考点 / 踩坑

这门课暂无往年考点记录。

毕业生去向(整体)

下面是匠人学院毕业生整体去过的公司分布(来自脱敏校友证言)。这是全平台的总体去向,不代表选这门课的人一定去这些公司。

统计自 317 份脱敏校友证言

Deloitte

6 位校友

岗位:Graduate Program · Graduate Consulting · Platform Engineer · Web developer · Platform engineer

Zerologix

4 位校友

岗位:Frontend Dev · junior frontend developer · Front-end Developer · Full Stack Developer

Servian

4 位校友

岗位:Full-stack Developer · Data Engineer · Consultant

关于这块数据,我们说实话

雇主墙来自脱敏毕业生证言(testimonials)的整体分布,无法关联到具体学员或其所选课程;仅作为毕业生去向的总体社会证明展示。

我们没有"某位学长选了这门课、后来进了哪家公司"这种可查询的个人去向档案 —— 校友证言是脱敏的,无法关联到具体的人或他选过的课。所以这里只给整体分布,不给个人路径,不编。