SENG2011 程序推理工作坊 · Workshop on Reasoning about Programs

SENG2011(程序推理工作坊,Workshop on Reasoning about Programs):22 条评价,综合 3.1/5。

SENG2011 Workshop on Reasoning about Programs (UNSW Sydney): rated 3.1/5 overall across 22 reviews collected on UNSW Wall.

SENG2011 是新南威尔士大学(UNSW Sydney,UNSW)的一门课,开设在Faculty of Engineering,属于 School of Computer Science and Engineering 领域。这一页汇总它的课程目录信息和新南学生留下的评价。

评价数据更新于 2026-11-03。

课程信息

中文课名:程序推理工作坊

课程类型:Undergraduate course

学分:6

课程领域:School of Computer Science and Engineering

所属学院:Faculty of Engineering

层级:Undergraduate Level 2

目录年份:2026

课程简介

Reasoning involves taking what facts you know (or assume) to be true, and calculating what the consequences will be. Reasoning is what everyone does every day in real life: for example, *!

SENG2011 学生评价 · 难度与工作量

SENG2011 共 22 条评价打分:综合 3.1/5(均为 0–5 分,难度越高越难)。

来源:Reddit 讨论 22 条(AI 判定为在评价这门课的评论,推荐度均分 3.1/5)。

Reddit 网友(中文译文):「我几年前上过这门课,现在几乎什么都不记得了。但考题和我们做过的课程内容很相似。刚查了我们的edstem,我们的考试有2个与讲座类似的引理(现在不确定是什么了),zap zeros练习,以及一道与triple练习非常相似的题。 如果你不知道某道题怎么做,你的主要目标应该是拿部分分数,即使你的invariants/pos…」

Reddit 网友(中文译文):「Albert是最好的讲师之一,起初他也让我感到害怕,看起来不太友善,但后来我对他有了更深的了解。一定要利用论坛,我那时候,Stephen或Albert总是回复得超快。另外,要观看他在学期中为一些活动发布的录制解答视频,那些也帮了大忙。」

站内课程详情里能看到全部来源的完整评价与讨论。

SENG2011 常见问题

问:SENG2011 值得选吗?

答:综合 22 条评价的平均分:综合 3.1/5。

问:SENG2011 是哪个学院的课,什么时候上?

答:SENG2011 开设在Faculty of Engineering,以学校官方课程目录为准。

同领域课程

相关页面

官方页面

独立学生社区,与新南威尔士大学官方无隶属关系。