第一章 代数系统 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