离散数学内容提要与习题解析
作者：刘国荣，李文，陈建明 编
出版时间：2014年版
内容简介
　　《离散数学内容提要与习题解析》是与《离散数学》（第3版）（西安交通大学 ，2012）配套的教学指导用书。每章包括内容提要、学习要求、习题与解答提示、习题详解四部分。“内容提要”总结了每章的主要定义、定理、公式、算法和重要的结论；“学习要求 ”给出了学习者在每章节应掌握的概念、结论、方法；“习题与解答提示”给出了习题中涉及的概念、定理、算法、证明方法和思路，对其中的典型习题，给出了多种解题思路或构造方法；“习题详解”给出了习题的详细解答。解答的习题共265道，涵盖了数理逻辑、集合论、代数系统、图论等离散数学模块的基本内容和典型的解题方法。《离散数学内容提要与习题解析》既可以作为主教材的配套教学用书，也可以单独使用，为学习离散数学的读者在解题能力和技巧训练方面提供有益的帮助。
目录
第1章 命题演算
一、内容提要
二、学习要求
三、习题与解答提示
四、习题详解
第2章 谓词演算
一、内容提要
二、学习要求
三、习题与解答提示
四、习题详解
第3章 集合
一、内容提要
二、学习要求
三、习题与解答提示
四、习题详解
第4章 关系
一、内容提要
二、学习要求
三、习题与解答提示
四、习题详解
第5章 函数
一、内容提要
二、学习要求
三、习题与解答提示
四、习题详解
第6章 代数系统
一、内容提要
二、学习要求
三、习题与解答提示
四、习题详解
第7章 格与布尔代数
一、内容提要
二、学习要求
三、习题与解答提示
四、习题详解
第8章 图论
一、内容提要
二、学习要求
三、习题与解答提示
四、习题详解