第1章 命题演算

 一、内容提要

 二、学习要求

 三、习题与解答提示

 四、习题详解

第2章 谓词演算

 一、内容提要

 二、学习要求

 三、习题与解答提示

 四、习题详解

第3章 集合

 一、内容提要

 二、学习要求

 三、习题与解答提示

 四、习题详解

第4章 关系

 一、内容提要

 二、学习要求

 三、习题与解答提示

 四、习题详解

第5章 函数

 一、内容提要

 二、学习要求

 三、习题与解答提示

 四、习题详解

第6章 代数系统

 一、内容提要

 二、学习要求

 三、习题与解答提示

 四、习题详解

第7章 格与布尔代数

 一、内容提要

 二、学习要求

 三、习题与解答提示

 四、习题详解

第8章 图论

 一、内容提要

 二、学习要求

 三、习题与解答提示

 四、习题详解

刘国荣、李文、陈建明主编的《离散数学内容提要与习题解析》是与《离散数学》(第3版)(西安交通大学出版社，2012)配套的教学指导用书。每章包括内容提要、学习要求、习题与解答提示、习题详解四部分。“内容提要”总结了每章的主要定义、定理、公式、算法和重要的结论；“学习要求”给出了学习者在每章节应掌握的概念、结论、方法；“习题与解答提示”给出了习题中涉及的概念、定理、算法、证明方法和思路，对其中的典型习题，给出了多种解题思路或构造方法；“习题详解”给出了习题的详细解答。解答的习题共265道，涵盖了数理逻辑、集合论、代数系统、图论等离散数学模块的基本内容和典型的解题方法。

《离散数学内容提要与习题解析》既可以作为主教材的配套教学用书，也可以单独使用，为学习离散数学的读者在解题能力和技巧训练方面提供有益的帮助。

刘国荣、李文、陈建明主编的《离散数学内容提要与习题解析》与西安交通大学出版社出版的《离散数学》(第3版)相配套。书中针对数理逻辑、集合论、代数系统和图论四个部分的内容，首先给出了相应的概念和定理，然后介绍在概念驱动下的各种解题方法，为学习如何解题做好铺垫。书中对于《离散数学》(第3版)教材中的每道习题不仅给出解题思路而且给出详尽的解答过程。为了使学生开拓思路、举一反三、掌握更多的解题方法，有些题目给出了多种解法。本书适合于计算机专业和软件工程专业的教师和学生使用，同时也适合自学离散数学的读者使用。