离散数学学习指导

目录
第一篇 数理逻辑
第1章 命题逻辑
1.1 命题与联结词
1.1.1 基本知识
1.1.2 例题
1.1.3 习题
1.2 命题公式
1.2.1 基本知识
1.2.2 例题
1.2.3 习题
1.3 等值演算
1.3.1 基本知识
1.3.2 例题
1.3.3 习题
1.4 命题公式的范式
1.4.1 基本知识
1.4.2 例题
1.4.3 习题
1.5 联结词的功能完全集
1.5.1 基本知识
1.5.2 例题
1.5.3 习题
1.6 永真蕴涵式
1.6.1 基本知识
1.6.2 例题
1.6.3 习题
1.7 命题逻辑的推理理论
1.7.1 基本知识
1.7.2 例题
1.7.3 习题
1.8 命题逻辑推理的机械化方法
1.8.1 基本知识
1.8.2 例题
1.8.3 习题
第2章 一阶逻辑
2.1 一阶逻辑的基本概念
2.1.1 基本知识
2.1.2 例题
2.1.3 习题
2.2 一阶逻辑公式
2.2.1 基本知识
2.2.2 例题
2.2.3 习题
2.3 一阶逻辑的等值演算与前束范式
2.3.1 基本知识
2.3.2 例题
2.3.3 习题
2.4 一阶逻辑的推理理论
2.4.1 基本知识
2.4.2 例题
2.4.3 习题
第二篇 集合论
第3章 集合
3.1 集合的定义
3.1.1 基本知识
3.1.2 例题
3.1.3 习题
3.2 集合的基本运算
3.2.1 基本知识
3.2.2 例题
3.2.3 习题
3.3 有限集合的计数
3.3.1 基本知识
3.3.2 例题
3.3.3 习题
3.4 集合表达式的相等与包含
3.4.1 基本知识
3.4.2 例题
3.4.3 习题
3.5 集合的特征函数
3.5.1 基本知识
3.5.2 例题
3.5.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 关系的闭包
4.5.1 基本知识
4.5.2 例题
4.5.3 习题
4.6 等价关系和偏序关系
4.6.1 基本知识
4.6.2 例题
4.6.3 习题
第5章 函数
5.1 函数的基本概念
5.1.1 基本知识
5.1.2 例题
5.1.3 习题
5.2 函数的性质
5.2.1 基本知识
5.2.2 例题
5.2.3 习题
5.3 函数的复合与反函数
5.3.1 基本知识
5.3.2 例题
5.3.3 习题
5.4 可逆函数集与置换
5.4.1 基本知识
5.4.2 例题
5.4.3 习题
5.5 二元运算
5.5.1 基本知识
5.5.2 例题
5.5.3 习题
5.6 基数
5.6.1 基本知识
5.6.2 例题
5.6.3 习题
第三篇 代数系统
第6章 半群、语言和自动机
6.1 半群与语言
6.1.1 基本知识
6.1.2 例题
6.1.3 习题
6.2 语言和文法
6.2.1 基本知识
6.2.2 例题
6.2.3 习题
6.3 有限状态机
6.3.1 基本知识
6.3.2 例题
6.3.3 习题
6.4 有限状态自动机
6.4.1 基本知识
6.4.2 例题
6.4.3 习题
6.5 语言与自动机的关系
6.5.1 基本知识
6.5.2 例题
6.5.3 习题
第7章 群、环和域
7.1 群的基本概念
7.1.1 基本知识
7.1.2 例题
7.1.3 习题
7.2 子群
7.2.1 基本知识
7.2.2 例题
7.2.3 习题
7.3 群的同态与同构
7.3.1 基本知识
7.3.2 例题
7.3.3 习题
7.4 子群的陪集
7.4.1 基本知识
7.4.2 例题
7.4.3 习题
7.5 对称群、置换群、正规性与商群
7.5.1 基本知识
7.5.2 例题
7.5.3 习题
7.6 群在集合上的作用
7.6.1 基本知识
7.6.2 例题
7.6.3 习题
7.7 同态基本定理与同构定理
7.7.1 基本知识
7.7.2 例题
7.7.3 习题
7.8 环的基本概念
7.8.1 基本知识
7.8.2 例题
7.8.3 习题
7.9 子环、理想与商环
7.9.1 基本知识
7.9.2 例题
7.9.3 习题
7.10 交换环中的因子分解
7.10.1 基本知识
7.10.2 例题
7.10.3 习题
7.11 多项式环
7.11.1 基本知识
7.11.2 例题
7.11.3 习题
7.12 多项式环的因子分解
7.12.1 基本知识
7.12.2 例题
7.12.3 习题
7.13 域的基本概念
7.13.1 基本知识
7.13.2 例题
7.13.3 习题
7.14 分裂域
7.14.1 基本知识
7.14.2 例题
7.14.3 习题
7.15 有限域
7.15.1 基本知识
7.15.2 例题
7.15.3 习题
第8章 格与布尔代数
8.1 格的概念
8.1.1 基本知识
8.1.2 例题
8.1.3 习题
8.2 分配格
8.2.1 基本知识
8.2.2 例题
8.2.3 习题
8.3 有补格
8.3.1 基本知识
8.3.2 例题
8.3.3 习题
8.4 布尔代数
8.4.1 基本知识
8.4.2 例题
8.4.3 习题
8.5 布尔表达式
8.5.1 基本知识
8.5.2 例题
8.5.3 习题
8.6 数字电路与最小化
8.6.1 基本知识
8.6.2 例题
8.6.3 习题
第四篇 组合分析与算法数论
第9章 组合分析
9.1 计数
9.1.1 基本知识
9.1.2 例题
9.1.3 习题
9.2 排列与组合
9.2.1 基本知识
9.2.2 例题
9.2.3 习题
9.3 递推序列
9.3.1 基本知识
9.3.2 例题
9.3.3 习题
9.4 抽屉原理
9.4.1 基本知识
9.4.2 例题
9.4.3 习题
9.5 生成函数
9.5.1 基本知识
9.5.2 例题
9.5.3 习题
第10章 算法数论
10.1 算法
10.1.1 基本知识
10.1.2 例题
10.1.3 习题
10.2 整数论
10.2.1 基本知识
10.2.2 例题
10.2.3 习题
10.3 与整数有关的典型算法
10.3.1 基本知识
10.3.2 例题
10.3.3 习题
10.4 素性测试、因数分解与公钥密码学
10.4.1 基本知识
10.4.2 例题
10.4.3 习题
10.5 有限域上的椭圆曲线算术和ECC
10.5.1 基本知识
10.5.2 例题
10.5.3 习题
10.6 配对和基于身份的公钥密码体制
10.6.1 双线性配对
10.6.2 基于身份的密码
第五篇 图论
第11章 图
11.1 图的基本概念
11.1.1 基本知识
11.1.2 例题
11.1.3 习题
11.2 连通性
11.2.1 基本知识
11.2.2 例题
11.2.3 习题
11.3 平面图
11.3.1 基本知识
11.3.2 例题
11.3.3 习题
11.4 欧拉道路与哈密顿道路
11.4.1 基本知识
11.4.2 例题
11.4.3 习题
第12章 有向图和树
12.1 有向图的基本概念
12.1.1 基本知识
12.1.2 例题
12.1.3 习题
12.2 有向图的连通性
12.2.1 基本知识
12.2.2 例题
12.2.3 习题
12.3 树
12.3.1 基本知识
12.3.2 例题
12.3.3 习题
12.4 二元树和Huffman树
12.4.1 基本知识
12.4.2 例题
12.4.3 习题
参考文献