第一篇 集合论与数理逻辑

第1章 集合

第2章 关系

第3章 映射

第4章 可数集与不可数集

第5章 命题逻辑

第6章 一阶逻辑

第二篇 图论与组合数学

第7章 图与子图

第8章 树

第9章 图的连通性

第10章 E图与H图

第11章 匹配与点独立集

第12章 图的着色

第13章 平面图

第14章 有向图

第15章 网络最大流

第16章 排列和组合的一般计数方法

第17章 容斥原理

第18章 递推关系与生成函数

第三篇 代数结构与初等数论

第19章 整数

第20章 群

第21章 环与域

第22章 格与布尔代数

第四篇 形式语言与自动机理论基础

第23章 形式语言

第24章 有限自动机理论

参考文献