本书根据IEEECS/ACM Computing Curricula 2005系统地阐述离散数学的经典内容, 渗透初等数论知识. 全书共分8章，分别介绍集合、映射与运算，关系，命题逻辑，谓词逻辑，代数结构，图论，几类特殊的图以及组合计数. 本书以集合、映射、运算和关系为主线，使全书内容联系紧密，具有较强的逻辑性. 每节都有精选习题，书后有习题答案及提示. 所用符号尽可能与其他专业课程一致，专业术语均有对应的英文. 本书叙述详尽、通俗易懂、结构严谨、逻辑清晰、便于自学，适合于计算机及相关专业作为一个学期教材(48/72/90学时)，也可供考研学生及相关专业技术人员参考. 本书配套的《离散数学习题解答(第3版)》(ISBN 978-7-302-33113-1)同时由清华大学出版社出版，在出版社网站有本书配套的电子教案PPT可供下载. 目前，已编写完成14套考试题。

邓辉文，1964年12月12日生，四川广安人. 1998年毕业于四川大学，获博士学位，1999年12月进入西南师范大学博士后流动站工作，主要从事神经网络和模糊逻辑系统的研究及其应用开发. 1999年破格评聘为西南师范大学教授，现为西南大学计算机应用专业硕士生导师、逻辑学专业人工智能方向博士研究生导师. 近年来，发表论文50多篇，多篇被SCI、ISTP和MR检索，主持、主研省部级以上项目15项. 邓辉文是教育部高等学校骨干教师项目资助者，首批重庆市学术和技术带头人后备人选，首批重庆市高等学校优秀中青年骨干教师，重庆市经委设立的“工业自动化及模糊控制技术推广应用专项”专家组成员，重庆市信息产业发展研究中心软件技术专家组成员，西南大学逻辑与智能研究中心副主任.

离散数学是研究离散量的结构及其相互之间关系的学科, 它与当今计算机所处理的对象相一致. 离散数学是教育部2009年“高等学校计算机科学与技术专业核心课程教学实施方案”中8门核心课程之一，在专业教学体系中起着重要的基础理论支撑作用. 本教材自出版以来被多所高校选用, 已连续多次印刷, 2012年荣幸评为首批“十二五”普通高等教育本科国家级规划教材. 根据教育部通知要求, 入选教材应继续修订完善，及时补充反映最新知识、技术和成果的内容，与时俱进, 在原书的基础之上将初等数论知识融入在第1章和第2章, 加强了内容的历史发展和进一步待思考问题的概要说明，并做了如下改动. (1) 在第1章中加入了数论中的基本内容，如素数、素因数分解、模运算、最大公因数、最小公倍数和欧拉函数等. 同时还给出了常见的证明方法：直接法、举反例法、数学归纳法和反证法等. (2) 在第2章中，将整数集合Z上的整除、模同余关系作为Z上的关系很自然地引入，同时还介绍线性同余方程或线性同余方程组. (3) 由于教学时数和多数学校的教学现状，精简了代数结构内容. (4) 由于组合计数在算法分析和设计中的重要性，组合计数是离散数学课程实施方案中的核心知识单元，属于必学内容，增加“组合计数”一章. (5) 新增每章小结内容. 本着离散数学为计算机其他专业课程，如数据结构、操作系统、计算机组成原理、数据库原理、算法设计与分析、编译原理、软件工程、计算机网络及人工智能等的学习提供必要数学基础的原则，同时考虑到大多数高校教学学时数的安排，本书共分8章，分别介绍集合、映射与运算，关系，命题逻辑，谓词逻辑，代数结...