离散数学是计算机相关专业的主干课程之一。本书将理论紧密联系实际，摒弃了一些烦琐的定理证明，从工程实际出发，引入工程案例和解决方案，注重提升学生的应用模拟解题技巧，力求做到脉络清晰，重点突出，精讲多练，实用有效，从而培养学生的抽象思维和缜密概括能力。
本书内容包括离散数学4大分支的基础理论——数理逻辑、集合论、代数系统和图论。全书共9章，依次为命题逻辑、谓词逻辑、集合、关系、函数、代数结构、格与布尔代数、图论及其应用、树。全书包含较多的与计算机科学和工程有关的例题和习题。
本书适合作为高等院校计算机科学与技术、软件工程等相关专业的教材。
本书特色表现在以下四个方面。
第一，加深理论，注重实践。大多数离散数学的教材，只注重经典的数学理论和解题，没有联系生产实践，学习者感觉理论抽象、枯燥。本书结合计算机专业的学习特点，在相应章节的例题或课后习题中编排了将离散结构理论与实际工程问题相结合的题目，并给出解决方案。
第二，突破经典，勇于发现。根据多年的教学实践和体会，编者在书中中总结了一些共性问题和有争议性的问题，对这些问题做了个人观点的阐述，抛砖引玉鼓励学习者继续深入研究和探讨。
第三，明确关系，理清脉络。本书包括数理逻辑、集合论、图论、代数结构四大部分，这四部分内容既自成理论体系，又有密切的联系，在每部分内容的讲授之前，简明阐述理论的起源、发展以及和其他理论之间的相互关系，使学习者感觉脉络清晰。
第四，突出重点，圈定难点。具体到每一章都总结出本章学习的难点和重点，并指明应掌握的基本概念和解题的技巧。
郝晓燕，博士，副教授，硕士生导师。自1994年至今任职于太原理工大学信息与计算机学院，从事计算机科学与技术学科的教学工作及科研工作。主讲课程：《工程经济学》《离散数学》《数据结构》《面各对象程序设计C++》《数据库系统原理》《自然语言处理》。研究方向：计算语言学，自然语言处理，人工智能。社会兼职：中国计算机学会会员。
第1章 命题逻辑 1
§1-1 命题 1
§1-1-1 命题与真值 1
§1-1-2 原子命题与复合命题 2
§1-2 逻辑联结词 3
§1-2-1 否定联结词 3
§1-2-2 合取联结词 3
§1-2-3 析取联结词 4
§1-2-4 蕴含联结词 4
§1-2-5 等价联结词 5
§1-3 命题公式 5
§1-3-1 命题公式的概念 5
§1-3-2 命题符号化 6
§1-3-3 命题公式真值表 7
§1-3-4 命题公式的类型 9
§1-3-5 重言式的性质 9
§1-4 命题逻辑的等价关系 9
§1-4-1 等价 10
§1-4-2 基本等价式 10
§1-4-3 置换规则 11
§1-5 命题公式的标准化 13
§1-5-1 析取范式与合取范式 13
§1-5-2 主析取范式与主合取范式 14
§1-5-3 主范式的应用 16
§1-6 命题逻辑的蕴含关系 17
§1-6-1 蕴含 17
§1-6-2 证明蕴含关系的方法 17
§1-6-3 基本蕴含式 18
§1-7 命题逻辑的推理理论 18
§1-7-1 推理的有效性 18
§1-7-2 有效推理的判断方法 18
§1-7-3 自然推理系统 19
§1-7-4 自然推理系统中构造有效推理的方法 21
本章总结 23
习题 23
第2章 谓词逻辑 25
§2-1 谓词逻辑命题符号化 25
§2-1-1 命题逻辑的局限性 25
§2-1-2 谓词逻辑三要素 25
§2-1-3 谓词逻辑命题符号化 27
§2-2 谓词公式 28
§2-2-1 谓词逻辑的合式公式 28
§2-2-2 闭式 28
§2-2-3 谓词公式的解释 29
§2-2-4 谓词逻辑的公式类型 30
§2-3 谓词逻辑的等价关系 31
§2-3-1 等价关系 31
§2-3-2 基本等价式 31
§2-4 谓词公式的标准化 32
§2-5 谓词逻辑的蕴含关系 33
§2-5-1 蕴含关系 33
§2-5-2 基本蕴含式 33
§2-6 谓词逻辑的推理理论 33
本章总结 35
习题 36
第3章 集合 38
§3-1 集合的定义与表示方法 38
§3-1-1 集合的定义 38
§3-1-2 集合的表示方法 39
§3-2 集合之间的重要关系 40
§3-2-1 集合之间的重要关系 40
§3-2-2 特殊集合 40
§3-3 集合的运算 41
§3-3-1 集合的基本运算 41
§3-3-2 集合关系的证明方法 42
§3-3-3 笛卡儿积 43
本章总结 43
习题 44
第4章 关系 46
§4-1 关系的概念及表示 46
§4-1-1 关系的概念 46
§4-1-2 关系的表示方法 47
§4-2 关系的性质 48
§4-2-1 自反性与反自反性 48
§4-2-2 对称性与反对称性 49
§4-2-3 传递性 50
§4-3 关系的运算 51
§4-3-1 关系的复合运算 51
§4-3-2 关系的逆运算 54
§4-3-3 关系的闭包运算 55
§4-4 等价关系与划分 56
§4-4-1 等价关系的概念 56
§4-4-2 等价类 57
§4-4-3 划分 58
§4-5 次序关系 58
§4-5-1 偏序关系 59
§4-5-2 其他次序关系 61
本章总结 61
习题 62
第5章 函数 64
§5-1 函数的概念与性质 64
§5-1-1 函数的概念 64
§5-1-2 函数的性质 65
§5-2 函数的运算 66
§5-2-1 函数的复合运算 66
§5-2-2 函数的逆运算 66
§5-3 基数 67
§5-3-1 基数的概念 67
§5-3-2 基数的比较 67
本章总结 69
习题 69
第6章 代数结构 71
§6-1 代数系统的概念 71
§6-2 代数系统的运算及其性质 72
§6-2-1 二元运算的性质 73
§6-2-2 小结 76
§6-3 半群与含幺半群 76
§6-3-1 半群和子半群 76
§6-3-2 含幺半群和子含幺半群 78
§6-4 群与子群 79
§6-4-1 群 80
§6-4-2 子群 82
§6-5 交换群、循环群与置换群 84
§6-5-1 交换群 84
§6-5-2 循环群 85
§6-5-3 置换群 86
§6-6 陪集与拉格朗日定理 88
§6-6-1 陪集 88
§6-6-2 拉格朗日定理 89
§6-6-3 正规子群 90
§6-7 同态与同构 90
§6-7-1 同态 91
§6-7-2 同构 91
§6-7-3 同余关系 94
§6-8 环与域 95
§6-8-1 环 96
§6-8-2 域 97
本章总结 99
习题 100
第7章 格与布尔代数 103
§7-1 格 103
§7-1-1 格的概念 103
§7-1-2 格的性质 105
§7-2 分配格 109
§7-3 有补格 110
§7-4 布尔代数 112
本章总结 114
习题 114
第8章 图论及其应用 117
§8-1 图的基本概念 117
§8-1-1 图 117
§8-1-2 结点的度 119
§8-1-3 图的同构 119
§8-1-4 子图和补图 121
§8-2 图的连通性 122
§8-2-1 路径与回路 122
§8-2-2 连通图 122
§8-3 图的矩阵表示 124
§8-3-1 图的邻接矩阵 124
§8-3-2 图的可达矩阵 126
§8-4 特殊图 128
§8-4-1 欧拉图 128
§8-4-2 哈密顿图 130
§8-4-3 二部图 132
§8-4-4 平面图 134
§8-5 图的应用 136
§8-5-1 图的应用示例 136
§8-5-2 特殊图的应用 138
本章总结 140
习题 140
第9章 树 144
§9-1 无向树 144
§9-1-1 基本概念 144
§9-1-2 最小生成树及其应用 146
§9-2 有向树 148
§9-2-1 基本概念 148
§9-2-2 有序树 149
§9-2-3 m叉树 151
§9-3 二叉树 153
§9-3-1 基本概念 153
§9-3-2 最优树 154
本章总结 156
习题 157
附录 习题参考答案 158
参考文献 192
书单推荐
