計(jì)算機(jī)科學(xué)中的離散結(jié)構(gòu)

第1章  集合代數(shù)
1．1  集合的概念與表示
1．1．1  集合及其元素
1．1．2  集合的表示
1．1．3  外延性公理與子集合
1．2  集合運(yùn)算
1．2．1  并、交、差、補(bǔ)運(yùn)算
1．2．2  冪集運(yùn)算和廣義并、交運(yùn)算
1．2. 3  集合的笛卡兒積
1．3  集合的歸納定義
1．3．1  集合歸納定義的意義
1. 3．2  集合定義的自然數(shù)
1．4  練習(xí)
第2章  兩個(gè)常用數(shù)學(xué)基本原理
2．1  歸納原理
2. 1．1  結(jié)構(gòu)歸納原理
2. 1.  2  數(shù)學(xué)歸納原理
2．2  鴿籠原理 
2．2．1  鴿籠原理的基本形式 
2．2．2  鴿籠原理的力的強(qiáng)形式
2．3  練習(xí)
第3章  邏輯代數(shù)(上)命題演算
3．1  命題與邏輯聯(lián)結(jié)詞
3．1．1  命題
3．1．2  邏輯聯(lián)結(jié)詞
3．1．3  命題公式
3．1．4  語(yǔ)句的形式化
3．2  邏輯等價(jià)式和邏輯蘊(yùn)涵式
3．2．1  重言式
3．2．2  重要的邏輯等價(jià)式和邏輯蘊(yùn)涵式
3．2．3  對(duì)偶原理
3．3  范式
3．3．1  析取范式和合取范式  
3．3．2  主析取范式與主合取范式
3．3．3  聯(lián)結(jié)詞的擴(kuò)充與歸約
3．4  練習(xí)
第4章  邏輯代數(shù)(下)謂詞演算
4．1  謂詞演算基本概念
4．1．1  個(gè)體與個(gè)體域
4．1．2  謂詞與謂詞填式
4．1．3  量詞及其轄域
4．1．4  謂詞公式及語(yǔ)句的形式化
4．2  謂詞演算永真式
4．2．1  謂詞公式的真值規(guī)定
4．2．2  重要的謂詞演算永真式
4．2．3  關(guān)于永真式的幾個(gè)基本原理
4．3  謂詞公式的前束范式
4．4  練習(xí)
第5章  形式系統(tǒng)與推理技術(shù)
5．1  謂詞演算形式系統(tǒng)FC
5．1．1  FC的基本構(gòu)成
5．1．2  系統(tǒng)內(nèi)的推理：證明與演繹
5．1．3   FC的重要性質(zhì)
5．2  自然推理形式系統(tǒng)ND
5．2．1  ND的基本構(gòu)成
5．2．2  ND的系統(tǒng)內(nèi)推理及性質(zhì)
5．3  練習(xí)
第6章  計(jì)數(shù)
6．1  計(jì)數(shù)基本原理
6．1．1  加法原理和乘法原理
6.1．2  包含排斥原理
6．2  排列與組合
6．2．1  排列的計(jì)數(shù)
6．2．2  組合的計(jì)數(shù)
6．3  重集的排列與組合
6．3．1  重集的排列
6．3．2  重集的組合
6．3．3  禁位排列的計(jì)數(shù)
6．4  練習(xí)
第7章  遞歸關(guān)系
7．1  一個(gè)重要的遞歸關(guān)系
7．2  遞歸關(guān)系的求解
7．2．1  遞歸關(guān)系的迭代求解
7．2．2  常系數(shù)線(xiàn)性齊次遞歸關(guān)系的求解
7．2．3  一些特殊遞歸關(guān)系的求解
7．3  練習(xí)
第8章  圖
8．1  圖的基礎(chǔ)知識(shí)
8．1．1  圖的基本概念
8．1．2  結(jié)點(diǎn)的度
8．1．3  子圖、補(bǔ)圖及圖同構(gòu)
8．2  路徑、回路及連通性
8．2．1  路徑與回路
8．2．2  連通性
8．2．3  連通度
8．3  歐拉圖與哈密頓圖
8．3．1  歐拉圖及歐拉路徑
8．3．2  哈密頓圖及哈密頓通路
8. 4  圖的矩陣表示
8．4．1  鄰接矩陣
8．4．2  路徑矩陣與可達(dá)性矩陣
8.  5  練習(xí)
第9章  二分圖、平面圖和樹(shù)
9．1  二分圖
9．1．1  二分圖的基本概念
9．1．2  匹配
9．2  平面圖
9．2．1  平面圖的基本概念
9．2．2  歐拉公式和庫(kù)拉托夫斯基定理
9．2．3  著色問(wèn)題
9．3  樹(shù)
9．3．1  樹(shù)的基本概念
9．3．2  生成樹(shù)
9．3．3  根樹(shù)
9.  4  練習(xí)
第10章  關(guān)系
10．1  二元關(guān)系
10．1．1  關(guān)系的基本概念
10．1．2  關(guān)系的基本運(yùn)算
10．1．3  關(guān)系的基本特性
10．1．4  關(guān)系特性閉包
10．2  等價(jià)關(guān)系
10．2．1  等價(jià)關(guān)系與等價(jià)類(lèi)
10．2．2  等價(jià)關(guān)系與劃分
10．3  序關(guān)系
10．3．1  序關(guān)系和有序集
10．3．2  良基性與良序集，完備序集
10．3．3  全序集、良序集的構(gòu)造
10．4  練習(xí)
第11章  函數(shù)
11. 1  函數(shù)及函數(shù)的合成
11．1．1  函數(shù)的基本概念
11．1．2  函數(shù)概念的拓廣
11．1．3  函數(shù)的合成
11．1．4  函數(shù)的遞歸定義
11．2  特殊函數(shù)類(lèi)
11．2．1  單射的、滿(mǎn)射的和雙射的函數(shù)
11．2．2  規(guī)范映射、單調(diào)映射和連續(xù)映射
11. 3  函數(shù)的逆
11．4  有限集和無(wú)限集
11．4．1  有限集、可數(shù)集與不可數(shù)集
11．4．2  無(wú)限集的特性
11．4．3  有限集和無(wú)限集的基數(shù)
11．4．4  基數(shù)比較
11．5  練習(xí)
第12章  遞歸函數(shù)集與可計(jì)算性
12．1  初等函數(shù)集
12．1．1  初等函數(shù)
12．1．2  初等謂詞
12．2  原始遞歸函數(shù)集
12．2．1  初等函數(shù)集的不足
12．2．2  原始遞歸式
12．2．3  原始遞歸函數(shù)
12．3  遞歸函數(shù)集
12．3．1  阿克曼函數(shù)及其性質(zhì)
12．3．2  遞歸式
12．3．3  遞歸函數(shù)集(／J遞歸函數(shù)集)
12．4  圖靈機(jī)與可計(jì)算函數(shù)集
12．4．1  圖靈機(jī)
12．4．2  圖靈可計(jì)算函數(shù)
12．5  習(xí)題
第13章  代數(shù)結(jié)構(gòu)概論
13．1  代數(shù)結(jié)構(gòu)
13．1．1  代數(shù)結(jié)構(gòu)的意義
13．1．2  代數(shù)結(jié)構(gòu)的特殊元素
13．1．3  子代數(shù)結(jié)構(gòu)
13．2  同態(tài)、同構(gòu)及同余
13．2．1  同態(tài)與同構(gòu)
13．2．2  同余關(guān)系
13．3  商代數(shù)
13．4  練習(xí)
第14章  群、環(huán)、域
14.1  半群
14．1．1  半群及獨(dú)異點(diǎn)
14．1．2  自由獨(dú)異點(diǎn)
14．1．3  高斯半群
14．2  群
14．2．1  群及其基本性質(zhì)
14．2．2  子群、陪集和拉格朗日定理
14．2．3  正規(guī)子群、商群和同態(tài)基本定理
14．3  循環(huán)群和置換群
14．3．1  循環(huán)群
14．3．2  置換群
14．4  環(huán)
14．4．1  環(huán)和整環(huán)
14．4．2  子環(huán)和理想
14．5  域和有限域
14．6  練習(xí)
第15章  格與布爾代數(shù)
15．1  格
15．1．1  格有序集
15．1．2  格代數(shù)
15．1．3  分配格和模格
15．2  布爾代數(shù)
15．2．1  有界格和有補(bǔ)格
15．2．2  布爾代數(shù)的意義
15．2．3  布爾代數(shù)表示定理
15．2．4  布爾表達(dá)式與布爾函數(shù)
15．3  練習(xí)
參考文獻(xiàn)