本书是关于介绍计算机专业最需要的离散数学基础知识的教学用书，全书共分八章，包括集合、二元关系、函数、代数结构简介、命题逻辑、谓词演算、格和布尔代数、图论等基本内容。

本书是中等专业学校计算机专业统编教材，也可供有关人员自学参考。

本书介绍计算机专业最需要的离散数学基础知识，共分八章，包括集合、二元关系、函数、代数结构简介、命题逻辑、谓词演算、格和布尔代数、图论等基本内容。叙述深入浅出，书中列举了较多的例题，每节后面都附有一定数量习题，每章后都有小结便于总结提高。本书是中等专业学校计算机专业统编教材，也可供有关人员自学参考。

第一章 集合

 1-1 集合与元素

 1-2 集合的包含与相等

 1-3 幂集

 1-4 集合运算

 1-5 笛卡尔积

 小结

第二章 二元关系

 2-1 二元关系及其表示

 2-2 关系的性质

 2-3 关系的运算

 2-4 等价关系和相容关系

 2-5 偏序关系

 小结

第三章 函数

 3-1 函数

 3-2 复合函数

 3-3 置换

 3-4 数学归纳法

 3-5 特征函数与模糊集合

 小结

第四章 代数结构简介

 4-1 代数结构

 4-2 半群和群

 4-3 子群与环

 4-4 同态和同构

小结

第五章 格和布尔代数

 5-1 格的定义

 5-2 格的性质与特殊格

 5-3 布尔代数简介

 小结

第六章 命题逻辑

 6-1 命题

 6-2 命题公式及翻译

 6-3 命题定律

 6-4 基本联结词和蕴含关系

 6-5 范式

 6-6 命题演算的推理理论

 小结

第七章 谓词演算

 7-1 谓诃和量词

 7-2 谓词公式

 7-3 谓词演算的等价式与蕴含式

 7-4 谓词演算的推理理论

 小结

第八章 图论初步

 8-1 图的基本概念

 8-2 路与回路

 8-3 邻接矩阵和关联矩阵

 8-4 欧拉图

 8-5 台密尔顿图

 8-6 平面图及偶图

 8-7 对偶图与图的着色

 8-8 树

 小结

参考文献