科学与工程领域的基础离散数学，重点介绍计算机科学中有用的数学工具和证明技术。主题包括逻辑符号、集合、关系、初等图论、状态机和不变量、归纳法和矛盾法、递归、渐近符号、算法初等分析、初等数论和密码学、排列组合、计数工具以及离散概率。

https://archive.org/details/mit6_1200js24