离散数学（第2版）

　　第一章  绪论
　　1.1  离散数学的研究对象
　　1.2  离散数学的主要内容
　　1.3  学习离散数学的方法
　　第二章   数理逻辑
　　2.1  命题
　　2.2  命题联结词
　　2.3  命题的合式公式
　　2.4  真值表、永真式和永假式
　　2.5  公式的等价和蕴含
　　2.6  公式的主范式
　　2.7  命题演算的推理理论
　　2.8  命题逻辑和二值逻辑器件
　　2.9  一阶谓词逻辑
　　2.10  命题函数和个体变量及量词
　　2.11  谓词公式
　　2.12  谓词演算的推理理论
　　第三章 集合和关系
　　第四章 数函数和递推关系
　　第五章 图论
　　第六章 代数系统
　　第七章 格与布尔代数
　　参考文献

　　    离散数学和微积分不同，离散数学是以离散对象为研究对象，是计算机专业和其他一些工程专业的数学基础课程。《高职高专计算机系列规划教材：离散数学（第2版）》包含了数理逻辑、集合论、数函数和递推关系、图论、代数系统和布尔代数等主要内容。
　　    《高职高专计算机系列规划教材：离散数学（第2版）》注重理论的系统性和准确性，并有很多例题和习题。特别重视理论难点的诠释，叙述通俗易读。
　　    《高职高专计算机系列规划教材：离散数学（第2版）》不仅适合作为供高职高专计算机专业或其他工程类专业学生学习，也可以作为对离散数学有兴趣的读者自学使用。