《离散数学导论 第2版》

原版序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