本书是在作者多年从事离散数学课程教学实践并参考国内外多种教材的基础上编写而成的，编写章节与《离散数学》教材(西北工业大学出版社)一致，每章由重点内容提要、知识结构网络图、基本要求与考核点、习题详解等4部分组成。重点内容提要部分给出了本章内容的简要总结，以帮助读者抓住要点，提高学习效率。知识结构网络图给出了本章节中各个知识点的联系与区别。基本要求与考核点部分明确地给出了本章的学习目的与要求，以及通过学习所要达到的能力层次。习题详解部分给出了《离散数学》教材中所有习题的解答。本书附录中编人了西北工业大学软件与微电子学院2003～2007年的离散数学课程考试试题。编写过程中，力求做到内容通俗流畅、简明扼要。书中对每个部分的内容都是按照步步启发的模式设计安排的，编者的愿望是想给读者提供一本与同名课程教学相配套的辅助参考书，使读者通过阅读本书，能对离散数学的理论和方法有更加深入的理解。

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

本书可作为离散数学课程的教学、学习和考试参考用书，也可供考研、计算机等级考试等人员参考。

第1章 命题逻辑

一、重点内容提要

二、知识结构网络图

三、基本要求与考核点

四、习题详解

第2章 谓词逻辑

一、重点内容提要

二、知识结构网络图

三、基本要求与考核点

四、习题详解

第3章 集合

一、重点内容提要

二、知识结构网络图

三、基本要求与考核点

四、习题详解

第4章 二元关系

一、重点内容提要

二、知识结构网络图

三、基本要求与考核点

四、习题详解

第5章 函数

一、重点内容提要

二、知识结构网络图

三、基本要求与考核点

四、习题详解

第6章 代数

一、重点内容提要

二、知识结构网络图

三、基本要求与考核点

四、习题详解

第7章 群论

一、重点内容提要

二、知识结构网络图

三、基本要求与考核点

四、习题详解

第8章 格与布尔代数

一、重点内容提要

二、知识结构网络图

三、基本要求与考核点

四、习题详解

第9章 图论

一、重点内容提要

二、知识结构网络图

三、基本要求与考核点

四、习题详解

第10章 特殊图 

一、重点内容提要

二、知识结构网络图

三、基本要求与考核点

四、习题详解

附录 西北工业大学软件与微电子学院2003—2007年离散数学课程考试试题