離散結(jié)構(gòu)

定　價：￥17.00

作　者：	許蔓苓
出版社：	北京航空航天大學(xué)出版社
叢編項：
標　簽：	文學(xué)

購買這本書可以去

ISBN：	9787810779630	出版時間：	2007-01-01	包裝：	平裝
開本：	0開	頁數(shù)：	177	字數(shù)：

內(nèi)容簡介

　　本書是根據(jù)國內(nèi)《離散數(shù)學(xué)教學(xué)大綱》并參考美國CC2004計算機工程課程體系的“離散數(shù)學(xué)”教學(xué)要求而編寫的，既凝聚了作者20 多年的教學(xué)經(jīng)驗，也吸取了國內(nèi)外數(shù)十本相關(guān)著作的精華。全書共8 章，包括命題邏輯、一階邏輯、集合、關(guān)系、函數(shù)、計數(shù)初步、圖論、樹。每章后面配有難易不等的習題，可供教學(xué)選用。最后配有部分習題的提示與解答。本書可作為高等院校、計算機科學(xué)與技術(shù)、應(yīng)用數(shù)學(xué)、自動控制、電子工程、信息科學(xué)及相關(guān)專業(yè)的本科生的教材，也可供相關(guān)專業(yè)的工程技術(shù)人員參考。本書備有電子課件，供教師參考，如需要，向本社發(fā)行部索取。

作者簡介

暫缺《離散結(jié)構(gòu)》作者簡介

圖書目錄

第1章命題邏輯1
1.1 命題和邏輯運算1
1.1.1 命題1
1.1.2 邏輯聯(lián)結(jié)詞和復(fù)合命題2
1.2 合式公式6
1.2.1 語法6
1.2.2 語義（semantics）7
1.3 邏輯等價8
1.4 范式12
1.4.1 析取范式12
1.4.2 合取范式13
1.4.3 用等價替換方法構(gòu)造主范式14
1.5 聯(lián)結(jié)詞的完備集及應(yīng)用15
1.5.1 聯(lián)結(jié)詞的完備集15
1.5.2 一些計算機應(yīng)用16
1.6 蘊涵和演繹19
1.7 本章小結(jié)22
習題23
第2章一階邏輯26
2.1 謂詞和量詞26
2.1.1 謂詞26
2.1.2 量詞27
2.2 合式公式29
2.2.1 語法29
2.2.2 語義31
2.3 邏輯等價和蘊涵33
2.4 范式37
2.5 數(shù)學(xué)歸納法39
2.5.1 歸納推理和演繹推理39
2.5.2 數(shù)學(xué)歸納法41
2.5.3 數(shù)學(xué)歸納法的應(yīng)用43
2.6 本章小結(jié)44
習題45第3章集合48
3.1 集合及子集48
3.1.1 集合及其表示48
3.1.2 子集49
3.1.3 冪集50
3.1.4 多重集合51
3.2 集合上的運算51
3.2.1 集合的并51
3.2.2 集合的交52
3.2.3 集合的差53
3.2.4 集合的對稱差53
3.3 集合的笛卡兒乘積54
3.3.1 有序?qū)?4
3.3.2 集合的笛卡兒乘積55
3.4 本章小結(jié)56
習題56
第4章關(guān)系60
4.1 關(guān)系的基本概念60
4.1.1 二元關(guān)系的定義60
4.1.2 關(guān)系矩陣62
4.1.3 關(guān)系圖63
4.1.4 n元關(guān)系及其應(yīng)用64
4.2 復(fù)合關(guān)系和逆關(guān)系64
4.2.1 復(fù)合關(guān)系65
4.2.2 逆關(guān)系67
4.3 關(guān)系的性質(zhì)69
4.4 等價關(guān)系和集合的劃分72
4.4.1 等價關(guān)系73
4.4.2 集合的劃分75
4.5 關(guān)系的閉包76
4.6 本章小結(jié)79
習題80
第5章函數(shù)84
5.1 函數(shù)的基本概念84
5.2 特殊函數(shù)86
5.3 函數(shù)的運算88
5.4 一些常見的函數(shù)91
5.5 本章小結(jié)92
習題93
第6章計數(shù)初步95
6.1 計數(shù)的兩個基本原理95
6.1.1 加法原理(addition principle of counting)95
6.1.2 乘法原理(multiplication principle of counting)96
6.2 排列與組合97
6.2.1 排列97
6.2.2 組合99
6.3 鴿籠原理101
6.4 容斥原理及其應(yīng)用103
6.4.1 容斥原理103
6.4.2 容斥原理的應(yīng)用104
6.5 遞歸關(guān)系106
6.5.1 遞歸關(guān)系模型106
6.5.2 遞歸關(guān)系的基本解法109
6.6 本章小結(jié)114
習題115
第7章圖論118
7.1 圖的基本概念118
7.1.1 圖的定義、表示和一些術(shù)語118
7.1.2 圖的同構(gòu)120
7.1.3 關(guān)聯(lián)矩陣和鄰接矩陣122
7.1.4 子圖122
7.1.5 頂點的度123
7.1.6 路和連通124
7.1.7 回路126
7.1.8 最短路問題127
7.2 歐拉圖130
7.2.1 基本概念130
7.2.2 中國郵遞員問題133
7.3 哈密爾頓圖134
7.3.1 基本概念134
7.3.2 巡回售貨員問題(TSP)137
7.4 可平面性137
7.4.1 平面圖和可平面圖137
7.4.2 平面圖的歐拉公式及其應(yīng)用139
7.4.3 可平面圖的判定140
7.4.4 平面圖的對偶圖141
7.5 本章小結(jié)142
習題143
第8章樹147
8.1 無向樹147
8.1.1 無向樹的定義和基本性質(zhì)147
8.1.2 生成樹和最小生成樹149
8.2 有向樹及根樹151
8.2.1 有向樹及根樹的定義151
8.2.2 有序樹153
8.2.3 樹搜索155
8.2.4 前綴碼和最優(yōu)樹158
8.3 本章小結(jié)161
習題162
部分習題的提示與解答165
參考文獻176