COMP6721（（非）形式化方法：失传的艺术，(In-)Formal Methods: The Lost Art）：6 条评价，综合 4.2/5。
COMP6721 (In-)Formal Methods: The Lost Art (UNSW Sydney): rated 4.2/5 overall across 6 reviews collected on UNSW Wall.
COMP6721 是新南威尔士大学（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
层级：Postgraduate Level 6
目录年份：2026
(In-)Formal Methods are practical structuring and design patterns that encourage programming that is easy to understand and to maintain. They are only a part of the large body of “good programming practices,” distinguished from that larger set because –for the methods we consider– the computer-science community has determined the science behind the structures: we know why they are effective.
COMP6721 共 6 条评价打分：综合 4.2/5（均为 0–5 分，难度越高越难）。
来源：Reddit 讨论 6 条（AI 判定为在评价这门课的评论，推荐度均分 4.2/5）。
Reddit 网友（中文译文）：「COMP6721（非形式方法）在编码方面相当轻松；它更多是关于如何编写正确程序的逻辑方法。不一定适合所有人，因为它非常注重逻辑（与形式方法相关，但侧重于如何实际\_使用\_它们）。为数不多的编程部分只是用python完成，而且通常是短小的代码片段。 我很喜欢这门课，它主要是逻辑推理、一些测验、作业、一个大作业，没有期…」
Reddit 网友（中文译文）：「>comp6080 它满得一批，安息吧。 不确定T3是否开课，但我上过COMP6721。那门课非常轻松，你可以轻松度过。10%参与度，50%每周测验，40%作业。」
站内课程详情里能看到全部来源的完整评价与讨论。
问：COMP6721 值得选吗？
答：综合 6 条评价的平均分：综合 4.2/5。
问：COMP6721 是哪个学院的课，什么时候上？
答：COMP6721 开设在Faculty of Engineering，以学校官方课程目录为准。
独立学生社区，与新南威尔士大学官方无隶属关系。