第0章 證明
0.1 復合命題
0.2 數學中的證明
練習題
第1章 邏輯
1.1 真值表
1.2 命題代數
1.3 邏輯論證
練習題
第2章 集合與關系
2.1 集合
2.2 集合上的運算
2.3 二元關系
2.4 等價關系
2.5 偏序
練習題
第3章 函數
3.1 基本術語
3.2 逆與合成
3.3 一一對應與集合的基數
練習題
第4章 整數
4.1 除法算法
4.2 整除性與歐幾里得算法
4.3 素數
4.4 同余
4.5 同余的應用
練習題
第5章 歸納法與遞歸
5.1 數學歸納法
5.2 遞歸定義的序列
5.3 求解遞推關系式:特征多項式
5.4 求解遞推關系式:生成函數
練習題
第6章 計數原理
6.1 容斥原理
6.2 加法和乘法規(guī)則
6.3 鴿巢原理
練習題
第7章 排列與組合
7.1 排列
7.2 組合
7.3 初等概率
7.4 概率論
7.5 可重復的排列組合
7.6 錯排
7.7 二項式定理
練習題
第8章 算法
8.1 什么是算法
8.2 復雜度
8.3 搜索與排序
8.4 排列組合的枚舉
練習題
第9章 圖
9.1 引人入勝的簡介
9.2 定義與基本性質
9.3 同構
練習題
第10章 路徑與回路
10.1 歐拉回路
10.2 哈密頓回路
10.3 鄰接矩陣
10.4 最短路徑算法
練習題
第11章 路徑與回路的應用
11.1 中國郵遞員問題
11.2 有向圖
11.3 RNA鏈
11.4 錦標賽
11.5 調度問題
練習題
第12章 樹
12.1 樹及其性質
12.2 生成樹
12.3 最小生成樹算法
12.4 無環(huán)有向圖與Bellman算法
12.5 深度優(yōu)先搜索
12.6 單行道問題
練習題
第13章 平面圖與著色
13.1 平面圖
13.2 圖著色
13.3 回路測試與公用設施設計
練習題
第14章 最大流-最小割集定理
14.1 流與割集
14.2 構造最大流
14.3 應用
14.4 匹配
練習題
附錄A 是非題及部分練習題的解題過程
詞匯表
索引