第1章 命题逻辑 1
内容提要 1
习题 7
习题解答 11
第2章 一阶逻辑 28
内容提要 28
习题 31
习题解答 34
第3章 集合的基本概念和运算 41
内容提要 41
习题 43
习题解答 47
第4章 二元关系和函数 52
内容提要 52
习题 56
习题解答 61
第5章 代数系统的一般性质 71
内容提要 71
习题 73
习题解答 76
第6章 几个典型的代数系统 84
内容提要 84
习题 88
习题解答 91
第7章 图的基本概念 96
内容提要 96
习题 100
习题解答 102
第8章 一些特殊的图 111
内容提要 111
习题 114
习题解答 116
第9章 树 122
内容提要 122
习题 124
习题解答 127
第10章 组合分析初步 132
内容提要 132
习题 134
习题解答 137
第11章 形式语言和自动机初步 149
内容提要 149
习题 152
习题解答 156