本书为21世纪大学本科计算机专业系列教材。全书共分14章，内容包括：证明技巧、数理逻辑、集合与关系、函数、图和树、组合计数、初等数论、离散概率和代数系统等。

本书体系严谨，选材精炼，讲解翔实，例题丰富，注重与计算机科学技术的实际问题相结合，并选配了大量难度适当的习题，适合教学。

本教材是根据ACM和IEEE最新推出的Computing Curricula 2004，以及教育部高等教育司组织评审通过的《中国计算机科学与技术学科教程2002》中制定的关于“离散数学”的知识结构和体系撰写的。全书共14章，主要包含证明技巧、数理逻辑、集合与关系、函数、图和树、组合计数、初等数论、离散概率和代数系统等内容。本书体系严谨，选材精炼，讲解翔实，例题丰富，注重与计算机科学技术的实际问题相结合，并选配了大量难度适当的习题，适合教学。另外，本书有配套习题解答与学习指导等辅导用书，以满足教学需要。

本书适合作为计算机和相关专业本科生“离散数学”的教学用书，也可以作为对离散数学感兴趣的人的参考书。

第1章 数学语言与证明方法

第2章 命题逻辑

第3章 一阶逻辑

第4章 关系

第5章 函数

第6章 图

第7章 树及其应用

第8章 组合计数基础

第9章 容斥原理

第10章 递推方程与生成函数

第11章 初等数论

第12章 离散概率

第13章 初等数论和离散概率的应用

第14章 代数系统

参考文献