第1章命题逻辑1

内容提要1

习题7

习题解答11第2章一阶逻辑28

内容提要28

习题32

习题解答37第3章集合的基本概念和运算46

内容提要46

习题48

习题解答52第4章二元关系和函数57

内容提要57

习题61

习题解答66第5章代数系统的一般性质76

内容提要76

习题78

习题解答81第6章几个典型的代数系统89

内容提要89

习题93

习题解答96第7章图的基本概念101

内容提要101

习题105

习题解答107第8章一些特殊的图116

内容提要116

习题119

习题解答121第9章树128

内容提要128

习题130

习题解答133第10章组合分析初步139

内容提要139

习题140

习题解答142第11章形式语言和自动机初步153

内容提要153

习题156

习题解答160