离散数学概论PDF电子书下载

Ⅰ集合论 1

1基本概念 1

1．1集合与元素 1

1．2集合运算 2

1．2．1包含关系 2

1．2．2基本运算 3

1．3集合的极限 7

1．4直积 10

2关系与映射 12

2．1关系定义 12

2．2映射定义 14

2．3关系矩阵和关系图 17

2．4序关系与等价关系 18

3集合的势 23

3．1基数概念 23

3．2皮亚诺公理 24

3．3ω递归 24

3．4势 27

4点集 32

4．1距离空间 32

4．2收敛点列 37

4．3欧氏空间中的点集 39

4．4基本定理 45

4．5零集 48

4．5．1p进小数 48

4．5．2康托尔集 50

4．5．3直线上的零集 52

Ⅱ代数学 55

5代数系统 55

5．1代数系统定义 55

5．2同态与同构 58

5．3商代数系统 61

6群 63

6．1群定义 63

6．2子群和陪集 66

6．3群同态定理 71

6．4集合上的变换群 77

6．5置换群和循环群 79

7环与域 87

7．1环定义和域定义 87

7．2多项式环 92

7．3环和域的特征 93

7．4扩域 96

7．5有序环和有序域 99

7．6交错代数 103

8格论 109

8．1格定义 109

8．2格性质 112

8．3特殊格 117

8．4布尔代数和纽曼代数 121

9多重线性代数 127

9．1对偶空间 127

9．2多重线性变换 129

9．3线性空间的张量积与直和 132

9．4张量代数和外代数 136

9．5E（V）的线性变换和对偶 145

10李代数 148

10．1李代数定义 148

10．2单李代数和半单李代数 153

10．3嘉当内积 157

Ⅲ图论 161

11图的基本概念 161

11．1图定义 161

11．2路与回路 166

11．3图代数 170

11．3．1图运算 170

11．3．2图的矩阵表示 171

11．3．3图的线性空间 179

11．3．4图同构和图同调 180

12特殊图 183

12．1欧拉图和哈密顿图 183

12．2平面图 189

12．2．1平面图定义 189

12．2．2库拉托夫斯基定理 192

12．3对偶图 193

13树 204

13．1树定义 204

13．2生成树 207

13．3二叉树 209

13．4生成树的生成 212

13．5优美树 219

Ⅳ数理逻辑 223

14命题逻辑 223

14．1命题 223

14．2命题逻辑的形式化 226

14．3范式 238

14．4命题演算和集合 245

14．5命题逻辑的公理系统 246

15谓词逻辑 251

15．1谓词和量词 251

15．2谓词逻辑的形式化 254

15．3谓词逻辑的公理系统 258

15．4范式 262

16Herbrand定理 264

16．1公理化理论的基本思想 264

16．2判定问题 265

16．3Herbrand定理的证明 266

Ⅴ丢番图方程 275

17贝尔方程 275

17．1贝尔方程的基本解 275

17．1．1一次不定方程 275

17．1．2勾股数 277

17．1．3贝尔方程的解 278

17．2方程x2—Dy2＝M解的结构 283

18二次域和不定方程 285

18．1OK的理想类数 285

18．2三角和 288

18．3实二次域与贝尔方程 298

18．4费尔马方程 301

参考文献 305

术语索引 306