《离散数学原理》

第一章 代数系统1

1.1. 集，函数，运算.表示法1

引论3

1.2. 代数概念.基本代数6

1.3. 二元关系，其表示法和性质10

1.4. 格19

1.5. 模型.关系代数27

1.6. 集论的公理体系.集的最短表达式37

1.7. 习题和练习50

注释56

2.1. 命题逻辑58

第二章 数理逻辑58

2.2. 布尔函数在析取范式类中的极小化62

2.3. 完全性70

2.4. 逻辑线路的综合80

2.5. 命题演算98

2.6. 谓词演算106

2.7. 习题和练习111

注释122

第三章 图和模型图124

3.1. 赋权图及其矩阵表示124

3.2. 图的连通性和强连通性132

3.3. 回路143

3.4. 图和模型图的微分148

3.5. 稳定性，覆盖，对组合160

3.6. 图的嵌入174

3.7. 图顶点和边的着色.边性表征192

3.8. 图着色的表征205

3.9. 习题和练习221

注释225

第四章 形式语法和自动机理论226

4.1. 形式语法226

4.2. 自动机设计的基本阶段234

4.3. 操作自动机的算术原理243

4.4. 设计的算法阶段255

4.5. 自动机的抽象设计265

4.6. 内部状态的编码282

4.7. 自动机的结构设计292

4.8. 自动机系统的佩特里(Petri)网模拟318

4.9. 习题和练习334

注释341

第五章 应用算法理论.特征分析342

5.1. 特征分析原则.组合算法的建立342

5.2. 模型图的偏序特征358

5.3. 逻辑线路输出端连通性的特征.结构极小化372

5.4. 转移图分解成部份笛卡尔乘积的特征396

5.5. 数据在电子计算机存储器中最佳存贮分配的特点和方法409

5.6. 习题和练习424

注释425

参考文献426