离散数学导论 第2版PDF电子书下载

原版序 1

第一章 绪言 1

再版前言 2

第二章 集合论初步 3

1 集合论基础 3

2 幂集、n重有序组及笛卡尔乘积 15

第三章 关系与映射 20

1 关系的基本概念 20

2 关系的运算 24

3 关系的某些性质 28

4 关系上的闭包运算 31

5 次序关系 36

6 相容关系 42

7 等价关系 45

8 映射 49

第四章 无限集 58

1 无限集的性质 58

2 集合的基数 61

1 代数系统的基本概念 66

第五章 代数系统 66

2 半群与单元半群 89

3 群论 95

4 环、理想、整环和域 121

5 格与布尔代数 128

第六章 图论 137

1 图论基本概念 137

2 通路、回路与连通性 149

3 欧拉图 156

4 哈密尔顿图 161

5 图的矩阵表示法 163

6 树 174

7 平面图与两步图 187

第七章 数理逻辑 201

1 命题演算 201

2 谓词演算 237

3 命题演算与谓词演算的公理化理论 260

4 谓词演算与逻辑程序设计语言 273