目录

第1章命题逻辑1

内容提要1

习题6

习题解答11

第2章一阶逻辑28

内容提要28

习题31

习题解答34

第3章集合的基本概念和运算41

内容提要41

习题43

习题解答47

第4章二元关系和函数53

内容提要53

习题57

习题解答62

第5章图的基本概念71

内容提要71

习题74

习题解答77

第6章特殊的图86

内容提要86

习题88

习题解答91

第7章树97

内容提要97

习题99

习题解答101

第8章组合分析初步108

内容提要108

习题110

习题解答113

第9章代数系统简介128

内容提要128

习题134

习题解答139

第10章形式语言和自动机初步153

内容提要153

习题156

习题解答161