《Mathematics for Computer Science》直接下载 1048 页的 PDF 英文版学习参考
http://t.cn/RnbkdQd
本书是麻省理工学院计算机科学与工程专业本科生的初等离散数学课程，适用于计算机相关专业学生及从业人员的数学入门，
内容涉及形式逻辑符号、数学证明、归纳、集合与关系、图论基础、排列组合、计数原理、离散概率、递归等，特别强调数学定义、证明及其应用方法。