书的整体设计框架根据高职教育和普通本科教学专业人才培养目标及离散数学课程的教学规律要求而确定。在内容的选定上遵循高职课程基础理论适度的原则，强调基础知识和基本理论，注重理论与应用相结合，选用了一些离散数学在实际应用中的例子，尤其是与计算机科学紧密联系的例子，以利于提高学生学习的兴趣和分析问题与解决问题的能力，体现学有所用之理念。适当增加计算理论和算法应用的基础知识，适度限制部分传统内容的深度。在概念引入、理论分析和例题演算等环节尽量体现直观性，注重结合典型实例进行分析，注重解题思路与方法的运用，内容的阐述力求深入浅出，用简便的方法处理或解决一些复杂的问题，使教材更具可读性与可研性，以便教师教学与学生自学。  

第1章命题逻辑() 
1.1命题及其表示() 
1.2逻辑联结词() 
1.3命题公式与符号化() 
1.4真值表与等价公式() 
1.5蕴含式() 
1.6最小联结词组() 
1.7范式() 
1.8推理理论() 
第2章谓词逻辑() 
2.1谓词的基本概念() 
2.2谓词公式与翻译() 
2.3变元的约束() 
2.4谓词演算的等价式与蕴含式() 
2.5谓词公式的范式 () 
2.6谓词演算的推理理论() 
第3章集合与关系() 
3.1集合的基本概念() 
3.2集合的运算() 
3.3序偶与笛卡尔积() 
3.4关系及其表示() 
3.5关系的性质及其判定方法() 
3.6复合关系和逆关系() 
3.7关系的闭包运算() 
3.8等价关系与相容关系() 
3.9偏序关系() 
第4章函数() 
4.1函数的基本概念() 
4.2特殊函数() 
4.3逆函数与复合函数() 
*4.4集合的势与无限集合() 
第5章代数系统() 
5.1代数系统的概念() 
5.2半群与含幺半群() 
5.3群与子群() 
5.4几类特殊的群() 
5.5代数系统的同态与同构() 
5.6环与域() 
第6章格与布尔代数() 
6.1格的定义及性质() 
6.2分配格() 
6.3有界格与有补格 () 
6.4布尔代数() 
第7章图论初步() 
7.1图的基本概念() 
7.2图的连通性() 
7.3图的矩阵表示() 
7.4欧拉图和哈密顿图() 
7.5树() 
7.6平面图与欧拉公式() 
7.7二部图() 
参考文献()