计算机科学中的数学：信息与智能时代的必修课

本书是麻省理工学院计算机科学与工程专业本科生的初等离散数学课程讲义，涵盖了国外计算机科学专业涉及的基础数学知识，内容涉及形式逻辑符号、数学证明、归纳、集合与关系、图论基础、排列与组合、计数原理、离散概率、递归等，特别强调数学定义、证明及其应用方法。

本书适用于计算机相关专业学生及从业人员的数学入门，亦可作为统计、机器学习、数据挖掘等课程的初学资源。