本书是为普通高等教育"十五"**级规划教材《离散数学(修订版)》配套使用的教学参考书.主要内容按照原教材的章节进行组织,对各章的**内容和学习要求进行了总结.本书.的特色是:根据作者多年来从事离散数学教学的经验,针对各章的知识点和难点设立了习题课,分析习题类型,并对典型习题进行讲解和分析,总结解题方法和思路.同时对原教材的全部习题给出了解答或提示.为了便于读者进一步巩固学习成果,每章均给出了测验试题,*后还设计了4份综合性的模拟试卷.所有的测试和模拟试题全部给出了答案或解答.本书不仅适合于计算机或相关专业的学生和教师使用,也是从事计算机科学技术和工程的专业人员学习离散数学的良师益友.

**部分 数理逻辑
**章 命题逻辑基本概念
1.1 内容提要
1.2 基本要求
1.3 习题课
1.4 习题、解答或提示
1.5 小测验
第二章 命题逻辑等值演算
2.1 内容提要
2.2 基本要求
2.3 习题课
2.4 习题、解答或提示
2.5 小测验
第三章 命题逻辑的推理理论
3.1 内容提要
3.2 基本要求
3.3 习题课
3.4 习题、解答或提示
3.5 小测验
第四章 一阶逻辑基本概念
4.1 内容提要
4.2 基本要求
4.3 习题课
4.4 习题、解答或提示
4.5 小测验
第五章 一阶逻辑等值演算与推理
5.1 内容提要
5.2 基本要求
5.3 习题课
5.4 习题、解答或提示
5.5 小测验
第二部分 集合论
第六章 集合代数
6.1 内容提要
6.2 基本要求
6.3 习题课
6.4 习题、解答或提示
6.5 小测验
第七章 二元关系
7.1 内容提要
7.2 基本要求
7.3 习题课
7.4 习题、解答或提示
7.5 小测验
第八章 函数
8.1 内容提要
8.2 基本要求
8.3 习题课
8.4 习题、解答或提示
8.5 小测验
第九章 集合的基数
第三部分 代数结构
第十章 代数系统
第十一章 半群与群
第十二章 环与域
第十三章 格与布尔代数
第四部分 图 论
第十四章 图的基本概念
第十五章 欧拉图与哈密顿图
第十六章 树
第十七章 平面图及图的着色
第十八章 支配集、覆盖集、独立集与匹配.
模拟试题
试题1
试题1解答
试题2
试题2解答
试题3
试题3解答
试题4
试题4解答