离散数学

离散数学

离散数学是数学的几个分支的总称，研究基于离散空间而不是连续的数学结构。

目录

维基百科中的相关条目：

离散数学

初级离散数学

1. 集合论
2. 函数及其关系
3. 数论
4. 逻辑
5. 列举法
6. 图论
7. 递归
8. 半群

高级离散数学

高级集合论

1. 公理化集合论
2. 策梅洛-弗兰克尔集合论
3. 拓扑斯

高级数论

1. 有符号数处理
2. 模算数
3. 多项式
4. 有限域
5. 算术函数
6. 解析数论

高级逻辑

1. 哥德尔不完备定理
2. 二阶逻辑

自动机理论

1. 有限状态机
2. 下推自动机
3. 图灵机
4. 细胞自动机

其它

1. 组合子逻辑
2. 语言和语法
3. 选择公理
4. 朴素集合论
5. 埃拉托斯特尼筛法