图书介绍：本教材是根据ACM和IEEE/CS制定的CC2001，以及教育部高等教育司组评审通过的《中国计算机科学与技术学科教程2002》中制定的关于离散数学的知识结构和体系撰写的。全书共14章，主要内容包含证明技巧，数理逻辑、集合与关系、函数、组合计数、图和树、初等数论、离散概率、代数系统等。本书体系严谨，选材精炼，讲解翔实，例题丰富，注重与计算机科学技术的实际问题相结合，并选配了大量难度适当的习题，本书适合作为高等院校计算机和相关专业本科生离散数学的教学用书，也可以作为对离散数学感兴趣的人参考书。