第1章：命题逻辑
第2章：一阶逻辑
第3章：集合的基本概念和运算
第4章：二元关系和函数
第5、6章：图的基本概念、特殊的图
第7、8章：树 、 组合分析初步
第9、10章：代数系统简介 、 形式语言和自动机初步
