《计算机数学基础 上 离散数学》求取 ⇩

第1编 数理逻辑3

第1章 命题逻辑3

1.1 命题与联结词3

1.2 命题公式与赋值11

1.3 命题定理14

1.4 范式18

1.5 命题演算的推理理论26

1.6 本章小结32

1.7 学习指导33

第2章 谓词逻辑39

2.1 谓词逻辑基本概念39

2.2 谓词公式43

2.3 谓词的等值演算46

2.4 前束范式49

2.5 谓词逻辑的推理理论52

2.6 本章小结55

2.7 学习指导56

第2编 集合论63

第3章 集合及其运算63

3.1 集合的概念和表示方法63

3.2 集合的运算及其性质68

3.3 笛卡儿积79

3.4 本章小结84

3.5 学习指导85

第4章 二元关系与函数93

4.1 关系的概念93

4.2 关系的运算98

4.3 关系的性质106

4.4 等价关系和偏序关系118

4.5 函数127

4.6 本章小结135

4.7 学习指导140

第3编 图论159

第5章 图的基本概念159

5.1 图的基本概念159

5.2 图的连通性165

5.3 图的矩阵表示171

5.4 最短路径和关键路径问题178

5.5 本章小结182

5.6 学习指导184

第6章 几种特殊的图191

6.1 欧拉图和中国邮路问题191

6.2 哈密顿图和货郎担问题195

6.3 平面图与图的着色198

6.4 树207

6.5 二分图217

6.6 本章小结221

6.7 学习指导224

第4编 代数系统233

第7章 群233

7.1 代数结构概述233

7.2 群的概念238

7.3 特殊群242

7.4 同态与同构248

7.5 陪集与拉格朗日定理252

7.6 正规子群和同态基本定理256

7.7 本章小结261

7.8 学习指导263

第8章 其它代数系统271

8.1 环与域271

8.2 格与布尔代数276

8.3 本章小结286

8.4 学习指导288

符号表291

参考文献293

1999《计算机数学基础 上 离散数学》由于是年代较久的资料都绝版了,几乎不可能购买到实物。如果大家为了学习确实需要,可向博主求助其电子版PDF文件(由任现淼主编;吴裕树副主编 1999 北京:中央广播电视大学出版社 出版的版本) 。对合法合规的求助,我会当即受理并将下载地址发送给你。