离散数学知识框架小结

离散数学知识框架

参考教材：《计算机科学中的离散结构》——王元元，张桂芸编著

第1章      集合代数

1.1   集合的概念与表示

1.2   集合运算

1.3   集合的归纳定义

第2章      两个常用数学基本原理

2.1 归纳原理

2.2 鸽笼原理

第3章      逻辑代数——命题演算

3.1 命题与逻辑连接词

3.2 逻辑等价和逻辑蕴含式

3.3 范式

3.3.1 析取范式和合取范式

3.3.2 主析取范式和主合取范式

3.3.3 连接词的扩充与规约

第4章      逻辑代数——谓词演算

4.1 谓词演算基本概念

4.2 谓词演算的永真式

4.3 谓词公式的前束范式

第5章      形式系统与推理技术

5.1 谓词演算形式系统

5.2 自然推理形式系统

第6章      计数

6.1 计数基本原理

6.2 排列与组合

6.3

第7章      递归关系

7.1 一个重要的递归关系

7.2 递归关系的求解

 </