編輯推薦:

內(nèi)容簡(jiǎn)介:　　《離散數(shù)學(xué)/普通高等教育軟件工程“十二五”規(guī)劃教材》介紹計(jì)算機(jī)專業(yè)必需的離散數(shù)學(xué)基礎(chǔ)知識(shí)，包括離散數(shù)學(xué)四大分支的基礎(chǔ)理論，它們是數(shù)理邏輯、集合論、代數(shù)系統(tǒng)和圖論，共8章，依次為命題邏輯、謂詞邏輯、集合、關(guān)系、函數(shù)、代數(shù)結(jié)構(gòu)、格與布爾代數(shù)、圖論及其應(yīng)用。本書(shū)包含較多的與計(jì)算機(jī)科學(xué)和工程有關(guān)的例題和習(xí)題。
　　《離散數(shù)學(xué)/普通高等教育軟件工程“十二五”規(guī)劃教材》適合作為高等理工科院校計(jì)算機(jī)科學(xué)與技術(shù)、軟件工程等相關(guān)專業(yè)教材，也可供教師、研究生、有關(guān)工程技術(shù)人員作為參考書(shū)。

作者簡(jiǎn)介:

目錄:第1章　命題邏輯　
1-1　命題　
1-1-1　命題與真值　
1-1-2　原子命題與復(fù)合命題　
1-2　邏輯聯(lián)結(jié)詞　
1-2-1　否定聯(lián)結(jié)詞　
1-2-2　合取聯(lián)結(jié)詞　
1-2-3　析取聯(lián)結(jié)詞　
1-2-4　蘊(yùn)含聯(lián)結(jié)詞　
1-2-5　等價(jià)聯(lián)結(jié)詞　
1-3　命題公式　
1-3-1　命題公式的概念　
1-3-2　命題符號(hào)化　
1-3-3　命題公式真值表　
1-3-4　命題公式的類(lèi)型　
1-3-5　重言式的性質(zhì)　
1-4　命題邏輯的等價(jià)關(guān)系　
1-4-1　等價(jià)　
1-4-2　基本等價(jià)式　
1-4-3　置換規(guī)則　
1-5　命題公式的標(biāo)準(zhǔn)化　
1-5-1　析取范式與合取范式　
1-5-2　主析取范式與主合取范式　
1-5-3　主范式的應(yīng)用　
1-6　命題邏輯的蘊(yùn)含關(guān)系　
1-6-1　蘊(yùn)含　
1-6-2　證明蘊(yùn)含關(guān)系的方法　
1-6-3　基本蘊(yùn)含式　
1-7　命題邏輯的推理理論　
1-7-1　論證的有效性　
1-7-2　有效論證的判斷方法　
1-7-3　自然推理系統(tǒng)　
1-7-4　自然推理系統(tǒng)中構(gòu)造有效論證的方法　
本章總結(jié)　
習(xí)題　

第2章　謂詞邏輯　
2-1　謂詞邏輯命題符號(hào)化　
2-1-1　命題邏輯的局限性　
2-1-2　謂詞邏輯三要素　
2-1-3　謂詞邏輯命題符號(hào)化　
2-2　謂詞公式　
2-2-1　謂詞邏輯的合式公式　
2-2-2　閉式　
2-2-3　謂詞公式的解釋　
2-2-4　謂詞邏輯的公式類(lèi)型　
2-3　謂詞邏輯的等價(jià)關(guān)系　
2-3-1　等價(jià)關(guān)系　
2-3-2　基本等價(jià)式　
2-4　謂詞公式的標(biāo)準(zhǔn)化　
2-5　謂詞邏輯的蘊(yùn)含關(guān)系　
2-5-1　蘊(yùn)含關(guān)系　
2-5-2　基本蘊(yùn)含式　
2-6　謂詞邏輯的推理理論　
本章總結(jié)　
習(xí)題　

第3章　集合　
3-1　集合的概念與表示　
3-1-1　集合的定義　
3-1-2　集合的表示方法　
3-2　集合之間的關(guān)系　
3-2-1　集合之間的關(guān)系　
3-2-2　特殊集合　
3-3　集合的運(yùn)算　
3-3-1　集合的基本運(yùn)算　
3-3-2　集合關(guān)系的證明方法　
3-3-3　笛卡兒積　
本章總結(jié)　
習(xí)題　

