《離散數學（第2版）》是清華大學出版社於2021年出版的書籍。
基本介紹
- 中文名：《離散數學（第2版）》
- 作者：楊文國 高華 石瑩 呂佳萍 沈曉婧
- 出版社：清華大學出版社
- ISBN：9787302586227
內容簡介
本書主要介紹了離散數學的基本內容和一些簡單套用。全書共分5章,分別介紹命題邏輯、謂詞邏 輯、集合論、二元關係和圖論。本書整體結構清晰,概念清楚,重點突出。為了方便學生理解、掌握所學 知識,本書配有大量習題,分別以判斷題、單項選擇題、不定項選擇題、解答題等形式呈現,題目通俗易 懂,做題靈活,方便學生隨堂測試。本書是江蘇省教育科學“十三五”規劃研究課題的專項成果。 本書可作為本科院校計算機科學與技術、軟體工程、醫學信息學以及其他理工科專業的教材,也可 供喜愛離散數學的有關人員閱讀。
目錄
第1章命題邏輯1
1.1命題與表示1
1.2聯結詞3
1.3命題公式與真值表示6
1.4對偶與範式10
1.5推理15
1.6聯結詞功能集19
1.7習題21
第2章謂詞邏輯25
2.1謂詞與命題函式25
2.2謂詞公式與翻譯27
2.3前束範式31
2.4謂詞推理33
2.5習題34
第3章集合論37
3.1集合與表示37
3.2集合運算39
3.3集合的計數與劃分44
3.4集合的基數47
3.5習題49
第4章二元關係53
4.1關係及其表示53
4.2關係的性質57
4.3關係的等價63
4.4序關係65
4.5函式67
4.6習題71
第5章圖論75
5.1圖的概念75
5.2路與迴路80
5.3圖的矩陣形式83
5.4歐拉圖與哈密頓圖87
5.5平面圖與著色89
5.6無向樹與生成樹93
5.7有向樹與套用95
5.8習題100
附錄習題解答105
第1章命題邏輯105
第2章謂詞邏輯110
第3章集合論112
第4章二元關係115
第5章圖論118
