離散數學

本書主要介紹了離散數學的基本內容和一些簡單應用。全書共分5章,分別介紹命題邏輯、謂詞邏

輯、集合論、二元關係和圖論。本書整體結構清晰,概念清楚,重點突出。為了方便學生理解、掌握所學

知識,本書配有大量習題,分別以判斷題、單項選擇題、不定項選擇題、解答題等形式呈現,題目通俗易

懂,做題靈活,方便學生隨堂測試。本書是江蘇省教育科學“十三五”規劃研究課題的專項成果。

本書可作為本科院校計算機科學與技術、軟件工程、醫學信息學以及其他理工科專業的教材,也可

供喜愛離散數學的有關人員閲讀。

楊文國，副教授，南京中醫藥大學數學教研室主任，主持省部級課題2項，校級課題3項，行業協會課題2項，以第一作者或通訊作者共發表了論文29篇，SCI論文3篇，中文核心10篇。主編教材1部，副主編規劃教材3部，參編規劃教材2部。

第1章 命題邏輯

1.1 命題與表示

1.2 聯結詞

1.3 命題公式與真值表示

1.4 對偶與範式

1.5 推理

1.6 聯結詞功能集

1.7 習題

第2章 謂詞邏輯

2.1 謂詞與命題函數

2.2 謂詞公式與翻譯

2.3 前束範式

2.4 謂詞推理

2.5 習題

第3章 集合論

3.1 集合與表示

3.2 集合運算

3.3 集合的計數與劃分

3.4 集合的基數

3.5 習題

第4章 二元關係

4.1 關係及其表示

4.2 關係的性質

4.3 關係的等價

4.4 序關係

4.5 函數

4.6 習題

第5章 圖論

5.1 圖的概念

5.2 路與迴路

5.3 圖的矩陣形式

5.4 歐拉圖與哈密頓圖

5.5 平面圖與着色

5.6 無向樹與生成樹

5.7 有向樹與應用

5.8 習題

附錄習題解答

第1章 命題邏輯

第2章 謂詞邏輯

第3章 集合論

第4章 二元關係

第5章 圖論