离散数学是计算机专业课程的理论基础，这些课程涵盖从算法和自动机理论到组合学和图论。本书结构严谨，涵盖计算机科学专业的学生必须学习的离散数学基础，包括离散数学的基本概念、逻辑、有向图和无向图、自动机和正则语言、阶的表示法和计数问题、离散概率，以及模运算和公钥密码学的内容。本书通过问题讨论对离散数学的分析证明方法进行阐述，并通过丰富的应用实例进行分析。书中每章都有一个简洁的小结和一组习题，指导学生快速掌握该章内容。本书是本科课程的理想入门教材。