离散数学

📊 课程难度与压力分析

MATH1081 是计算机新生的‘脑回路重塑期’。它的难点不在于计算，而在于‘抽象思维’。很多人在‘谓词逻辑’和‘反证法’那里就会卡住，不明白为什么‘If P then Q’在 P 为假时整个命题为真。压力来自于高频的 Online Tests，每两周就要考一次，虽然可以有多次尝试机会，但题目难度不低。期末考试的压力巨大，因为有 Hurdle 要求，且手写证明题的评分标准非常严苛，少写一行‘By Inductive Hypothesis’可能就会丢掉一半的步骤分。

🎯 备考重点与高分策略

高分秘籍：‘吃透数理证明的模板’。针对归纳法 (Induction)，一定要把 Base Case, Step, Conclusion 这三步写得极其规范。重点攻克‘排列组合’中的计数问题，那是考试中最容易丢分、也是最灵活的部分。备考时，一定要把 School 提供的‘Question Bank’里的所有证明题手写三遍。拿 HD 的关键：在图论大题中，能准确引用定理名称（如 Handshaking Lemma），并清晰画出状态转移过程。重视 Online Tests，因为那是你的保分项，务必拿满。

📚 学习建议与资源推荐

教材推荐：Kenneth Rosen 的《Discrete Mathematics and Its Applications》，这是全球离散数学的圣经。如果逻辑理解不了，去 YouTube 搜‘Trefor Bazett’的离散系列课，他讲的集合论和证明极其通俗。最重要的建议：不要试图背答案，要去理解‘定义’。离散数学考的就是你对定义的极端运用。加入 MathSoc 的复习群，他们提供的 Mock Exam 质量非常高。

⚠️ 作业与 Lab 避坑指南

考试避坑：千万不要在组合数学题上死磕！如果你数了 5 分钟还没数清楚，赶紧跳过去做图论，图论的分数更好拿。Online Tests 提交前务必检查符号输入规范。此外，注意 Final 考试的 Hurdle 要求，平时分再高，期末如果不合格也会挂。考试时，带好直尺，画图论的图时保持整洁，助教会更愿意给你过程分。证明题中，严禁使用‘Clearly’（显然），除非你真的能一眼看出来，否则请写出推导过程。

💬 过来人经验分享

学长建议：这门课是为你后续所有算法课‘开天眼’。学完后你会发现，原来逻辑可以像数学一样精确地计算。建议找一个同样追求逻辑严密的伙伴互相批改对方的证明过程。拿 HD 的关键：在论述中展现出你对‘反证法’逻辑闭环的完美掌控。坚持住，跨过 1081，你才真正具备了计算机科学家的灵魂。