第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
习题解答 160