第一篇 集合论与数理逻辑 3
第1章 集合 3
第2章 关系 7
第3章 映射 15
第4章 可数集与不可数集 17
第5章 命题逻辑 20
第6章 一阶逻辑 31
第二篇 图论与组合数学 39
第7章 图与子图 39
第8章 树 48
第9章 图的连通性 52
第10章 E图与H图 58
第11章 匹配与点独立集 64
第12章 图的着色 73
第13章 平面图 80
第14章 有向图 86
第15章 网络最大流 91
第16章 排列和组合的一般计数方法 98
第17章 容斥原理 103
第18章 递推关系与生成函数 106
第三篇 代数结构与初等数论 113
第19章 整数 113
第20章 群 120
第21章 环与域 128
第22章 格与布尔代数 136
第四篇 形式语言与自动机理论基础 145
第23章 形式语言 145
第24章 有限自动机理论 149
参考文献 153