MATH1081

离散数学

课程定位 MATH1081 是 UNSW 计算机科学与软件工程专业的‘智力洗礼’。如果说微积分是关于连续的，离散数学则是关于‘逻辑、证明与离散结构’的。它是你学习算法（COMP2521）和计算理论的数学母语。这门课教会你如何像计算机一样思考——严密、无歧义且具备极强的证明逻辑。对于想进入算法竞赛或顶级大厂研发岗位的同学，1081 是你的思维基石。 技术栈与学习内容 课程围绕五个硬核模块展开：逻辑与证明（命题逻辑、谓词逻辑、证明技巧）、集合与函数（基数、 pigeonhole 原理）、数论基础（模运算、欧几里得算法、公钥加密）、枚举与组合（复杂的排列组合、二项式定理）、以及最为核心的图论（树、最短路径、欧拉与哈密顿路径）。课程不涉及编程，但涉及极其繁琐的数学推导。 课程结构 10 周标准教学。每两周攻克一个大型数学模块。评估体系非常均衡：包含高频的在线自测（Online Tests，通常有 4-5 次）、一个要求极高的 Lab Test（通常是在线数学练习）、以及一场决定生死的期末大考。该课极其强调‘证明的严密性’，严禁逻辑跳步。 适合人群 计算机、IT 专业新生。如果你以前只习惯于‘算数’而害怕‘证明’，这门课会让你感到巨大的挑战。建议每周投入 15 小时进行推导练习。