《离散数学》求取 ⇩

第一章　集合论（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∧q205

11.3　析取（disjunction）P∨q205

11.4　否定（negation）～P206

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