本书是离散数学（刘任任编著）的配套教材，主要针对主教材中每章后面的习题进行了详细解答，并给出参考答案。

离散数学是计算机及其相关专业的重要专业基础课，学好离散数学对于计算机专业课程的学习起着事半功倍的作用.

离散数学通过讲授离散数学中的基本概念、基本定理和运算技巧及其在计算机科学中的应用，培养学生的数学抽象能力、用数学语言描述问题的能力、逻辑思维能力以及数学论证能力.但许多概念、定理等内容需要通过做习题来得到掌握和理解.本书以主教材《离散数学》（刘任任编著，中国铁道出版社，2009年）为主要依据，对书中集合论、图论、数理逻辑、代数结构、组合分析等方面内容的习题进行了详细的解答，以帮助读者加深对书中的基本概念、基本定理以及运算规律的理解.

本书共分五部分: 第一部分（1~4章）是集合论，主要介绍集合、关系、映射以及可数集与不可数集，这些内容是全书的基础知识和基本工具；第二部分（5~13章）是图论，主要介绍图与子图、树、平面图、匹配、图的着色、有向图、网络流等内容.第三部分（14、15章）是数理逻辑，包括命题逻辑与一阶逻辑，它们是数理逻辑中与计算机科学关系较密切的内容；第四部分（16~19章）是代数结构，主要内容有群、环、域以及格与布尔代数，这些内容是自动机理论、计算机密码学等学科的基础；第五部分（20~22章）是组合分析.

学好离散数学，一方面要深刻理解其有关概念、掌握重要结论，另一方面要多做练习以加深对离散数学内容的理解，这对于在计算机其他专业课程的学习中熟练运用离散数学的理论知识是至关重要的.

本书在主教材的基础上，对其中的题目都进行了较详尽的解答，希望学生在做完练习后参考，相信能起到举一反三、加深对课本内容理解的作用.

本书所述内容均是经典内容，可供所有学习离散数学的学生、计算机程序员和计算机等级考试应试者作为参考用书.有些题目选自历年的硕士研究生入学考试试题，因此本书也可作为计算机专业考研学生和计算机工作者的参考书.

由于编者水平有限，书中的疏漏和不足之处在所难免，欢迎大家批评指正，特此致谢.本课程是湖南省级精品课程，在线资源网址为http://jpkc.xtu.edu.cn/ec/C33/zcr-1.htm，欢迎赐教.


编者

2010年10月

第1章集合

第2章关系

第3章映射

第4章可数集与不可数集

第5章图与子图

第6章树

第7章图的连通性

第8章E图与H图

第9章匹配与点独立集

第10章图的着色

第11章平面图

第12章有向图

第13章网络最大流

第14章命题逻辑

第15章一阶逻辑

第16章整数

第17章群

第18章环与域

第19章格与布尔代数

第20章排列和组合的一般计数方法

第21章容斥原理

第22章递推关系与生成函数

参考文献
12.3.6 程序包exp_cpu_components 166
12.3.7 顶层设计实体exp_cpu 169
第13章 实验设计 172
实验一 BDC码加法 172
实验二 加法器 174
实验三 算术逻辑运算单元 177
实验四 存储器 180
实验五 指令译码器 183
实验六 微程序控制器 186
实验七 简单模型机的设计与实现（综合性） 189
附录A 2009年计算机考研统考大纲——计算机组成原理 190
参考文献 194

主要著译者顺序姓名学历职称学科专长通讯地址1 刘任任 教授 多值逻辑理论、计算机算法工作单位湘潭大学 邮政编码 电话18907322668 2 工作单位 邮政编码 电话 3 工作单位 邮政编码 电话 审校者（主审者） 学历 工作单位 邮政编码 电话 职称 工作单位 邮政编码 电话

本书是湖南省精品课程离散数学主教材的配套教材，作者是湘潭大学信息工程学院的副院长。