课程 · 资源记录
MIT 6.042J Mathematics for Computer Science
离散数学课程，系统覆盖定义、证明、集合、函数、关系、计数与离散概率。
Albert R. Meyer, Adam Chlipala2015MIT OpenCourseWare链接核验于 2026-07-13
为什么重要
用于核对集合与函数语言、有限集合上的证明方法，以及组合计数、条件概率和离散概率的推导。
阅读前提
无特定站内先修要求。
课程 · 资源记录
离散数学课程，系统覆盖定义、证明、集合、函数、关系、计数与离散概率。
用于核对集合与函数语言、有限集合上的证明方法，以及组合计数、条件概率和离散概率的推导。
无特定站内先修要求。