離散數學(第二版)
目錄 |
第一章 | 排列、組合與應用 | ||
1.1 | 前言 | ||
1.2 | 排列 | ||
1.3 | 組合 | ||
1.4 | 非負整數解個數問題 | ||
1.5 | 結論 | ||
1.6 | 參考文獻 | ||
第二章 | 機率論與應用 | ||
2.1 | 前言 | ||
2.2 | 期望值與變異數 | ||
2.3 | 知名的機率分佈 | ||
2.4 | 柴比雪夫不等式 | ||
2.5 | 結論 | ||
2.6 | 參考文獻 | ||
第三章 | 集合與排容原理 | ||
3.1 | 前言 | ||
3.2 | 符號與算子 | ||
3.3 | 可數性與不可數性 | ||
3.4 | 禮物問題與排容原理 | ||
3.5 | 結論 | ||
3.6 | 參考文獻 | ||
第四章 | 關係、函數與有序集 | ||
4.1 | 前言 | ||
4.2 | 關係 | ||
4.3 | 函數 | ||
4.4 | 有序集 | ||
4.5 | 結論 | ||
4.6 | 參考文獻 | ||
第五章 | 複雜度符號與數列和 | ||
5.1 | 前言 | ||
5.2 | 常用的上限和下限符號 | ||
5.3 | 夾擊法求數列和的近似值 | ||
5.4 | 干擾法/歸納法求數列和 | ||
5.5 | 結論 | ||
5.6 | 參考文獻 | ||
第六章 | 遞迴式與求解 | ||
6.1 | 前言 | ||
6.2 | 遞迴式的表示 | ||
6.3 | 齊次遞迴式的求解 | ||
6.4 | 非齊次遞迴式的求解 | ||
6.5 | 結論 | ||
6.6 | 參考文獻 | ||
第七章 | 生成函數與應用 | ||
7.1 | 前言 | ||
7.2 | 生成函數 | ||
7.3 | 應用(一):遞迴式求解 | ||
7.4 | 應用(二):組合計數 | ||
7.5 | 結論 | ||
7.6 | 參考文獻 | ||
第八章 | 邏輯與推論 | ||
8.1 | 前言 | ||
8.2 | 命題邏輯 | ||
8.3 | 邏輯推論 | ||
8.4 | 術語邏輯 | ||
8.5 | 結論 | ||
8.6 | 參考文獻 | ||
第九章 | 正規形式與邏輯設計 | ||
9.1 | 前言 | ||
9.2 | PNF和CNF正規形式 | ||
9.3 | DNF正規形式和布林函數 | ||
9.4 | 邏輯設計 | ||
9.5 | 結論 | ||
9.6 | 參考文獻 | ||
第十章 | 圖論基礎 | ||
10.1 | 前言 | ||
10.2 | 尤拉迴圈、尤拉式和簡單平面圖 | ||
10.3 | 同構、可到達性檢定和樹 | ||
10.4 | 最短路徑 | ||
10.5 | 結論 | ||
10.6 | 參考文獻 | ||
第十一章 | 圖論應用 | ||
11.1 | 前言 | ||
11.2 | 最小擴展樹 | ||
11.3 | 最大網流和最大匹配 | ||
11.4 | 三個應用例子 | ||
11.5 | 結論 | ||
11.6 | 參考文獻 | ||
第十二章 | 自動機與正規語言 | ||
12.1 | 前言 | ||
12.2 | 有限自動機 | ||
12.3 | 正規語言 | ||
12.4 | 具輸出功能的自動機 | ||
12.5 | 結論 | ||
12.6 | 參考文獻 | ||
第十三章 | 數論基礎 | ||
13.1 | 前言 | ||
13.2 | 質數的定義和性質 | ||
13.3 | 歐幾里得演算法 | ||
13.4 | 中國餘式定理 | ||
13.5 | 結論 | ||
13.6 | 參考文獻 | ||
第十四章 | 數論應用 | ||
14.1 | 前言 | ||
14.2 | RSA加密法 | ||
14.3 | RSA加密法的正確性證明 | ||
14.4 | 兩個應用例子 | ||
14.5 | 結論 | ||
14.6 | 參考文獻 | ||
第十五章 | 代數與應用 | ||
15.1 | 前言 | ||
15.2 | 群與子群 | ||
15.3 | 拉格朗治定理與商群 | ||
15.4 | 環與體 | ||
15.5 | 結論 | ||
15.6 | 參考文獻 | ||
第十六章 | 消息理論 | ||
16.1 | 前言 | ||
16.2 | 消息與熵 | ||
16.3 | 熵的上限 | ||
16.4 | Kraft不等式 | ||
16.5 | 結論 | ||
16.6 | 參考文獻 | ||