离散数学及应用 / 高等学校计算机专业规划教材
￥29.50定价
作者： 刘铎
出版时间：2013-06
出版社：清华大学出版社
- 清华大学出版社
- 9787302320159
- 131826
- 45158843-8
- 16开
- 2013-06
- 理学
- 数学
- O158
- 数学
- 本科
内容简介
离散数学是现代数学的一个重要分支，是计算机专业和软件工程专业的基础主干课程，是进一步学习后续课程的研究和开发的基础。
刘铎编著的《离散数学及应用》是根据作者多年教学经验编写而成的，着重讲解离散数学的基本概念、基本方法及其应用，并给出大量典型例题和习题，以及若干离散数学应用案例和实验项目。全书共分9章，包括朴素集合论、数论基础、计数基础、命题逻辑、谓词逻辑、二元关系、函数、偏序关系与格、图论与树等。
《离散数学及应用》结构紧凑、内容精炼、体系严谨、语言流畅、讲解详细，可作为高等院校计算机或软件工程专业本科生的“离散数学”课程教材，也可供其他专业学生和科技人员阅读参考。
刘铎编著的《离散数学及应用》是根据作者多年教学经验编写而成的，着重讲解离散数学的基本概念、基本方法及其应用，并给出大量典型例题和习题，以及若干离散数学应用案例和实验项目。全书共分9章，包括朴素集合论、数论基础、计数基础、命题逻辑、谓词逻辑、二元关系、函数、偏序关系与格、图论与树等。
《离散数学及应用》结构紧凑、内容精炼、体系严谨、语言流畅、讲解详细，可作为高等院校计算机或软件工程专业本科生的“离散数学”课程教材，也可供其他专业学生和科技人员阅读参考。
目录
第1章 基础知识 /1
§1.1 集合与序列\t1
§1.1.1 集合的基本概念\t1
§1.1.2 集合的运算及性质\t3
§1.1.3 序列\t6
§1.2 数论基础\t6
§1.3 计数基础\t10
§1.3.1 加法法则与乘法法则\t10
§1.3.2 排列与组合\t11
§1.3.3 鸽巢原理\t16
§1.3.4 有限集的计数——容斥原理\t18
§1.3.5 递推关系\t20
§1.4 布尔矩阵及其运算\t23
习题一\t25
第2章 命题逻辑 / 33
§2.1 命题逻辑的基本概念\t33
§2.2 命题公式及其分类\t37
§2.3 命题逻辑的等值演算\t40
§2.4 对偶与范式\t45
§2.4.1 对偶\t45
§2.4.2 析取范式和合取范式\t46
§2.4.3 主范式\t48
§2.5 命题联结词的完备集\t54
§2.6 命题逻辑的推理\t56
习题二\t62
第3章 谓词逻辑 / 70
§3.1 谓词、量词与自然语句形式化\t70
§3.1.1 谓词\t70
§3.1.2 量词\t71
§3.1.3 自然语句形式化\t72
§3.2 谓词公式及分类\t74
§3.3 谓词逻辑的等值演算\t77
§3.4 前束范式\t81
§3.5 谓词逻辑的推理\t82
习题三\t89
第4章 二元关系 / 94
§4.1 关系及其表示\t94
§4.1.1 有序对与笛卡儿积\t94
§4.1.2 二元关系的定义\t96
§4.1.3 二元关系的表示\t98
§4.2 关系的运算\t100
§4.2.1 关系的基本运算\t100
§4.2.2 关系的幂和道路\t103
§4.3 关系的性质\t106
§4.3.1 关系性质的定义和判断\t106
§4.3.2 关系运算对性质的保持\t110
§4.4 关系的闭包\t111
§4.5 等价关系和集合的划分\t116
§4.5.1 等价关系、等价类和商集\t117
§4.5.2 集合的划分\t118
§4.5.3 等价关系与划分的一一对应\t119
§4.6 关系在计算机中的表示方法\t120
习题四\t121
第5章 函数 /128
§5.1 函数的定义\t128
§5.2 函数的性质\t129
§5.3 函数的复合\t131
§5.4 逆函数\t133
§5.5 计算机科学中的常用函数\t134
*§5.6 双射函数及集合的势\t138
习题五\t141
第6章 偏序关系 /145
§6.1 偏序关系和偏序集\t145
§6.1.1 偏序关系和偏序集的定义与性质\t145
§6.1.2 积偏序和字典序\t147
§6.1.3 哈斯图\t148
§6.2 偏序集中的特殊元素\t149
§6.2.1 偏序集中的特殊元素的定义\t149
§6.2.2 拓扑排序\t152
§6.3 格与布尔代数\t154
§6.3.1 格的定义\t154
§6.3.2 特殊的格\t157
§6.3.3 布尔代数\t160
习题六\t161
第7章 代数结构 /165
§7.1 代数结构运算及其性质\t165
§7.1.1 运算与代数结构的定义\t165
§7.1.2 二元运算的性质\t167
§7.2 群\t170
§7.2.1 半群与亚群\t170
§7.2.2 群的概念\t171
§7.2.3 群的性质\t174
§7.2.4 子群\t175
§7.2.5 循环群与置换群\t176
§7.2.6 陪集与拉格朗日定理\t178
§7.3 环与域\t180
§7.3.1 环\t180
§7.3.2 域\t182
§7.4 作为代数结构的格与布尔代数\t183
习题七\t185
第8章 图论 /193
§8.1 基本概念\t193
§8.1.1 无向图、有向图和握手定理\t193
§8.1.2 图的同构与子图\t197
§8.1.3 道路、回路与连通性\t200
§8.1.4 图的矩阵表示\t201
§8.2 欧拉图\t202
§8.3 哈密尔顿图\t206
§8.4 平面图\t210
§8.5 图的着色\t215
习题八\t219
第9章 树及其应用 /227
§9.1 无向树\t227
§9.2 支撑树及其应用\t230
§9.3 最短道路树\t239
§9.4 根树及其应用\t243
§9.4.1 根树的定义和基本概念\t243
§9.4.2 二叉树的遍历\t246
§9.4.3 最优二叉树与霍夫曼编码\t249
习题九\t252
附录A 课程综合实验 /256
§A.1 实验一：汉诺塔问题的变体\t256
§A.1.1 实验内容\t256
§A.1.2 实验要求\t256
§A.2 实验二：命题演算的计算机实现\t257
§A.3 实验三：二元关系及其应用\t258
§A.3.1 准备工作\t258
§A.3.2 等价关系及其应用\t259
§A.3.3 偏序关系及其应用\t259
§A.3.4 连通性、欧拉道路和欧拉回路\t261
§A.4 实验四：村庄修引水渠问题\t262
§A.4.1 实验内容（一）\t263
§A.4.2 实验内容（二）\t263
§A.4.3 讨论与思考\t264
§A.5 实验五：考场安排问题\t265
§A.5.1 实验内容\t265
§A.5.2 实验内容\t266
§A.6 实验六：展览馆的参观与维护\t266
附录B 名词英汉对照表 /267
附录C 使用Mathematica学习离散数学 /276
§C.1 集合、序列与矩阵\t276
§C.2 排列、组合、递推关系与划分\t279
§C.3 关系与有向图\t280
§C.4 图\t285
§C.5 树\t288
参考文献 /290
§1.1 集合与序列\t1
§1.1.1 集合的基本概念\t1
§1.1.2 集合的运算及性质\t3
§1.1.3 序列\t6
§1.2 数论基础\t6
§1.3 计数基础\t10
§1.3.1 加法法则与乘法法则\t10
§1.3.2 排列与组合\t11
§1.3.3 鸽巢原理\t16
§1.3.4 有限集的计数——容斥原理\t18
§1.3.5 递推关系\t20
§1.4 布尔矩阵及其运算\t23
习题一\t25
第2章 命题逻辑 / 33
§2.1 命题逻辑的基本概念\t33
§2.2 命题公式及其分类\t37
§2.3 命题逻辑的等值演算\t40
§2.4 对偶与范式\t45
§2.4.1 对偶\t45
§2.4.2 析取范式和合取范式\t46
§2.4.3 主范式\t48
§2.5 命题联结词的完备集\t54
§2.6 命题逻辑的推理\t56
习题二\t62
第3章 谓词逻辑 / 70
§3.1 谓词、量词与自然语句形式化\t70
§3.1.1 谓词\t70
§3.1.2 量词\t71
§3.1.3 自然语句形式化\t72
§3.2 谓词公式及分类\t74
§3.3 谓词逻辑的等值演算\t77
§3.4 前束范式\t81
§3.5 谓词逻辑的推理\t82
习题三\t89
第4章 二元关系 / 94
§4.1 关系及其表示\t94
§4.1.1 有序对与笛卡儿积\t94
§4.1.2 二元关系的定义\t96
§4.1.3 二元关系的表示\t98
§4.2 关系的运算\t100
§4.2.1 关系的基本运算\t100
§4.2.2 关系的幂和道路\t103
§4.3 关系的性质\t106
§4.3.1 关系性质的定义和判断\t106
§4.3.2 关系运算对性质的保持\t110
§4.4 关系的闭包\t111
§4.5 等价关系和集合的划分\t116
§4.5.1 等价关系、等价类和商集\t117
§4.5.2 集合的划分\t118
§4.5.3 等价关系与划分的一一对应\t119
§4.6 关系在计算机中的表示方法\t120
习题四\t121
第5章 函数 /128
§5.1 函数的定义\t128
§5.2 函数的性质\t129
§5.3 函数的复合\t131
§5.4 逆函数\t133
§5.5 计算机科学中的常用函数\t134
*§5.6 双射函数及集合的势\t138
习题五\t141
第6章 偏序关系 /145
§6.1 偏序关系和偏序集\t145
§6.1.1 偏序关系和偏序集的定义与性质\t145
§6.1.2 积偏序和字典序\t147
§6.1.3 哈斯图\t148
§6.2 偏序集中的特殊元素\t149
§6.2.1 偏序集中的特殊元素的定义\t149
§6.2.2 拓扑排序\t152
§6.3 格与布尔代数\t154
§6.3.1 格的定义\t154
§6.3.2 特殊的格\t157
§6.3.3 布尔代数\t160
习题六\t161
第7章 代数结构 /165
§7.1 代数结构运算及其性质\t165
§7.1.1 运算与代数结构的定义\t165
§7.1.2 二元运算的性质\t167
§7.2 群\t170
§7.2.1 半群与亚群\t170
§7.2.2 群的概念\t171
§7.2.3 群的性质\t174
§7.2.4 子群\t175
§7.2.5 循环群与置换群\t176
§7.2.6 陪集与拉格朗日定理\t178
§7.3 环与域\t180
§7.3.1 环\t180
§7.3.2 域\t182
§7.4 作为代数结构的格与布尔代数\t183
习题七\t185
第8章 图论 /193
§8.1 基本概念\t193
§8.1.1 无向图、有向图和握手定理\t193
§8.1.2 图的同构与子图\t197
§8.1.3 道路、回路与连通性\t200
§8.1.4 图的矩阵表示\t201
§8.2 欧拉图\t202
§8.3 哈密尔顿图\t206
§8.4 平面图\t210
§8.5 图的着色\t215
习题八\t219
第9章 树及其应用 /227
§9.1 无向树\t227
§9.2 支撑树及其应用\t230
§9.3 最短道路树\t239
§9.4 根树及其应用\t243
§9.4.1 根树的定义和基本概念\t243
§9.4.2 二叉树的遍历\t246
§9.4.3 最优二叉树与霍夫曼编码\t249
习题九\t252
附录A 课程综合实验 /256
§A.1 实验一：汉诺塔问题的变体\t256
§A.1.1 实验内容\t256
§A.1.2 实验要求\t256
§A.2 实验二：命题演算的计算机实现\t257
§A.3 实验三：二元关系及其应用\t258
§A.3.1 准备工作\t258
§A.3.2 等价关系及其应用\t259
§A.3.3 偏序关系及其应用\t259
§A.3.4 连通性、欧拉道路和欧拉回路\t261
§A.4 实验四：村庄修引水渠问题\t262
§A.4.1 实验内容（一）\t263
§A.4.2 实验内容（二）\t263
§A.4.3 讨论与思考\t264
§A.5 实验五：考场安排问题\t265
§A.5.1 实验内容\t265
§A.5.2 实验内容\t266
§A.6 实验六：展览馆的参观与维护\t266
附录B 名词英汉对照表 /267
附录C 使用Mathematica学习离散数学 /276
§C.1 集合、序列与矩阵\t276
§C.2 排列、组合、递推关系与划分\t279
§C.3 关系与有向图\t280
§C.4 图\t285
§C.5 树\t288
参考文献 /290