第4章　關(guān)系　
4-1　關(guān)系的概念及表示　
4-1-1　關(guān)系的概念　
4-1-2　關(guān)系的表示方法　
4-2　關(guān)系的性質(zhì)　
4-2-1　自反性與反自反性　
4-2-2　對(duì)稱性與反對(duì)稱性　
4-2-3　傳遞性　
4-3　關(guān)系的運(yùn)算　
4-3-1　關(guān)系的復(fù)合運(yùn)算　
4-3-2　關(guān)系的逆運(yùn)算　
4-3-3　關(guān)系的閉包運(yùn)算　
4-4　等價(jià)關(guān)系與劃分　
4-4-1　等價(jià)關(guān)系的概念　
4-4-2　等價(jià)類(lèi)　
4-4-3　劃分　
4-5　次序關(guān)系　
4-5-1　偏序關(guān)系　
4-5-2　其他次序關(guān)系　
本章總結(jié)　
習(xí)題　

第5章　函數(shù)　
5-1　函數(shù)的概念與性質(zhì)　
5-1-1　函數(shù)的概念　
5-1-2　函數(shù)的性質(zhì)　
5-2　函數(shù)的運(yùn)算　
5-2-1　函數(shù)的復(fù)合運(yùn)算　
5-2-2　函數(shù)的逆運(yùn)算　
5-3　基數(shù)　
5-3-1　基數(shù)的概念　
5-3-2　基數(shù)的比較　
本章總結(jié)　
習(xí)題　

第6章　代數(shù)結(jié)構(gòu)　
6-1　代數(shù)系統(tǒng)的概念　
6-2　代數(shù)系統(tǒng)的運(yùn)算及其性質(zhì)　
6-2-1　二元運(yùn)算的性質(zhì)　
6-2-2　小結(jié)　
6-3　半群與含幺半群　
6-3-1　半群和子半群　
6-3-2　含幺半群和子含幺半群　
6-4　群與子群　
6-4-1　群　
6-4-2　子群　
6-5　交換群、循環(huán)群與置換群　
6-5-1　交換群　
6-5-2　循環(huán)群　
6-5-3　置換群　
6-6　陪集與拉格朗日定理　
6-6-1　陪集　
6-6-2　拉格朗日定理　
6-7　同態(tài)與同構(gòu)　
6-7-1　同態(tài)　
6-7-2　同構(gòu)　
6-7-3　同余關(guān)系　
6-8　環(huán)與域　
6-8-1　環(huán)　
6-8-2　域　
本章總結(jié)　
習(xí)題　

第7章　格與布爾代數(shù)　
7-1　格　
7-1-1　格的概念　
7-1-2　格的性質(zhì)　
7-2　分配格　
7-3　有補(bǔ)格　
7-4　布爾代數(shù)　
本章總結(jié)　
習(xí)題　

第8章　圖論及其應(yīng)用　
8-1　圖的基本概念　
8-1-1　圖　
8-1-2　結(jié)點(diǎn)的度　
8-1-3　圖的同構(gòu)　
8-1-4　子圖和補(bǔ)圖　
8-2　圖的連通性　
8-2-1　路徑與回路　
8-2-2　連通圖　
8-3　圖的矩陣表示　
8-3-1　圖的鄰接矩陣　
8-3-2　圖的可達(dá)矩陣　
8-4　最短路徑與關(guān)鍵路徑　
8-4-1　最短路徑　
8-4-2　評(píng)審圖與關(guān)鍵路徑　
8-5　樹(shù)　
8-5-1　無(wú)向樹(shù)　
8-5-2　有向樹(shù)　
本章總結(jié)　
習(xí)題　

附錄　習(xí)題答案及提示　
第1章　習(xí)題參考答案　
第2章　習(xí)題參考答案　
第3章　習(xí)題參考答案　
第4章　習(xí)題參考答案　
第5章　習(xí)題參考答案　
第6章　習(xí)題參考答案　
第7章　習(xí)題參考答案　
第8章　習(xí)題參考答案　

參考文獻(xiàn)