本书是《离散数学》(西北工业大学出版社，2007年8月)教材的配套教学辅导书，内容由重
点内容提要、知识结构网络图、基本要求及考核点和课后习题详解等四部分组成，并附有西北工业大学软件与微电子学院2003--2007年离散数学课程考试试题。
本书可作为离散数学课程的教学、学习和考试参考用书，也可供考研、计算机等级考试等人员参考。

第1章 命题逻辑
一、重点内容提要
二、知识结构网络图
三、基本要求与考核点
四、习题详解
第2章 谓词逻辑
一、重点内容提要
二、知识结构网络图
三、基本要求与考核点
四、习题详解
第3章 集合
一、重点内容提要
二、知识结构网络图
三、基本要求与考核点
四、习题详解
第4章 二元关系
一、重点内容提要
二、知识结构网络图
三、基本要求与考核点
四、习题详解
第5章 函数
一、重点内容提要
二、知识结构网络图
三、基本要求与考核点
四、习题详解
第6章 代数
一、重点内容提要
二、知识结构网络图
三、基本要求与考核点
四、习题详解
第7章 群论
一、重点内容提要
二、知识结构网络图
三、基本要求与考核点
四、习题详解
第8章 格与布尔代数
一、重点内容提要
二、知识结构网络图
三、基本要求与考核点
四、习题详解
第9章 图论
一、重点内容提要
二、知识结构网络图
三、基本要求与考核点
四、习题详解
第10章 特殊图
一、重点内容提要
二、知识结构网络图
三、基本要求与考核点
四、习题详解
附录 西北工业大学软件与微电子学院2003—2007年离散数学课程考试试题