《離散數學導論》是1982年問世的《離散數學導論》的第3版，本版基本上保持原第2版的風格與內容，並適當做了補充與刪改，本版對原有的章節進行了重新編排，同時增加了大量習題。在每一篇結束後都給出了複習指導，供學習參考《離散數學導論》可作為高等學校計算機及相關專業離散數學課程的教材或參考書，也可供從事計算機工作的科研人員、工程技術人員以及其他有關人員參考。
基本介紹
- 書名：離散數學導論
- 作者：徐潔磐
- ISBN：9787040315028
- 定價：27.20元
- 出版社：高等教育出版社
- 出版時間：2011年4月1日
- 裝幀：平裝
- 開本：16開
內容簡介,圖書目錄,
內容簡介
《離散數學導論(第4版)》第1版於1982年問世。《離散數學導論(第4版)》在基本保持第3版的風格與主要內容的基礎上，進行了適當的補充與刪改，尤其是新增一篇“離散建模”，將離散數學與計算機緊密結合。《離散數學導論(第4版)》由六篇組成，分別是緒言、集合論、代數系統、圖論、數理邏輯和離散建模，並以離散建模為特色。《離散數學導論(第4版)》取材精練、重點突出、簡明易懂、篇幅短小，既強調數學的嚴謹性與抽象性，又不拘泥於數學的繁瑣細節，非常適合於50－70學時的離散數學課程使用。《離散數學導論(第4版)》配有相應的輔導教材——《離散數學導論（第4版）——學習指導與習題解析》。
《離散數學導論(第4版)》可作為高等學校計算機及相關專業離散數學課程的教材或參考書，也可供從事計算機工作的科研人員、工程技術人員以及其他有關人員參考。
圖書目錄
第一篇 緒言
第二篇 集合論
第一章 集合論初步
1.1 集合的基本概念
1.2 集合代數
1.3 冪集
習題1
第二章 關係
2.1 關係的預備知識——n元有序組與
笛卡兒乘積
2.2 關係的基本概念
2.3 關係的運算
2.4 關係的重要性質
2.5 關係上的閉包運算
2.6 次序關係
2.7 相容關係
2.8 等價關係
習題2
第三章 函式
3.1 函式的基本概念
3.2 複合函式、反函式、多元函式
3.3 常用函式介紹
習題3
第四章 有限集與無限集
4.1 有限集與無限集基本概念
4.2 有限集
4.3 無限集的性質
習題4
第二篇 複習指導
第二篇 總複習題
第三篇 代數系統
第五章 代數系統基礎
5.1 代數系統的一般概念
5.2 代數系統常見的一些性質
5.3 同構與同態
5.4 常用的代數系統分類
習題5
第六章 群論
6.1 半群與單元半群
6.2 群
習題6
第七章 環論與格論
7.1 環論
7.2 格論
習題7
第三篇 複習指導
第三篇 總複習題
第四篇 圖論
第八章圖論原理
8.1 圖的基本概念
8.2 通路、迴路與連通性
8.3 歐拉圖
8.4 哈密頓圖
8.5 圖的矩陣表示法
習題8
第九章 樹
9.1 樹及其基本性質
9.2 有向樹
9.3 二元樹
9.4 生成樹
習題9
第四篇 複習指導
第四篇 總複習題
第五篇 數理邏輯
第十章命題邏輯
10.1 命題與命題聯結詞
10.2 命題變元與命題公式
10.3 重言式
10.4 命題邏輯的基本等式及等式推理
10.5 命題邏輯的基本蘊涵式及蘊涵推理
10.6 範式
10.7 命題聯結詞的擴充與歸約
習題10
第十一章 謂詞邏輯
11.1 謂詞與個體
11.2 量詞
11.3 函式
11.4 謂詞邏輯公式
11.5 自由變元與約束變元
11.6 謂詞邏輯的永真公式
11.7 謂詞邏輯的等式推理
11.8 謂詞邏輯的蘊涵推理
11.9 謂詞邏輯範式
習題11
第十二章 數理邏輯的公理化理論
12.1 公理化理論的基本思想
12.2 命題邏輯、謂詞邏輯的公理化理論
12.3 數理邏輯套用公理系統
12.4 謂詞邏輯的自動定理證明
習題12
第五篇 複習指導
第五篇 總複習題
第六篇 離散建模
第十三章離散建模概念與方法
13.1 離散建模概念
13.2 離散建模方法
13.3 離散建模方法的五個步驟
習題13
第十四章 離散建模套用實例
14.1 數字邏輯電路中的離散建模
14.2 電話線路故障影響分析中的離散建模
14.3 資料庫中關係數據模型的離散建模
14.4 數據通信中糾錯碼的離散建模
習題14
附錄一常用符號一覽表
附錄二中英文名詞對照表
參考文獻
