離散數學

離散數學

離散數學是數學的幾個分支的總稱，研究基於離散空間而不是連續的數學結構。

目錄

維基百科中的相關條目：

離散數學

初級離散數學

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. 埃拉托斯特尼篩法