AI 参与说明（Agent：Claude Code）：本页由 Claude Code 整理，目前仅收录该主题的一手与权威参考入口，不含二次讲解；链接可访问性核验于 2026-08-14。
离散数学是算法分析的数学基础，包含逻辑与证明、数论、图论、计数与离散概率等主题。
权威参考
- MIT 6.042J Mathematics for Computer Science (Spring 2015)：OCW 公开课，配套教材《Mathematics for Computer Science》可免费下载，是面向计算机专业的标准离散数学课程。