全书分为8章，其内容包括：命题逻辑和谓词逻辑、集合与二元关系、函数、代数结构、格与布尔代数、图论和名校试题。第1章至第7章，每章均由4部分构成，即基本知识结构图、知识点、习题及参考答案、真题详解。基本知识结构图和知识点部分高度概括了各章知识的学习要点；习题及参考答案部分详尽地解答了配套教材各章的相应习题；真题详解部分精选98年以来的考研试题，并给出了相应的分析和参考答案。第8章则是近年来部分高校的研究生入学考试题及分析与答案。
本书的特点是概念准确，文字简洁明了，解题思路清晰，适合作为高等院校离散数学课程的复习参考书，也适合于作为考研者应试复习的参考书，另外还可供计算机软件水平考试者和参加计算机等级考试者研习。
第1章命题逻辑
1.1基本知识结构图
1.2知识点
1.2.1命题的基本概念
1.2.2联结词
1.2.3命题公式与翻译
1.2.4真值表与等价公式
1.2.5重言式与蕴含式
1.2.6其他联结词定理
1.2.7对偶与范式
1.2.8推理理论
1.3习题及参考答案
1.4真题详解
第2章谓词逻辑
2.1基本知识结构图
2.2知识点
2.2.1谓词的概念与表示
2.2.2命题函数及量词
2.2.3谓词公式和变元
2.2.4谓词演算中的等价式与蕴含式
2.2.5前束范式
2.2.6谓词演算的推理理论
2.3习题及参考答案
2.4真题详解
第3章集合与关系
3.1基本知识结构图
3.2知识点
3.2.1集合的基本概念与表示方法
3.2.2子集与集合相等
3.2.3集合的运算及其性质
3.2.4集合的幂集
3.2.5笛卡尔积
3.2.6包含排斥原理
3.2.7关系的定义及表示
3.2.8关系的性质
3.2.9复合关系和逆关系
3.2.10关系的闭包运算
3.2.11集合的划分与覆盖
3.2.12等价关系与等价类
3.2.13相容关系
3.2.14序关系
3.3习题及参考答案
3.4真题详解
第4章函数
4.1基本知识结构图
4.2知识点
4.2.1函数的基本概念
4.2.2函数的复合、逆函数
4.2.3集合的基数
4.3习题及参考答案
4.4真题详解
第5章代数结构
5.1基本知识结构图
5.2知识点
5.2.1代数系统的基本概念
5.2.2半群与独异点
5.2.3群与子群
5.2.4陪集和拉格朗日定理
5.2.5交换群和循环群
5.2.6环和域
5.2.7同态和同构
5.3习题及参考答案
5.4真题详解
第6章格与布尔代数
6.1基本知识结构图
6.2知识点
6.2.1格的概念
6.2.2分配格
6.2.3有补格
6.2.4布尔代数
6.2.5布尔表达式
6.3习题及参考答案
6.4真题详解
第7章图论
7.1基本知识结构图
7.2知识点
7.2.1图的基本概念
7.2.2路与回路
7.2.3图的矩阵表示
7.2.4欧拉路与哈密尔顿图
7.2.5平面图
7.2.6对偶图与着色图
7.2.7树与生成树
7.2.8根树及其应用
7.3习题及参考答案
7.4真题详解
第8章名校试题
大连理工大学2000年研究生入学考试题
参考答案
北京师范大学2001年研究生入学考试题
参考答案
上海交通大学2002年研究生入学考试题
参考答案
北京理工大学2002年研究生入学考试题
参考答案
华中科技大学2002年研究生入学考试题
参考答案
近年来，计算机科学与计算机技术正在以惊人的速度发展，并且对人类社会的各个领域产生着日益广泛和深入的影响。离散数学，作为计算机科学与技术的重要理论基础之一,1也因此更加显示出它的重要性。目前，离散数学已经是计算机及其相关专业的一门核心课程，而且也是很多高校计算机专业研究生入学考试的科目之一。
因此，我们针对左孝凌等编著的《离散数学》（上海科学技术文献出版社），结合学生学习中的一些困惑编写了本书。书中的基本内容集中在前7章中，且与教材相对应，涵盖了离散数学中的命题逻辑和谓词逻辑、集合与二元关系、函数、代数结构、格与布尔代数、图论等内容。每章的内容包括以下几部分：
• 基本知识结构图——点明本章知识点之间的联系。
• 知识点——详细描述各个专用名词和基本定义。
• 习题及参考答案——解答对应于《离散数学》教材中的各章习题。
• 真题详解——分析与解答98年以来部分高校研究生入学考试题。
书中另辟了第8章，对近年来部分学校的研究生入学考试题进行了分析，供学生对这部分学校的研究生入学考试进行实战演习用。
本书是作者根据多年的教学体验，搜集和整理了大量试题后编写而成的。书中力求对经典考题进行深入浅出的剖析，使学生在自学中得到指导。
由于作者水平所限，疏漏之处在所难免，恳请广大读者批评指正。
联系方式：mayuming229@sohu.com
第二书店&China-pub战略联盟提供专业服务
第二书店联系方式 010-64348411 webmaster@dearbook.com