中圖網(wǎng)小程序
一鍵登錄
更方便
離散數(shù)學(xué) 版權(quán)信息
- ISBN：9787302532736
- 條形碼：9787302532736 ; 978-7-302-53273-6
- 裝幀：平裝
- 冊數(shù)：暫無
- 重量：暫無
- 所屬分類：>
離散數(shù)學(xué) 本書特色
本書將離散數(shù)學(xué)分為數(shù)理邏輯、集合論、代數(shù)系統(tǒng)和圖論四個(gè)部分，系統(tǒng)地介紹了命題邏輯、謂詞邏輯、集合、關(guān)系、函數(shù)、代數(shù)結(jié)構(gòu)、格與布爾代數(shù)、圖、特殊圖中有關(guān)的定義、定理及證明方法，并給出了離散數(shù)學(xué)中不同知識點(diǎn)在計(jì)算機(jī)科學(xué)中的應(yīng)用。本書配有課后習(xí)題參考答案及電子教案。 全書結(jié)構(gòu)嚴(yán)謹(jǐn)，邏輯清晰，示例豐富，可以作為高等學(xué)校計(jì)算機(jī)大類各專業(yè)“離散數(shù)學(xué)”必修課教材，也可以作為其他相關(guān)專業(yè)“離散數(shù)學(xué)”課程教材，同時(shí)，還可以供從事計(jì)算機(jī)科學(xué)工作的科技人員閱讀與參考。
離散數(shù)學(xué) 內(nèi)容簡介
全書結(jié)構(gòu)嚴(yán)謹(jǐn)，邏輯清晰，示例豐富，可以作為高等學(xué)校計(jì)算機(jī)大類各專業(yè)“離散數(shù)學(xué)”必修課教材，也可以作為其他相關(guān)專業(yè)“離散數(shù)學(xué)”課程教材，同時(shí)，還可以供從事計(jì)算機(jī)科學(xué)工作的科技人員及學(xué)生閱讀與參考。
離散數(shù)學(xué) 目錄
**篇數(shù) 理 邏 輯
第1章命題邏輯/31.1命題及其表示3
1.1.1命題3
1.1.2命題的表示4
1.2聯(lián)結(jié)詞4
1.2.1否定5
1.2.2合取5
1.2.3析取6
1.2.4條件6
1.2.5雙條件7
1.3命題公式與翻譯8
1.3.1命題公式8
1.3.2翻譯9
1.4真值表與等價(jià)式10
1.4.1真值表10
1.4.2等價(jià)式12
1.5重言式、蘊(yùn)含式與對偶式14
1.5.1重言式14
1.5.2蘊(yùn)含式15
1.5.3對偶式17
1.6聯(lián)結(jié)詞的完備集18
1.6.1不可兼析取18
1.6.2條件的否定19
1.6.3與非19
1.6.4或非19
1.6.5聯(lián)結(jié)詞的完備集20
1.7命題公式的范式21
1.7.1合取范式與析取范式211.7.2主析取范式23
1.7.3主合取范式26
1.7.4主析取范式與主合取范式之間的聯(lián)系28
1.8推理理論29
1.8.1有效結(jié)論與推理規(guī)則29
1.8.2判斷有效結(jié)論的常用方法31
1.9命題邏輯的應(yīng)用35
1.10本章總結(jié)37
1.11本章習(xí)題38
〖1〗離散數(shù)學(xué)目錄〖3〗〖3〗第2章謂詞邏輯/44
2.1謂詞的概念與表示44
2.1.1謂詞的定義44
2.1.2n元謂詞45
2.2命題函數(shù)與量詞46
2.2.1命題函數(shù)46
2.2.2量詞47
2.3謂詞公式與翻譯48
2.3.1謂詞公式48
2.3.2謂詞公式的翻譯49
2.4變元的約束50
2.4.1約束變元與自由變元50
2.4.2約束變元的換名與自由變元的代入51
2.4.3有限論域客體變元的枚舉52
2.5謂詞演算的等價(jià)式與蘊(yùn)含式52
2.5.1謂詞公式的賦值及分類52
2.5.2謂詞演算的等價(jià)式53
2.5.3謂詞演算的蘊(yùn)含式55
2.5.4多個(gè)量詞之間的等價(jià)關(guān)系與蘊(yùn)含關(guān)系56
2.6前束范式57
2.7謂詞演算的推理理論58
2.8本章總結(jié)61
2.9本章習(xí)題63第二篇集合論
第3章集合/713.1集合的概念和表示法71
3.1.1集合的概念71
3.1.2集合的表示72
3.1.3特殊集合74
3.1.4集合之間的關(guān)系74
3.2集合的運(yùn)算76
3.3序偶與笛卡兒積82
3.3.1序偶82
3.3.2笛卡兒積83
3.4包含排斥原理85
3.5集合的劃分與覆蓋87
3.6集合的應(yīng)用89
3.7本章總結(jié)92
3.8本章習(xí)題95
第4章關(guān)系/100
4.1關(guān)系的概念與表示100
4.1.1關(guān)系的概念100
4.1.2關(guān)系的表示102
4.2關(guān)系的性質(zhì)105
4.2.1關(guān)系的幾種性質(zhì)105
4.2.2性質(zhì)的判別109
4.3復(fù)合關(guān)系和逆關(guān)系111
4.3.1復(fù)合關(guān)系111
4.3.2逆關(guān)系115
4.4關(guān)系的閉包運(yùn)算117
4.4.1關(guān)系的閉包定義118
4.4.2關(guān)系閉包運(yùn)算的相關(guān)定理118
4.5等價(jià)關(guān)系與等價(jià)類123
4.5.1等價(jià)關(guān)系124
4.5.2等價(jià)類125
4.5.3商集126
4.6相容關(guān)系128
4.6.1相容關(guān)系及其表示128
4.6.2相容類129
4.6.3*大相容類130
4.6.4完全覆蓋131
4.7序關(guān)系132
4.7.1偏序關(guān)系及其表示132
4.7.2蓋住關(guān)系132
4.7.3全序關(guān)系134
4.7.4特殊元素135
4.7.5良序集合137
4.8關(guān)系的應(yīng)用138
4.9本章總結(jié)142
4.10本章習(xí)題143
第5章函數(shù)/151
5.1函數(shù)的概念151
5.2幾種特殊的函數(shù)152
5.3函數(shù)的運(yùn)算（復(fù)合、逆函數(shù)）154
5.3.1復(fù)合函數(shù)154
5.3.2逆函數(shù)155
5.4函數(shù)的應(yīng)用157
5.5本章總結(jié)161
5.6本章習(xí)題162
第三篇代 數(shù) 系 統(tǒng)
第6章代數(shù)結(jié)構(gòu)/1676.1代數(shù)系統(tǒng)引論167
6.2基本運(yùn)算及其性質(zhì)168
6.3半群與獨(dú)異點(diǎn)174
6.4群與子群176
6.5阿貝爾群與循環(huán)群180
6.5.1阿貝爾群（交換群）180
6.5.2循環(huán)群180
6.6置換群183
6.7陪集與拉格朗日定理184
6.7.1陪集184
6.7.2拉格朗日定理186
6.8同構(gòu)與同態(tài)188
6.8.1同構(gòu)188
6.8.2同態(tài)190
6.9環(huán)與域193
6.9.1環(huán)193
6.9.2域196
6.10代數(shù)結(jié)構(gòu)的應(yīng)用198
6.10.1計(jì)數(shù)問題198
6.10.2群碼與糾錯(cuò)碼201
6.11本章總結(jié)215
6.12本章習(xí)題217
第7章格與布爾代數(shù)/221
7.1格的定義221
7.2分配格226
7.3有補(bǔ)格228
7.4布爾代數(shù)230
7.4.1布爾代數(shù)的一般概念230
7.4.2子代數(shù)231
7.4.3布爾同態(tài)與布爾同構(gòu)232
7.5布爾代數(shù)表達(dá)式235
7.6格與布爾代數(shù)的應(yīng)用242
7.6.1布爾函數(shù)的表示法243
7.6.2邏輯電路設(shè)計(jì)方法246
7.6.3時(shí)序邏輯電路的設(shè)計(jì)250
7.7本章總結(jié)254
7.8本章習(xí)題256
第四篇圖論
第8章圖/2618.1圖的基本概念261
8.2路、回路與連通性267
8.2.1路與回路267
8.2.2無向圖的連通性268
8.2.3有向圖的連通性271
8.3圖的矩陣表示273
8.3.1鄰接矩陣273
8.3.2可達(dá)矩陣276
8.3.3關(guān)聯(lián)矩陣277
8.4圖的應(yīng)用279
8.4.1無向圖的應(yīng)用279
8.4.2有向圖的應(yīng)用280
8.4.3混合圖的應(yīng)用280
8.4.4一些特殊簡單圖及其應(yīng)用280
8.5本章總結(jié)282
8.6本章習(xí)題284
第9章特殊圖/287
9.1歐拉圖287
9.2哈密爾頓圖292
9.3平面圖296
9.4對偶圖299
9.5樹與根樹302
9.5.1樹的概念302
9.5.2生成樹304
9.5.3根樹305
9.6樹與根樹的應(yīng)用307
9.6.1*小生成樹307
9.6.2*優(yōu)樹308
9.7本章總結(jié)309
9.8本章習(xí)題312
參考文獻(xiàn)/315
第1章命題邏輯/31.1命題及其表示3
1.1.1命題3
1.1.2命題的表示4
1.2聯(lián)結(jié)詞4
1.2.1否定5
1.2.2合取5
1.2.3析取6
1.2.4條件6
1.2.5雙條件7
1.3命題公式與翻譯8
1.3.1命題公式8
1.3.2翻譯9
1.4真值表與等價(jià)式10
1.4.1真值表10
1.4.2等價(jià)式12
1.5重言式、蘊(yùn)含式與對偶式14
1.5.1重言式14
1.5.2蘊(yùn)含式15
1.5.3對偶式17
1.6聯(lián)結(jié)詞的完備集18
1.6.1不可兼析取18
1.6.2條件的否定19
1.6.3與非19
1.6.4或非19
1.6.5聯(lián)結(jié)詞的完備集20
1.7命題公式的范式21
1.7.1合取范式與析取范式211.7.2主析取范式23
1.7.3主合取范式26
1.7.4主析取范式與主合取范式之間的聯(lián)系28
1.8推理理論29
1.8.1有效結(jié)論與推理規(guī)則29
1.8.2判斷有效結(jié)論的常用方法31
1.9命題邏輯的應(yīng)用35
1.10本章總結(jié)37
1.11本章習(xí)題38
〖1〗離散數(shù)學(xué)目錄〖3〗〖3〗第2章謂詞邏輯/44
2.1謂詞的概念與表示44
2.1.1謂詞的定義44
2.1.2n元謂詞45
2.2命題函數(shù)與量詞46
2.2.1命題函數(shù)46
2.2.2量詞47
2.3謂詞公式與翻譯48
2.3.1謂詞公式48
2.3.2謂詞公式的翻譯49
2.4變元的約束50
2.4.1約束變元與自由變元50
2.4.2約束變元的換名與自由變元的代入51
2.4.3有限論域客體變元的枚舉52
2.5謂詞演算的等價(jià)式與蘊(yùn)含式52
2.5.1謂詞公式的賦值及分類52
2.5.2謂詞演算的等價(jià)式53
2.5.3謂詞演算的蘊(yùn)含式55
2.5.4多個(gè)量詞之間的等價(jià)關(guān)系與蘊(yùn)含關(guān)系56
2.6前束范式57
2.7謂詞演算的推理理論58
2.8本章總結(jié)61
2.9本章習(xí)題63第二篇集合論
第3章集合/713.1集合的概念和表示法71
3.1.1集合的概念71
3.1.2集合的表示72
3.1.3特殊集合74
3.1.4集合之間的關(guān)系74
3.2集合的運(yùn)算76
3.3序偶與笛卡兒積82
3.3.1序偶82
3.3.2笛卡兒積83
3.4包含排斥原理85
3.5集合的劃分與覆蓋87
3.6集合的應(yīng)用89
3.7本章總結(jié)92
3.8本章習(xí)題95
第4章關(guān)系/100
4.1關(guān)系的概念與表示100
4.1.1關(guān)系的概念100
4.1.2關(guān)系的表示102
4.2關(guān)系的性質(zhì)105
4.2.1關(guān)系的幾種性質(zhì)105
4.2.2性質(zhì)的判別109
4.3復(fù)合關(guān)系和逆關(guān)系111
4.3.1復(fù)合關(guān)系111
4.3.2逆關(guān)系115
4.4關(guān)系的閉包運(yùn)算117
4.4.1關(guān)系的閉包定義118
4.4.2關(guān)系閉包運(yùn)算的相關(guān)定理118
4.5等價(jià)關(guān)系與等價(jià)類123
4.5.1等價(jià)關(guān)系124
4.5.2等價(jià)類125
4.5.3商集126
4.6相容關(guān)系128
4.6.1相容關(guān)系及其表示128
4.6.2相容類129
4.6.3*大相容類130
4.6.4完全覆蓋131
4.7序關(guān)系132
4.7.1偏序關(guān)系及其表示132
4.7.2蓋住關(guān)系132
4.7.3全序關(guān)系134
4.7.4特殊元素135
4.7.5良序集合137
4.8關(guān)系的應(yīng)用138
4.9本章總結(jié)142
4.10本章習(xí)題143
第5章函數(shù)/151
5.1函數(shù)的概念151
5.2幾種特殊的函數(shù)152
5.3函數(shù)的運(yùn)算（復(fù)合、逆函數(shù)）154
5.3.1復(fù)合函數(shù)154
5.3.2逆函數(shù)155
5.4函數(shù)的應(yīng)用157
5.5本章總結(jié)161
5.6本章習(xí)題162
第三篇代 數(shù) 系 統(tǒng)
第6章代數(shù)結(jié)構(gòu)/1676.1代數(shù)系統(tǒng)引論167
6.2基本運(yùn)算及其性質(zhì)168
6.3半群與獨(dú)異點(diǎn)174
6.4群與子群176
6.5阿貝爾群與循環(huán)群180
6.5.1阿貝爾群（交換群）180
6.5.2循環(huán)群180
6.6置換群183
6.7陪集與拉格朗日定理184
6.7.1陪集184
6.7.2拉格朗日定理186
6.8同構(gòu)與同態(tài)188
6.8.1同構(gòu)188
6.8.2同態(tài)190
6.9環(huán)與域193
6.9.1環(huán)193
6.9.2域196
6.10代數(shù)結(jié)構(gòu)的應(yīng)用198
6.10.1計(jì)數(shù)問題198
6.10.2群碼與糾錯(cuò)碼201
6.11本章總結(jié)215
6.12本章習(xí)題217
第7章格與布爾代數(shù)/221
7.1格的定義221
7.2分配格226
7.3有補(bǔ)格228
7.4布爾代數(shù)230
7.4.1布爾代數(shù)的一般概念230
7.4.2子代數(shù)231
7.4.3布爾同態(tài)與布爾同構(gòu)232
7.5布爾代數(shù)表達(dá)式235
7.6格與布爾代數(shù)的應(yīng)用242
7.6.1布爾函數(shù)的表示法243
7.6.2邏輯電路設(shè)計(jì)方法246
7.6.3時(shí)序邏輯電路的設(shè)計(jì)250
7.7本章總結(jié)254
7.8本章習(xí)題256
第四篇圖論
第8章圖/2618.1圖的基本概念261
8.2路、回路與連通性267
8.2.1路與回路267
8.2.2無向圖的連通性268
8.2.3有向圖的連通性271
8.3圖的矩陣表示273
8.3.1鄰接矩陣273
8.3.2可達(dá)矩陣276
8.3.3關(guān)聯(lián)矩陣277
8.4圖的應(yīng)用279
8.4.1無向圖的應(yīng)用279
8.4.2有向圖的應(yīng)用280
8.4.3混合圖的應(yīng)用280
8.4.4一些特殊簡單圖及其應(yīng)用280
8.5本章總結(jié)282
8.6本章習(xí)題284
第9章特殊圖/287
9.1歐拉圖287
9.2哈密爾頓圖292
9.3平面圖296
9.4對偶圖299
9.5樹與根樹302
9.5.1樹的概念302
9.5.2生成樹304
9.5.3根樹305
9.6樹與根樹的應(yīng)用307
9.6.1*小生成樹307
9.6.2*優(yōu)樹308
9.7本章總結(jié)309
9.8本章習(xí)題312
參考文獻(xiàn)/315
展開全部
離散數(shù)學(xué) 作者簡介
崔艷榮（第一主編）：長江大學(xué)計(jì)算機(jī)科學(xué)學(xué)院網(wǎng)絡(luò)工程系主任，教授、碩士生導(dǎo)師、武漢大學(xué)計(jì)算機(jī)軟件與理論專業(yè)博士，長期從事離散數(shù)學(xué)教學(xué)，在軟件學(xué)報(bào)等國內(nèi)外學(xué)術(shù)期刊上發(fā)表論文30多篇，主編《物聯(lián)網(wǎng)概論》，作為副主編，完成《公用計(jì)算機(jī)文化基礎(chǔ)實(shí)驗(yàn)教程》、《公用計(jì)算機(jī)文化基礎(chǔ)》教材的編寫，參編教材兩部，分別是《C及C 程序設(shè)計(jì)實(shí)驗(yàn)教程》、《計(jì)算機(jī)網(wǎng)絡(luò)技術(shù)與Internet應(yīng)用》。三次榮獲長江大學(xué)教學(xué)質(zhì)量優(yōu)秀獎(jiǎng)。 黃艷娟（主編之一）：長江大學(xué)計(jì)算機(jī)科學(xué)學(xué)院網(wǎng)絡(luò)工程系教師，碩士，長期從事離散數(shù)學(xué)教學(xué)，參與《物聯(lián)網(wǎng)概念》編著，兩次榮獲長江大學(xué)青年教師講課比賽二等獎(jiǎng)。
書友推薦
- >
李白與唐代文化
- >
我從未如此眷戀人間
- >
中國歷史的瞬間
- >
詩經(jīng)-先民的歌唱
- >
羅庸西南聯(lián)大授課錄
- >
莉莉和章魚
- >
名家?guī)阕x魯迅:故事新編
- >
苦雨齋序跋文-周作人自編集
本類暢銷
