離散數(shù)學(xué)（第七版）

第1章 集合與邏輯
　1.1　集合
　1.2　命題
　1.3　條件命題與邏輯等價
　1.4　論證和推理規(guī)則
　1.5　量詞
　1.6　嵌套量詞
　注釋
　本章復(fù)習(xí)
　本章自測題
　上機練習(xí)
第2章　證明
2.1　數(shù)學(xué)系統(tǒng)、直接證明和反例
2.2　更多的證明方法
2.3　歸結(jié)證明
2.4　數(shù)學(xué)歸納法
2.5　強數(shù)學(xué)歸納法和良序性
注釋
本章復(fù)習(xí)
本章自測題
上機練習(xí)
第3章 函數(shù)、序列和關(guān)系
3.1 函數(shù)
3.2　序列和串
3.3　關(guān)系
3.4　等價關(guān)系
3.5　關(guān)系矩陣
3.6　關(guān)系數(shù)據(jù)庫
注釋
本章復(fù)習(xí)
本章自測題
上機練習(xí)
第4章 算法
4.1　簡介
　4.2　算法舉例
　4.3　算法的分析
　4.4　遞歸算法
　注釋
　本章復(fù)習(xí)
　本章自測題
　上機練習(xí)
第5章 數(shù)論簡介
　5.1 因子
　5.2　整數(shù)的表示和整數(shù)算法
　5.3　歐幾里得算法
　5.4　RSA公鑰密碼系統(tǒng)
　注釋
　本章復(fù)習(xí)
　本章自測題
　上機練習(xí)
第6章 計數(shù)方法與鴿巢原理
　6.1　基本原理
　6.2　排列與組合
　6.3　廣義的排列和組合
　6.4　排列組合生成算法
　6.5　離散概率簡介
　6.6　離散概率論
　6.7　二項式系數(shù)和組合恒等式
　6.8　鴿巢原理
　注釋
　本章復(fù)習(xí)
　本章自測題
　上機練習(xí)
第7章 遞推關(guān)系
　7.1　簡介
　7.2　求解遞推關(guān)系
　7.3　在算法分析中的應(yīng)用
　注釋
　本章復(fù)習(xí)
　本章自測題
　上機練習(xí)
第8章 圖論
　8.1　簡介
……
第9章　樹
第10章　網(wǎng)絡(luò)模型　
第11章　Boole代數(shù)與組合電路
第12章　自動機、文法和語言
第13章　計算幾何
附錄
部分習(xí)題答案
參考文獻
符號表