本书系统阐述了离散数学的经典内容，包括命题逻辑、谓词逻辑、集合、关系、代数系统、图论等方面的基本知识。本书根据计算机科学各专业的需要选择内容、把握尺度，尽可能将离散数学知识和计算机科学中的实际问题相结合。本书编排新颖，每章通过定义、定理、实例、例等形式将内容有机结合、融会贯通，达到学练兼顾的目的。本书加入了机上实现内容，满足了普通高校理工类本科生的实际需求。
本书书末还提供了离散数学常用符号、中英文名词术语对照表、英中文名词术语对照表以及习题答案与提示，能很好地帮助读者理解和学习。
本书既可作为应用型本科和高职高专院校计算机科学各专业的教材，也可作为工程技术人员的参考书。

第1章基础知识
1.1集合的初步知识
1.2数学归纳法
1.3整数的基本性质
1.3.1整除
1.3.2素数
1.3.3带余除法
1.3.4优选公约数
1.3.5最小公倍数
1.3.6模运算
1.3.7同余的应用
1.4序列的基本知识
1.4.1序列
1.4.2典型的整数序列
1.4.3序列求和
……