第0章 准备知识
0.1 集合、命题、谓词和运算
0.1.1 集合
0.1.2 命题与谓词
0.1.3 集合的表示
0.1.4 外延性原理与子集合
0.1.5 运算
练习0.1 题解
0.2 鸽笼原理
0.2.1 鸽笼原理基本形式
0.2.2 鸽笼原理加强形式
练习0.2 题解
第0章补充题及解析
第1章 逻辑代数(上):命题演算纲要
1.1 逻辑联结词与命题公式
1.1.1 逻辑联结词
1.1.2 命题公式
1.1.3 语句形式化
练习1.1 题解
1.2 逻辑等价式和逻辑蕴涵式
1.2.1 重言式
1.2.2 逻辑等价式和逻辑蕴涵式
1.2.3 对偶原理
1.2.4 应用逻辑
练习1.2 题解
1.3 范式
1.3.1 析取范式和合取范式
1.3.2 主析取范式与主合取范式
1.3.3 联结词的扩充和归约
练习1.3 题解
1.4 命题演算消解原理
练习1.4 题解
第1章补充题及解析
第2章 逻辑代数(下):谓词演算
2.1谓词演算基本概念
2.1.1个体
2.1.2谓词
2.1.3谓词公式及语句形式化
练习2.1题解
2.2谓词演算永真式
2.2.1谓词公式的语义
2.2.2谓词演算永真式
2.2.3谓词公式等价变换的几个基本原理
练习2.2题解
2.3谓词演算消解原理
2.3.1前束化和消去量词
2.3.2谓词演算消解原理
练习2.3题解
第2章补充题及解析
第3章集合代数
3.1集合运算
3.1.1集合的并、交、差、补运算
3.1.2集合的环和与环积运算
3.1.3幂集与广义并、交运算
练习3.1题解
3.2集合的笛卡儿积
练习3.2题解
3.3集合定义的自然数和归纳法证明
3.3.1集合定义的自然数
3.3.2归纳法证明
练习3.3题解
第3章补充题及解析
第4章初等数论
4.1整除和素数
4.1.1整除
4.1.2*大公因子
4.1.3算术基本定理
4.1.4素数的性质
4.1.5实数的取整(x)与取另{x}
练习4.1题解
4.2同余
4.2.1同余的基本性质
4.2.2剩余系
4.2.3一次同余方程
4.2.4同余式组
*4.2.5 Euler定理和Fetmat小定理
练习4.2题解
第4章补充题及解析
第5章计数
5.1计数基本原理
5.1.1加法原理和乘法原理
5.1.2包含排斥原理
练习5.1题解
5.2排列与组合
5.2.1排列的计数
5.2.2组合的计数
练习5.2题解
5.3重集的排列与组合
5.3.1重集的排列
5.3.2重集的组合
*5.3.3错置的计数
练习5.3题解
5.4递归式及其应用
5.4.1递归式建模
5.4.2递归式求解
练习5.4题解
第5章补充题及解析
第6章关系
6.1关系
6.1.1关系及二元关系
6.1.2关系基本运算
6.1.3关系数据库中的关系运算
6.1.4关系的基本特性
6.1.5关系的特性闭包
练习6.1题解
6.2等价关系
6.2.1等价关系及其等价类
6.2.2等价关系与划分
练习6.2题解
6.3序关系
6.3.1序关系和有序集
6.3.2全序集与良序集
6.3.3有序集的应用
练习6.3题解
第6章补充题及解析
第7章函数
7.1函数及函数的合成
7.1.1函数基本概念
7.1.2函数的合成
7.1.3函数的递归定义
练习7.1题解
7.2特殊函数类
7.2.1单射、满射和双射
7.2.2函数的逆
7.2.3谓词、集合、函数的统一描述与模糊子集
练习7.2题解
7.3有限集和无限集
7.3.1有限集、可数集与不可数集
*7.3.2无限集的特性
练习7.3题解
第7章补充题及解析
*第8章可计算函数
8.1函数概念的拓广
练习8.1题解
8.2初等函数
8.2.1初等函数集
8.2.2初等谓词
练习8.2题解
8.3原始递归函数
8.3.1初等函数集的不足
8.3.2原始递归式
8.3.3原始递归函数集
练习8.3题解
8.4递归函数
8.4.1阿克曼函数及其性质
8.4.2μ-递归式
8.4.3递归函数集(μ-递归函数集)
练习8.4题解
第9章图与树
9.1图
9.1.1图的基本概念
9.1.2结点的度
9.1.3子图、补图及图同构
练习9.1题解
9.2路径、回路及连通性
9.2.1路径、通路与回路
9.2.2连通性
9.2.3连通度
练习9.2题解
9.3图的矩阵表示
9.3.1邻接矩阵
9.3.2路径矩阵与可达性矩阵
练习9.3题解
9.4树
9.4.1树的基本概念
9.4.2生成树
练习9.4题解
第9章补充题及解析
第10章特殊图
10.1欧拉图与哈密顿图
10.1.1欧拉图及欧拉路径
10.1.2哈密顿图及哈密顿通路
练习10.1题解
10.2二分图
10.2.1二分图基本概念
10.2.2二分图的匹配及其应用
练习10.2题解
10.3平面图
10.3.1平面图基本概念
10.3.2欧拉公式和库拉托夫斯基定理
*10.3.3平面图的应用:着色问题
练习10.3题解
10.4根树
10.4.1根树的概念
10.4.2二元树的性质及应用
练习10.4题解
第10章补充题及解析
第11章代数结构通论
11.1代数结构
11.1.1代数结构的组成
11.1.2代数结构的特殊元素
11.1.3子代数
练习11.1题解
11.2同态和同构
练习11.2题解
11.3同余关系
11.3.1同余关系的意义
11.3.2同态与同余关系
11.3.3同余关系的应用
练习11.3题解
第11章补充题及解析
第12章群、环、域
12.1半群
12.1.1半群及独异点
*12.1.2自由独异点
练习12.1题解
12.2群
12.2.1群及其基本性质
12.2.2群的元素的阶
12.2.3子群、陪集和拉格朗日定理
12.2.4正规子群和商群
练习12.2题解
12.3循环群和置换群
12.3.1循环群
12.3.2置换群
*12.3.3置换群的应用
练习12.3题解
12.4环和域
12.4.1环
12.4.2域
练习12.4题解
第12章补充题及解析
参考文献