離散數學

《離散數學》較為系統地介紹了計算機科學技術等相關專業所必需的離散數學知識，《離散數學》共分8章．第1章介紹命題及命題邏輯，第2章介紹謂詞邏輯及其推理理論，第3章介紹集合的基本概念、性質及計數方法，第4章介紹二元關係及其性質，第5章介紹函數及其性質，第6章介紹圖論的基礎內容和一些特殊圖，第7章介紹樹及其應用，第8章介紹代數系統及一些與計算機密切相關的代數系統．各章後均配有難度適當的習題，便於學生課後練習。

《離散數學》結構嚴謹，邏輯清晰，講解透徹，示例豐富，可作為高等院校計算機科學技術、軟件工程等相關專業“離散數學”課程的教材，也可以作為計算機科學技術行業從業人員的參考書。

《離散數學》特點：

精心策劃，專業編校

結構嚴謹，邏輯清晰

例題詳細，習題豐富

通俗易懂，便於自學

第1章 命題邏輯

1．1 命題與聯結詞

1．1．1 命題

1．1．2 聯結詞

1．2 命題公式與真值表

1．2．1 命題公式

1．2．2 真值表

1．2．3 命題公式的分類

1．3 命題公式的等值演算

1．3．1 等值和基本等值式

1．3．2 等值演算

1．4 聯結詞的擴充與完備集

1．4．1 聯結詞的擴充

1．4．2 聯結詞完備集

1．5 公式的標準型——範式

1．5．1 析取範式和合取範式

1．5．2 主析取範式和主合取範式

1．6 命題邏輯的推理理論

1．6．1 推理的基本概念和推理形式

1．6．2 演繹推理方法

習題1

第2章 謂詞邏輯

2．1 謂詞邏輯的基本概念

2．1．1 個體詞與謂詞

2．1．2 量詞

2．2 謂詞公式及其解釋

2．2．1 謂詞公式

2．2．2 謂詞公式的解釋

2．3 謂詞邏輯等值式與範式

2．3．1 謂詞邏輯等值式

2．3．2 前束範式

2．3．3 斯柯林標準型

2．4 謂詞邏輯的推理理論

2．4．1 量詞的消去及引入規則

2．4．2 謂詞邏輯推理實例

習題2

第3章 集合論

3．1 集合

3．1．1 集合的概念

3．1．2 集合的表示

3．1．3 特殊集合

3．1．4 集合之間的關係

3．2 集合的運算

3．2．1 集合運算的概念

3．2．2 集合運算的算律

3．2．3 集合的計算機表示

3．3 包含排斥原理與鴿巢原理

3．3．1 包含排斥原理

3．3．2 鴿巢原理

習題3

……

第4章 二元關係

第5章 函數

第6章 圖論

第7章 樹

第8章 代數系統

參考文獻