第1章 集合论
1.1 集合论基础
1.2 幂集、n重有序组及笛卡尔乘积
1.3 关系的基本概念与运算
1.4 关系的性质
1.5 关系上的闭包运算
1.6 次序关系
1.7 等价关系
1.8 映射
1.9 无限集
第2章 图论
2.1 图论的基本概念
2.2 通路、回路与连通性
2.3 欧拉图
2.4 哈密尔顿图
2.5 图的矩阵表示法
2.6 树
2.7 平面图与两步图 |
第3章 数理逻辑
3.1 命题演算
3.2 谓词演算
3.3 命题演算与谓词演算的公理化理论
3.4谓词演算与逻辑程序设计语言
第4章 代数系统
4.1 代数系统的基本概念
4.2 半群与单元半群
4.3 群论
4.4 环、理想、整环和域
4.5 格与布尔代数
|
第5章 组合数学
5.1 计数原理基础
5.2 排列
5.3 组合
5.4 多重集的排列与组合
5.5 鸽巢原理与容斥原理
第6章 有限状态自动机
6.1 形式语言和形式文法
6.2 有限状态自动机 |
