离散数学PDF电子书下载

第一章 集合 1

1 基本概念 1

2 关系 4

3 等价关系 8

4 部分序关系 13

5 映射 16

第二章 命题逻辑 21

1 基本概念 21

2 范式 26

3 公式的蕴涵 34

4 定理证明的自动化 43

第三章 一阶逻辑 49

1 谓词与量词 49

2 公式 53

3 范式 57

4 例 63

第四章 格与布尔代数 68

1 引言 68

2 格的定义 69

3 格的性质 74

4 几种特殊的格 81

5 布尔代数 87

6 有限布尔代数的结构 92

7 布尔表达式的化简 102

第五章 图 118

1 图 118

2 树 124

3 有向图与有向树 130

4 Euler路 135

5 Hamilton路 138

6 K？nig无限性引理 150

第六章 整数 155

1 整除性 辗转相除 155

2 互质 质因数分解 161

3 合同 164

4 秦九韶定理 Euler函数 168

第七章 群环域 172

1 置换 172

2 群的定义 177

3 子群及其陪集 182

4 同态与同构 189

5 环 194

6 环同态 200

7 域 206

第八章 有限自动机 211

1 有限自动机的基本概念 211

2 内动机及其结构 215

3 驱动机及其结构 220

4 简化问题 227

5 未完全确定的有限自动机 236

第九章 Tuting机与可计算性 247

1 Turtiug机 247

2 可计算函数 251

3 可计算函数的运算 256

4 递归函数 269