21世纪高职高专规划教材：离散数学

　　前言
　　第1章 集合
　　1.1 集合的概念及其表示
　　1.2 集合间的关系
　　1.3 集合的基本运算
　　1.4 集合中元素的计数
　　本章小结
　　复习思考题
　　第2章 关系
　　2.1 关系的概念
　　2.2 二元关系的表示及其性质
　　2.3 关系的运算
　　2.4 等价关系和偏序关系
　　本章小结
　　复习思考题
　　第3章 函数
　　3.1 函数的定义和性质
　　3.2 函数的复合
　　3.3 特殊函数和反函数
　　本章小结
　　复习思考题
　　第4章 代数系统的一般性质
　　4.1 代数系统的概念
　　4.2 代数系统的同态与同构
　　4.3 代数系统的积代数
　　本章小结
　　复习思考题
　　第5章 群
　　5.1 半群和含幺半群
　　5.2 群的定义
　　5.3 群的性质
　　5.4 子群及其陪集
　　本章小结
　　复习思考题
　　第6章 环和域
　　6.1 环
　　6.2 子环与理想子环
　　6.3 环的同态与同构
　　6.4 域
　　本章小结
　　复习思考题
　　第7章 格与布尔代数
　　7.1 格的第一种定义
　　7.2 格的性质
　　7.3 格的第二种定义
　　7.4 特殊格
　　7.5 布尔代数
　　本章小结
　　复习思考题
　　第8章 图的基本概念
　　8.1 图与子图
　　8.2 图的矩阵表示
　　8.3 通路、回路与连通性
　　本章小结
　　复习思考题
　　第9章 欧拉图与哈密尔顿图
　　9.1 欧拉（Euler）图
　　9.2 哈密尔顿（Hamilton）图
　　本章小结
　　复习思考题
　　第10章 一些特殊图
　　10.1 二部图
　　10.2 平面图
　　10.3 树
　　本章小结
　　复习思考题
　　第11章 命题逻辑
　　11.1 命题和命题联结词
　　11.2 命题公式
　　11.3 等价关系和蕴涵关系
　　11.4 对偶与范式
　　11.5 命题演算的推理理论
　　本章小结
　　复习思考题
　　第12章 谓词逻辑
　　12.1 谓词、个体和量词
　　12.2 谓词公式及其解释
　　12.3 谓词逻辑等值式及蕴涵式
　　12.4 前束范式
　　12.5 谓词演算的推理理论
　　本章小结
　　复习思考题
　　附录
　　附录A 离散数学关键名词中英文对照表
　　附录B 部分复习思考题解答
　　参考文献

　　    本书是根据教育部教高[2002]2号文件精神由中国机械教育协会和机械工业出版社组织全国80多所高职高专院校编写的，其内容包括以下4个方面：1、集合论。2、代数结构。3、图论。4、数理逻辑。
　　    书中注重概念的论述和应用，而不侧重定理本身的证明，内容讲解清楚，通俗易懂，例题丰富。每章后均有本章的小结和一定数量的复习思考题供学生复习时选用。附录中有部分复习思考题解答供参考。
　　    本书既可以作为高职高专的离散数学教材，也可以用作本科相关专业的教学用书。