作 者:王樹西 編
定 價:59
出 版 社:清華大學出版社
出版日期:2021年08月01日
頁 數:296
裝 幀:平裝
ISBN:9787302576365
"本教材的特色包括:(1)教材通俗易懂。(2)大量的例題。(3)大量的習題,並附有答案。(4)重點和難點突出。(5)介紹了相關知識的歷史背景。(6)重要概念標注了英文名稱(7)強調基礎知識、基本概念、基本框架。(8)重視計算。"
●第1章命題邏輯/1
1.1數理邏輯的歷史背景1
1.1.1數理邏輯的起源2
1.1.2數理邏輯的內容2
1.1.3哥德爾不接近性定理3
1.1.4數理邏輯與中國4
1.2命題與邏輯聯結詞5
1.3真值表8
1.4等值演算11
1.5範式20
1.6推理理論24
1.7習題36
第2章謂詞邏輯/46
2.1基本概念46
2.2謂詞公式及解釋51
2.3謂詞公式等值式56
2.4謂詞邏輯推理61
2.5習題67
第3章集合論初步/71
3.1集合論的歷史背景71
3.1.1集合論創立者康托爾71
3.1.2羅素悖論74
3.1.3笛卡兒76
3.2集合的基本概念77
3.3集合的基本運算79
3.4笛卡兒積85
3.5習題87
第關繫/89
4.1關繫的表示89
4.2關繫的運算92
4.3關繫的性質97
4.4關繫的閉包100
4.5等價關繫102
4.6偏序關繫105
4.7函數110
4.8習題113
第5章代數繫統的一般性質/118
5.1相關歷史背景118
5.1.1代數之父花拉子密119
5.1.2布爾代數119
5.2代數運算的表示120
5.3代數運算的運算律123
5.4代數繫統與代數常數125
5.5代數繫統的同態與同構131
5.6習題136
第6章典型代數繫統/139
6.1現代群論創始人阿貝爾和伽羅瓦139
6.1.1阿貝爾139
6.1.2伽羅瓦144
6.2半群145
6.3群149
6.4子群155
6.5循環群與置換群158
6.6環與域163
6.7格與布爾代數165
6.8習題168
第7章圖論基礎/171
7.1相關歷史背景171
7.1.1哥尼斯堡七橋問題172
7.1.2歐拉173
7.1.3迪傑斯特拉174
7.2圖的基本概念175
7.3圖的連通性180
7.4圖的矩陣表示183
7.5一些特殊的圖187
7.5.1歐拉圖187
7.5.2哈密頓圖189
7.5.3二部圖190
7.5.4平面圖191
7.6最短路193
7.6.1有向圖的最短路問題193
7.6.2標號法193
7.7關鍵路徑197
7.7.1PERT圖197
7.7.2最早完成時間198
7.7.3最晚完成時間198
7.7.4緩衝時間199
7.8習題200
第8章樹/205
8.1樹的基本概念205
8.2樹的基本性質208
8.3習題217
第9章組合分析初步/219
9.1加法法則和乘法法則219
9.2基本排列組合的計數方法220
9.3習題225
附錄A習題答案/226
參考文獻/286
本書是作者十多年來面向本科生開設的“離散數學”課程的教學實踐積累,同時借鋻了國內外相關課程的教學體繫,繫統介紹了數理邏輯(命題邏輯、謂詞邏輯)、集合論(集合論初關繫)、代數繫統(代數繫統一般性質、典型代數繫統)和圖論(圖論基礎、樹),並介紹了組合分析基本知識。本書給出了大量的例題、習題,附錄A提供了各章習題答案,有利於讀者對相關知識的理解和掌握。
本書可以作為高等院校信息類及相關專業的高年級本科生教材,也可供對離散數學感興趣的工程技術人員參考閱讀。