目录 1
第1章 命题逻辑 1
内容提要 1
习题 7
习题解答 11
第2章 一阶逻辑 28
内容提要 28
习题 32
习题解答 37
内容提要 46
第3章 集合的基本概念和运算 46
习题 48
习题解答 52
第4章 二元关系和函数 57
内容提要 57
习题 61
习题解答 66
第5章 代数系统的一般性质 76
内容提要 76
习题 78
习题解答 81
内容提要 89
第6章 几个典型的代数系统 89
习题 93
习题解答 96
第7章 图的基本概念 101
内容提要 101
习题 105
习题解答 107
第8章 一些特殊的图 116
内容提要 116
习题 119
习题解答 121
内容提要 128
第9章 树 128
习题 130
习题解答 133
第10章 组合分析初步 139
内容提要 139
习题 140
习题解答 142
第11章 形式语言和自动机初步 153
内容提要 153
习题 156
习题解答 160