COMP2111（形式化方法基础，Foundations of Formal Methods）：17 条评价，综合 2.7/5。
COMP2111 Foundations of Formal Methods (UNSW Sydney): rated 2.7/5 overall across 17 reviews collected on UNSW Wall.
COMP2111 是新南威尔士大学（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
This course introduces students to theoretical computer science and formal methods in computing. It reinforces and builds upon prerequisite knowledge from MATH1081, especially predicate logic.
COMP2111 共 17 条评价打分：综合 2.7/5（均为 0–5 分，难度越高越难）。
来源：Reddit 讨论 17 条（AI 判定为在评价这门课的评论，推荐度均分 2.7/5）。
Reddit 网友（中文译文）：「作为软件工程专业，我记得你第二年必须额外修2门数学课（有限数学和统计），别全信我（可能只有1门）。第一年的核心数学课（MATH1、MATH2和离散数学）是一样的。 你还必须修COMP2111，这门课包含相当多的形式化数学。我修的时候COMP2111教得极差，我期末考只考了刚过50%，然后被调分到95%（大多数人得分在…」
Reddit 网友（中文译文）：「我上学期也上了COMP2111，但觉得讲师很棒。在2111学到的东西可以用于各种事情，包括 - 形式验证：seL4微内核，证明程序正确（例如在密码学中很重要） - 编译器：许多函数式语言基于lambda演算，状态机（NFA/DFA）用于词法分析器生成器和正则表达式引擎 - 编程语言：上下文无关文法通常用于实现编程语言…」
站内课程详情里能看到全部来源的完整评价与讨论。
问：COMP2111 值得选吗？
答：综合 17 条评价的平均分：综合 2.7/5。
问：COMP2111 是哪个学院的课，什么时候上？
答：COMP2111 开设在Faculty of Engineering，以学校官方课程目录为准。
独立学生社区，与新南威尔士大学官方无隶属关系。