离散数学PDF电子书下载

第一章　集合论（set theory） 1

1.1 集合（set）（常略作集）和元素（element） 1

目录 1

1.2 泛集或全集（uni versal set），空集（empty set）或零集（null set） 2

1.3 子集（subset） 3

1.4 文氏图（Venn diagram） 3

1.5 集的运算 4

1.6 集代数，对偶性（duality） 6

1.7 有限集（finite set），计算原（counting principle） 7

1.8 集的类（class），幂集（pow er set） 9

1.9 论证（argument）和文氏图 10

1.10　数学归纳法（mathematical induction） 11

习题及解 11

2.1 引论 25

2.2 乘积集（product set） 25

第二章　关系（relation） 25

2.3 关系 26

2.4 关系的图形表示 27

2.5 逆关系（inverse relation） 28

2.6 关系的复合（composi tion）或合成 29

2.7 关系的基本类型及其特性 30

2.8 划分 31

2.9 等价关系（equivalence relation） 31

2.10　等价关系和划分 32

2.11　部分有序关系或半序关系（partial ordering relation） 33

2.12　n元关系 34

习题及解 34

第三章　函数（function） 46

3.1　简介 46

3.2　函数 46

3.3　函数图象（graph of a function） 47

3.4　一对一（one to one），在上（onto）与可逆函数（invertibl e function） 49

3.5　集的加标类 51

3.6　基数性（也可叫作基数度，cardinality） 52

习题及解 54

第四章　问量（vector）和矩阵（matrix） 68

4.1 简介 68

4.2 向量 68

4.3 矩阵 69

4.4 矩阵的相加及其标量积 70

4.5　求和符号（summation symbo1）∑ 71

4.6　矩阵乘法 72

4.7　转置（transpose） 74

4.8　方阵、正方阵、或等边矩阵（square matrix） 75

4.9　可逆矩阵或可逆阵（invertible matrix） 76

4.10　行列式（determinate） 77

4.11　可逆矩阵与行列式 78

习题及解 79

5.2 图和多重图（multigraph） 90

5.1 简介 90

第五章　图论（graph theory） 90

5.3 次数或度 91

5.4 连通性（eonnectivity） 91

5.5 哥尼斯堡（K？nigsberg）桥问题。可穿行的（traversable）多重图 92

5.6 特殊图 95

5.7 矩阵与图 97

5.8 加标图（labeled graph）（或带标图，标定图，加权图） 98

5.9 同构图（lsonmorphic graph） 98

习题及解 99

第六章 平面图（planar graph），着色问题（coloration）树 107

6.1 简介 107

6.2 地图（map），区域（region） 107

6.3 欧拉公式 108

6.4 非平面图（nonplanar graph）库拉边夫斯基定理（Kuratow ski′s theorem） 109

6.5 着色图（colored graphs） 110

6.6 四色定理（four color theorem） 111

6.7 树 113

6.8 有根树（rooted tree） 115

6.9 有序有根树（ordered rooted tree） 116

习题及解 118

第七章 有向图，有限状态机（finite state machine） 126

7.1 简介 126

7.2 有向图 126

7.3 基本定义 127

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

7.5 最小串路的剪枝算法（修剪算法） 129

7.6 有限状态机（finite state machine） 131

7.7 串（string）。输入和输出带子（tape） 133

7.8 有限自动机（finite automata） 134

习题及解 135

8.1 计算的基本原理 143

8.2 阶乘符号 143

第八章 组合分析（combinatorial analysis） 143

8.3 二项式系数 144

8.4 排列（permutation） 145

8.5　允许重复的排列 146

8.6　组合（combinaton） 147

8.7　有序划分 148

8.8　树图 149

习题及解 149

9.1　运算和半群（semigroup） 166

第九章　代数系统，形式语言 166

9.2 自由半群（free semigronp），语言 167

9.3　文法与语言 168

9.4　群 170

9.5　子群和正规子群（normal subgroup）（不变子群）（正规子群也叫 171

正则子群） 171

9.6　环（ring）整环（integral domain）和域（field） 176

习题及解 177

10.1　半序集 190

第十章　偏集和格（lattice） 190

10.2　偏集的图解 191

10.3　上确界与下确界 192

10.4　格子或格 193

10.5　有界格（bounded lattice） 195

10.6　分配格（distributive lattice） 195

10.7　补格（complcmecnted lattice） 197

习题及解 197

第十一章　命题计算（proposition calculus） 205

11.1　语句与复合语句 205

11.2　合取（conjunction）P∧q 205

11.3　析取（disjunction）P∨q 205

11.4　否定（negation）～P 206

11.5　命题与真值表（truth table） 206

11.6　重言式（或同语反复）（tautology）与矛盾（contradiction） 207

11.9 条件和双条件语句（biconditional statement） 208

11.8 命题代数（algebra of propositions） 208

11.7　逻辑等价（logical equivalence） 208

11.10 论证（argument） 209

11.11 逻辑蕴含（logical implication） 211

习题及解 211

第十二章　布尔代数（Boolean algebra） 224

12.1　基本定义 224

12.2　对偶性 225

12.3　基本定理 225

12.4　作为格看的布尔代数 226

12.5　表示定理（representaion tlheorem） 227

12.6　集的析取范式（normal form） 228

12.7　析取范式 229

12.8　开关线路设计 230

12.9　素蕴含式，相容法 232

12.10　最小或最简布尔式 233

12.11　卡诺图 233

习题及解 236