離散數學及其套用(2022年機械工業出版社出版的圖書)

《離散數學及其套用》是2022年機械工業出版社出版的圖書，作者是汪榮貴。

基本介紹

• 中文名：離散數學及其套用
• 作者：汪榮貴
• 出版社：機械工業出版社
• 出版時間：2022年1月1日
• 頁數：396 頁
• 開本：16 開
• 裝幀：平裝
• ISBN：9787111575207

內容簡介

《離散數學及其套用》全面系統地介紹了離散數學的基本理論與套用技術，內容主要包括集合與關係理論、組合計算方法與套用、整數與算法設計知識、數理邏輯演算與推理、圖模型的基本理論與算法、抽象代數的基礎知識等。

　　《離散數學及其套用》注重知識的套用性、表達的可讀性和體系的完備性，將分布在不同數學分支的離散數學知識點進行凝練和最佳化，形成一套相對完備的離散數學知識體系，並且在每個章節穿插豐富的套用實例，使得讀者在學習離散數學理論知識的同時，還能比較系統地掌握離散數學的套用知識。

　　《離散數學及其套用》用通俗易懂的語言深入淺出地表達知識內容，著重突出數學概念和定理的思想、本質，而不僅僅是形式化描述，使得廣大讀者能夠通過自己的努力就可以不太困難地掌握離散數學的內容。另外，每章均配有一定數量的習題，供讀者練習。

　　《離散數學及其套用》內容豐富、思路清晰、實例講解詳細、圖例直觀形象，適合作為計算機及相關專業的本科生教材，也可供工程技術人員和自學讀者學習參考。

圖書目錄

第1章 集合與計數基礎

1．1 集合的基本知識

1．1．1 數學危機與集合論

1．1．2 集合的概念與表示

1．1．3 集合的基本運算

1．1．4 集合的二進制表示

1．2 可數集與不可數集

1．2．1 無限集的度量問題

1．2．2 自然數集的定義

1．2．3 無限集的基數比較

1．3 有限集的基本計數技術

1．3．1 加法原理與乘法原理

1．3．2 容斥原理與鴿籠原理

1．3．3 排列計數與組合計數

1．4 有限集的高級計數技術

1．4．1 遞推關係計數法

1．4．2 遞推關係的求解

1．4．3 生成函式計數法

1．5 習題

第2章 整數與算法設計基礎

2．1 整數的基本知識

2．1．1 整數與整數除法

2．1．2 整數的因數分解

2．1．3 素數的性質與查找

2．2 同餘算術及其套用

2．2．1 同餘關係及其運算

2．2．2 同餘方程與方程組

2．2．3 整數加密算法

2．3 算法設計的基本知識

2．3．1 算法的基本概念

2．3．2 算法效率的度量

2．3．3 算法設計套用舉例

2．4 算法設計策略與套用

2．4．1 蠻力與貪心策略

2．4．2 遞歸與分治策略

2．4．3 回溯與動態規劃策略

2．5 習題

第3章 命題演算與推理

3．1 命題的概念與運算

3．1．1 邏輯與命題邏輯

3．1．2 命題的基本概念

3．1．3 命題的常用聯結詞

3．2 命題公式與等值演算

3．2．1 命題公式的基本知識

3．2．2 等值關係與等值演算

3．2．3 公式的內否與對偶

3．3 聯結詞的完備集

3．3．1 聯結詞的枚舉

3．3．2 聯結詞的完備性

3．3．3 聯結詞的套用

3．4 命題公式的範式

3．4．1 範式的基本概念

3．4．2 主析取範式

3．4．3 主合取範式

3．4．4 主範式間的聯繫

3．5 命題邏輯的演繹推理

3．5．1 永真蘊含關係與判定

3．5．2 命題公式推演系統

3．5．3 命題推證的基本策略

3．6 命題邏輯的套用

3．6．1 刑偵推斷問題

3．6．2 組合邏輯電路設計

3．6．3 加法器電路設計

3．7 習題

第4章 謂詞演算與推理

4．1 個體詞、謂詞與量詞

4．1．1 邏輯與謂詞邏輯

4．1．2 命題函式與謂詞

4．1．3 量詞與特性謂詞

4．2 謂詞公式與等值演算

4．2．1 謂詞公式的概念

4．2．2 變數的自由與約束

4．2．3 謂詞公式的解釋與分類

4．2．4 謂詞公式的等值與蘊含

4．3 謂詞公式的範式

4．3．1 等值型範式

4．3．2 非等值型範式

4．4 謂詞邏輯的推理

4．4．1 謂詞公式的推演系統

4．4．2 謂詞推證的基本方法

4．4．3 謂詞推理實例選講

4．5 謂詞邏輯的套用

4．5．1 摘香蕉問題

4．5．2 水容器問題

4．6 習題

第5章 關係模型與理論

5．1 關係的數學模型

5．1．1 序偶與笛卡兒積

5．1．2 關係的概念

5．1．3 關係的表示

5．2 關係的基本運算

5．2．1 關係的集合運算

5．2．2 關係的複合運算

5．2．3 冪關係與逆關係

5．3 關係的基本性質

5．3．1 關係的自反與反自反

5．3．2 關係的對稱與反對稱

5．3．3 關係的傳遞性

5．3．4 關係性質的判定

5．4 關係的性質閉包

5．4．1 關係閉包的概念

5．4．2 傳遞閉包的構造

5．4．3 關係閉包的性質

5．5 關係模型的套用

5．5．1 關係代數模型

5．5．2 關係演算模型

5．6 習題

第6章 特殊關係模型

6．1 等價關係與元素分類

6．1．1 等價關係與等價類

6．1．2 集合的劃分與商集

6．2 相容關係與元素聚類

6．2．1 相容關係與相容類

6．2．2 集合的覆蓋

6．3 偏序關係與元素比較

6．3．1 偏序關係與哈斯圖

6．3．2 偏序集的特殊元素

6．3．3 全序與良序

6．4 特殊關係的套用

6．4．1 粗集定義問題

6．4．2 得分評判問題

6．5 習題

第7章 函式與特殊函式

7．1 函式的基本概念

7．1．1 函式的集合定義

7．1．2 函式的基本類型

7．1．3 常用特殊函式

7．2 函式的基本運算

7．2．1 函式的複合運算

7．2．2 函式的逆運算

7．2．3 函式的遞歸運算

7．3 集合的特徵函式

7．3．1 特徵函式的概念

7．3．2 特徵函式的運算

7．4 有限集的置換函式

7．4．1 置換函式的概念

7．4．2 置換函式的運算

7．4．3 置換的輪換分解

7．5 函式關係的套用

7．5．1 哈希查找問題

7．5．2 寬頻分配問題

7．6 習題

……

第8章 圖的基本理論與算法

第9章 樹的基本理論與算法

第10章 特殊圖模型與算法

附錄A 抽象代數結構基本知識

參考文獻