第一章 命题逻辑第一节 命题

第二节 量词命题式

第三节 推理方法

第四节 定理证明

第二章 集合论第一节 集合与子集

第二节 集合的运算

第三节 归纳

第四节 字母、字和语言

第三章 关系第一节 二元关系

第二节 关系的合成

第三节 集合A上的关系

第四节 A上的关系的闭合运算

第五节 次序关系

第六节 等价关系与分类

第四章 函数第一节 函数的基本性质

第二节 合成函数

第三节 逆函数

第四节 集合A上的函数

第五节 用归纳法定义的函数

第五章 图论第一节 有向图

第二节 加标有向图

第三节 无向图

第四节 Euler回路和Hamilton回路

第五节 树

第六章 组合论第一节 鸽子洞原理

第二节 排列与组合

第三节 产生排列和组合

第四节 递推方程

第五节 计算复杂性

第六节 算法分析

第七章 代数第一节 代数的结构

第二节 一元代数

第三节 半群

第四节 群

第五节 群码

第六节 环

第七节 布尔代数

习题答案

参考文献

常用符号

索引