全书内容分成五篇：预备知识篇，包括整数、排列和组合初步及数学归纳法；数理逻辑篇，包括命题逻辑和一阶谓词逻辑中的基本概念、公式的蕴涵和等值演算、范式及推理理论；集合论篇，包括集合及其运算、二元关系及闭包、部分序关系和等价关系、映射；代数结构篇，包括群、环和格及其基本性质、布尔代数；图论篇，包括图和树、最短路径算法、最优二叉树算法、哈夫曼算法和几种特殊的图。

第一篇　预备知识

　第一章 预备

1.1　整除、互质和同余

　 1.1.1　整除和质因数分解

　 1.1.2　同余式

　1.2　排列和组合

　 1.2.1　排列与组合及其简单性质

　 1.2.2　排列和组合的生成

　1.3　数学归纳法

　 1.3.1　数学归纳法的基本形式

　 1.3.2　数学归纳法的其他形式

1.4　小结

习题一

第二篇　数理逻辑

　第二章　命题逻辑

2.1　基本概念

　 2.1.1　命题与逻辑联结词

　 2.1.2　命题公式与类型

2.2　等值演算

　 2.2.1　等值和基本等值式

　 2.2 2　置换规则

　 2.2.3　联结词的全功能集

2.3　范式

　 2.3.1　析取范式和主析取范式

　 2.3.2　合取范式和主合取范式

2.4　公式的蕴涵和推理

2.5　小结

习题二

　第三章　一阶谓词逻辑

3.1　基本概念

　　　3.1.1　谓词和量词

　 3.1.2　一阶谓词公式和解释

3.2　等值演算和前束范式

　 3.2.1　等值演算

　 3.2.2　前束范式

3.3　公式的蕴涵和推理

3.4　小结

习题三

第三篇 集合和关系

　第四章　集合和二元关系

4.1　集合及其运算

　 4.1.1　集合及其表示

　 4.1.2　集合之间的关系和运算

　 4.1.3　集合恒等式

4.2　二元关系及其闭包

　 4.2.1　二元关系及其运算

　 4.2.2　二元关系的性质

　 4.2.3　二元关系的闭包

4.3　几种特殊的二元关系

　 4.3.1　等价关系

　 4.3.2　部分序关系

　 4.3.3　相容关系

4.4　映射与集合的等势

　 4.4.1　映射的基本概念

　 4.4.2　映射的性质

　 4.4.3　集合的等势。

4.5小结

习题四

第四篇　代数结构

　第五章　群

5.1　代数系统

　 5.1.1　代数运算

　 5.1.2　代数系统及其同态和同构

5.2　群和子群

　 5.2.1　群的定义及其基本性质

　5.2.2　子群和子群的判定

　……

　第六章　环

　第七章　格和布尔代数

第五篇　图和树

　第八章　图

　第九章　树