王茂林主编的《离散数学》共四个部分，分为九章，其中1～3章为集合论，4～5章为数理逻辑，6～7章为代数系统，8～9章为图论．本书简明扼要、深入浅出、层次分明、逻辑性强，各部分之间既相互独立，又密切联系。每章均配有适量的难易程度适中的练习题，不仅适合作为普通高等院校信息与计算科学和计算机科学等相关专业离散数学课程的本科生教材，也可供计算机科学工作者和科技人员阅读与参考。

第1章 集合及其运算

 1.1 集合的概念及其表示

 1.2 集合的运算

 1.3 集合中元素的计数

 习题1

第2章 二元关系

 2.1 集合的笛卡儿积

 2.2 二元关系

 2.3 关系的运算

 2.4 关系的性质

 2.5 等价关系与集合的划分

 习题2

第3章 函数

 3.1 函数的概念

 3.2 函数的复合与反函数

 习题3

第4章 命题逻辑

 4.1 命题与联结词

 4.2 命题变元与合式公式

 4.3 公式分类与等值式

 4.4 范式

 4.5 命题逻辑的推理理论

 习题4

第5章 一阶逻辑

 5.1 一阶逻辑命题符号化

 5.2 一阶逻辑公式

 5.3 一阶逻辑等值式与置换规则

 5.4 前束范式

 5.5 一阶逻辑的推理理论

 习题5

第6章 代数系统

 6.1 二元运算及其性质

 6.2 代数系统

 习题6

第7章 群与环

 7.1 半群与群

 7.2 子群

 7.3 循环群与置换群

 7.4 环与域

 习题7

第8章 图的基本概念

 8.1 图的定义及运算

 8.2 图的连通性

 习题8

第9章 基本图类和算法

 9.1 树与生成树

 9.2 欧拉图、哈密顿图及其应用

 9.3 平面图

 9.4 图的点着色

 习题9

参考文献