离散数学原理及题解PDF电子书下载

第一章 集合论 1

1.1 集合与元素 1

1.2 全集 空集 2

1.3 子集 2

1.4 文氏图 3

1.5 集合的运算 4

1.6 集代数 对偶 5

1.7 有限集合 计数原理 6

1.8 集合的类 幂集合 7

1.9 论断与文氏图 8

1.10 数学归纳法 8

习题(附解答) 9

第二章 关系 23

2.1 引言 23

2.2 积集 23

2.3 关系 24

2.4 关系的图示 25

2.5 逆关系 26

2.6 关系的复合(合成) 27

2.7 关系的性质 28

2.8 划分 29

2.9 等价关系 29

2.10 等价关系和划分 30

2.11 偏序(半序)关系 31

2.12 n元关系 31

习题(附解答) 31

第三章 函数 44

3.1 引言 44

3.2 函数 44

3.3 函数的图 45

3.4 一对一 在上 可逆函数 46

3.6 基数 48

3.5 集合的加标类 48

习题 49

第四章 向量与矩阵 65

4.1 引言 65

4.2 向量 65

4.3 矩阵 66

4.4 矩阵的加法及无向量乘法 67

4.5 求和符号 68

4.6 矩阵乘法 69

4.7 转置 70

4.8 方阵 70

4.9 可逆矩阵 71

4.10 行列式 72

4.11 可逆矩阵及行列式 73

习题(附解答) 74

5.2 图和多重图 89

5.1 引言 89

第五章 图论 89

5.3 度 90

5.4 连通性 90

5.5 哥尼斯堡桥 可跨越多重图 91

5.6 特殊图 93

5.7 矩阵和图 95

5.8 有权图 96

5.9 同构图 97

习题(附解答) 97

第六章 平面图 着色 树 108

6.1 引言 108

6.2 地图 区域 108

6.3 欧拉公式 109

6.4 非平面图 库拉托沃斯基定理 110

6.5 着色图 111

6.6 四色定理 112

6.7 树 113

6.8 有根树 114

6.9 有序有根树 115

习题(附解答) 116

第七章 有向图及有限状态机 127

7.1 引言 127

7.2 有向图 127

7.3 基本定义 128

7.4 有向图 关系 非负整数方阵 129

7.5 最小通路的剪枝算法 130

7.6 有限状态机 132

7.7 串 输入带及输出带 133

7.8 有限自动机 135

习题(附解答) 136

8.1 计数的基本原理 145

8.2 阶乘符号 145

第八章 组合分析 145

8.3 二项式系数 146

8.4 排列 147

8.5 排列和重复 148

8.6 组合 149

8.7 有序划分 150

8.8 树图 151

习题(附解答) 152

第九章 代数系统 形式语言 169

9.1 运算和半群 169

9.2 自由半群 语言 170

9.3 文法和语言 171

9.4 群 172

9.5 子群和正规子群 173

9.6 环 整环 域 176

习题(附解答) 177

10.1 半序集 192

第十章 半序集和格 192

10.2 半序集的图 193

10.3 上确界和下确界 194

10.4 格 195

10.5 有界格 197

10.6 分配格 197

10.7 有补格 198

习题(附解答) 199

第十一章 命题演算 210

11.1 语句和重复语句 210

11.2 合取 p∧q 210

11.3 析取p∨q 211

11.4 否定～p 211

11.5 命题和真值表 212

11.6 重言式和矛盾 214

11.7 逻辑等价 214

11.8 命题代数 215

11.10 论断 216

11.9 条件语句和双条件语句 216

11.11 逻辑蕴含 218

习题(附解答) 219

第十二章 布尔代数 235

12.1 基本定义 235

12.2 对偶性 236

12.3 基本定理 236

12.5 表示规则 237

12.4 布尔格 237

12.6 集合的析取范式 238

12.7 析取范式 239

12.8 开关电路设计 240

12.9 素蕴含项 合意方法 241

12.10 最小布尔表达式 242

12.11 卡诺图 243

习题(附解答) 246