高等學校教材：離散數(shù)學導論（第4版）簡介，目錄書摘
2019-11-06 11:38
來源：京東
作者：京東
高等學校教材：離散數(shù)學導論（第4版）
暫無報價
50+評論
96%好評
編輯推薦:
內(nèi)容簡介: 《離散數(shù)學導論（第4版）》第1版于1982年問世?！峨x散數(shù)學導論（第4版）》在基本保持第3版的風格與主要內(nèi)容的基礎(chǔ)上，進行了適當?shù)难a充與刪改，尤其是新增一篇“離散建模”，將離散數(shù)學與計算機緊密結(jié)合?！峨x散數(shù)學導論（第4版）》由六篇組成，分別是緒言、集合論、代數(shù)系統(tǒng)、圖論、數(shù)理邏輯和離散建模，并以離散建模為特色?！峨x散數(shù)學導論（第4版）》取材精練、重點突出、簡明易懂、篇幅短小，既強調(diào)數(shù)學的嚴謹性與抽象性，又不拘泥于數(shù)學的繁瑣細節(jié)，非常適合于50－70學時的離散數(shù)學課程使用?！峨x散數(shù)學導論（第4版）》配有相應(yīng)的輔導教材——《離散數(shù)學導論（第4版）——學習指導與習題解析》。
《離散數(shù)學導論（第4版）》可作為高等學校計算機及相關(guān)專業(yè)離散數(shù)學課程的教材或參考書，也可供從事計算機工作的科研人員、工程技術(shù)人員以及其他有關(guān)人員參考。
《離散數(shù)學導論（第4版）》可作為高等學校計算機及相關(guān)專業(yè)離散數(shù)學課程的教材或參考書，也可供從事計算機工作的科研人員、工程技術(shù)人員以及其他有關(guān)人員參考。
作者簡介:
目錄:第一篇 緒言
第二篇 集合論
第一章 集合論初步
1.1 集合的基本概念
1.2 集合代數(shù)
1.3 冪集
習題1
第二章 關(guān)系
2.1 關(guān)系的預(yù)備知識——n元有序組與
笛卡兒乘積
2.2 關(guān)系的基本概念
2.3 關(guān)系的運算
2.4 關(guān)系的重要性質(zhì)
2.5 關(guān)系上的閉包運算
2.6 次序關(guān)系
2.7 相容關(guān)系
2.8 等價關(guān)系
習題2
第三章 函數(shù)
3.1 函數(shù)的基本概念
3.2 復(fù)合函數(shù)、反函數(shù)、多元函數(shù)
3.3 常用函數(shù)介紹
習題3
第四章 有限集與無限集
4.1 有限集與無限集基本概念
4.2 有限集
4.3 無限集的性質(zhì)
習題4
第二篇 復(fù)習指導
第二篇 總復(fù)習題
第三篇 代數(shù)系統(tǒng)
第五章 代數(shù)系統(tǒng)基礎(chǔ)
5.1 代數(shù)系統(tǒng)的一般概念
5.2 代數(shù)系統(tǒng)常見的一些性質(zhì)
5.3 同構(gòu)與同態(tài)
5.4 常用的代數(shù)系統(tǒng)分類
習題5
第六章 群論
6.1 半群與單元半群
6.2 群
習題6
第七章 環(huán)論與格論
7.1 環(huán)論
7.2 格論
習題7
第三篇 復(fù)習指導
第三篇 總復(fù)習題
第四篇 圖論
第八章圖論原理
8.1 圖的基本概念
8.2 通路、回路與連通性
8.3 歐拉圖
8.4 哈密頓圖
8.5 圖的矩陣表示法
習題8
第九章 樹
9.1 樹及其基本性質(zhì)
9.2 有向樹
9.3 二元樹
9.4 生成樹
習題9
第四篇 復(fù)習指導
第四篇 總復(fù)習題
第五篇 數(shù)理邏輯
第十章命題邏輯
10.1 命題與命題聯(lián)結(jié)詞
10.2 命題變元與命題公式
10.3 重言式
10.4 命題邏輯的基本等式及等式推理
10.5 命題邏輯的基本蘊涵式及蘊涵推理
10.6 范式
10.7 命題聯(lián)結(jié)詞的擴充與歸約
習題10
第十一章 謂詞邏輯
11.1 謂詞與個體
11.2 量詞
11.3 函數(shù)
11.4 謂詞邏輯公式
11.5 自由變元與約束變元
11.6 謂詞邏輯的永真公式
11.7 謂詞邏輯的等式推理
11.8 謂詞邏輯的蘊涵推理
11.9 謂詞邏輯范式
習題11
第十二章 數(shù)理邏輯的公理化理論
12.1 公理化理論的基本思想
12.2 命題邏輯、謂詞邏輯的公理化理論
12.3 數(shù)理邏輯應(yīng)用公理系統(tǒng)
12.4 謂詞邏輯的自動定理證明
習題12
第五篇 復(fù)習指導
第五篇 總復(fù)習題
第六篇 離散建模
第十三章離散建模概念與方法
13.1 離散建模概念
13.2 離散建模方法
13.3 離散建模方法的五個步驟
習題13
第十四章 離散建模應(yīng)用實例
14.1 數(shù)字邏輯電路中的離散建模
14.2 電話線路故障影響分析中的離散建模
14.3 數(shù)據(jù)庫中關(guān)系數(shù)據(jù)模型的離散建模
14.4 數(shù)據(jù)通信中糾錯碼的離散建模
習題14
附錄一 常用符號一覽表
附錄二 中英文名詞對照表
參考文獻
第二篇 集合論
第一章 集合論初步
1.1 集合的基本概念
1.2 集合代數(shù)
1.3 冪集
習題1
第二章 關(guān)系
2.1 關(guān)系的預(yù)備知識——n元有序組與
笛卡兒乘積
2.2 關(guān)系的基本概念
2.3 關(guān)系的運算
2.4 關(guān)系的重要性質(zhì)
2.5 關(guān)系上的閉包運算
2.6 次序關(guān)系
2.7 相容關(guān)系
2.8 等價關(guān)系
習題2
第三章 函數(shù)
3.1 函數(shù)的基本概念
3.2 復(fù)合函數(shù)、反函數(shù)、多元函數(shù)
3.3 常用函數(shù)介紹
習題3
第四章 有限集與無限集
4.1 有限集與無限集基本概念
4.2 有限集
4.3 無限集的性質(zhì)
習題4
第二篇 復(fù)習指導
第二篇 總復(fù)習題
第三篇 代數(shù)系統(tǒng)
第五章 代數(shù)系統(tǒng)基礎(chǔ)
5.1 代數(shù)系統(tǒng)的一般概念
5.2 代數(shù)系統(tǒng)常見的一些性質(zhì)
5.3 同構(gòu)與同態(tài)
5.4 常用的代數(shù)系統(tǒng)分類
習題5
第六章 群論
6.1 半群與單元半群
6.2 群
習題6
第七章 環(huán)論與格論
7.1 環(huán)論
7.2 格論
習題7
第三篇 復(fù)習指導
第三篇 總復(fù)習題
第四篇 圖論
第八章圖論原理
8.1 圖的基本概念
8.2 通路、回路與連通性
8.3 歐拉圖
8.4 哈密頓圖
8.5 圖的矩陣表示法
習題8
第九章 樹
9.1 樹及其基本性質(zhì)
9.2 有向樹
9.3 二元樹
9.4 生成樹
習題9
第四篇 復(fù)習指導
第四篇 總復(fù)習題
第五篇 數(shù)理邏輯
第十章命題邏輯
10.1 命題與命題聯(lián)結(jié)詞
10.2 命題變元與命題公式
10.3 重言式
10.4 命題邏輯的基本等式及等式推理
10.5 命題邏輯的基本蘊涵式及蘊涵推理
10.6 范式
10.7 命題聯(lián)結(jié)詞的擴充與歸約
習題10
第十一章 謂詞邏輯
11.1 謂詞與個體
11.2 量詞
11.3 函數(shù)
11.4 謂詞邏輯公式
11.5 自由變元與約束變元
11.6 謂詞邏輯的永真公式
11.7 謂詞邏輯的等式推理
11.8 謂詞邏輯的蘊涵推理
11.9 謂詞邏輯范式
習題11
第十二章 數(shù)理邏輯的公理化理論
12.1 公理化理論的基本思想
12.2 命題邏輯、謂詞邏輯的公理化理論
12.3 數(shù)理邏輯應(yīng)用公理系統(tǒng)
12.4 謂詞邏輯的自動定理證明
習題12
第五篇 復(fù)習指導
第五篇 總復(fù)習題
第六篇 離散建模
第十三章離散建模概念與方法
13.1 離散建模概念
13.2 離散建模方法
13.3 離散建模方法的五個步驟
習題13
第十四章 離散建模應(yīng)用實例
14.1 數(shù)字邏輯電路中的離散建模
14.2 電話線路故障影響分析中的離散建模
14.3 數(shù)據(jù)庫中關(guān)系數(shù)據(jù)模型的離散建模
14.4 數(shù)據(jù)通信中糾錯碼的離散建模
習題14
附錄一 常用符號一覽表
附錄二 中英文名詞對照表
參考文獻
京公網(wǎng)安備 11000002000088號
