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