離散數學(2019年清華大學出版社出版的圖書)

《離散數學》是2019年清華大學出版社出版的圖書。

基本介紹

• 書名：離散數學
• 作者：楊文國，高華，石瑩，呂佳萍，沈曉婧
• 類別：教材
• 出版社：清華大學出版社
• 出版時間：2019年9月
• 開本：16 開
• 裝幀：平裝
• ISBN：9787302532743

內容簡介

本書主要介紹了離散數學的基本內容和一些簡單套用。全書共分5章，分別介紹命題邏輯、謂詞邏輯、集合論、二元關係和圖論。本書整體結構清晰，概念清楚，重點突出。為了方便學生理解掌握所學知識，本書配有大量習題，分別以判斷題、單項選擇題、不定項選擇題、解答題等形式呈現，題目通俗易懂，做題靈活，方便學生隨堂測試。本書是江蘇省教育科學“十三五”規劃研究課題的專項成果。 本書可以作為本科院校計算機科學與技術、軟體工程、醫學信息學以及其他理工科專業的教材，也可供喜愛數學的有關人員閱讀。

圖書目錄

離散數學第1章命題邏輯1

1.1命題與表示1

1.2聯結詞3

1.3命題公式與真值表示5

1.4對偶與範式8

1.5推理13

1.6聯結詞功能集17

1.7習題18

第2章謂詞邏輯22

2.1謂詞與命題函式22

2.2謂詞公式與翻譯24

2.3前束範式28

2.4謂詞推理29

2.5習題30

第3章集合論33

3.1集合與表示33

3.2集合運算35

3.3集合的計數與劃分40

3.4集合的基數42

3.5習題44

第4章二元關係48

4.1關係及其表示48

4.2關係的性質52

4.3關係的等價57

4.4序關係60

4.5函式62

4.6習題65

第5章圖論70

5.1圖的概念70

5.2路與迴路75

5.3圖的矩陣形式78

5.4歐拉圖與漢密爾頓圖82

5.5平面圖與著色83

5.6無向樹與生成樹87

5.7有向樹與套用89

5.8習題94離散數學目錄

作者簡介

楊文國，副教授，南京中醫藥大學信息技術學院數學教研室副主任。中國醫藥數學會數學模型專業委員會委員，江蘇省高等學校數學教學研究會理事。主要從事《高等數學》《線性代數》《醫藥數理統計》《離散數學》以及《數學建模》等5門課程的教學。2014年在我院第三屆青年教師授課競賽中榮獲一等獎， 2015年獲南京中醫藥大學首屆“杏林名師”稱號，2015年獲江蘇省第四屆高校數學基礎課青年教師授課競賽三等獎；2015年獲校“五四青年獎章”。