基本信息

• 商品名稱：離散數學(21世紀高等教育計算機規劃教材)
• 作者：汪小燕//葉紅
• 代碼：29.8
• 出版社：人民郵電
• ISBN號：9787115365408

其他參考信息

• 出版時間：2014-09-01
• 印刷時間：2014-09-01
• 版次：1
• 印次：1
• 開本：16開
• 包裝：平裝
• 頁數：186
• 字數：277千字

內容提要

汪小燕、葉紅主編的這本《離散數學》是針對高 等院校離散數學課程而編寫的教材。全書共9章，分 為數理邏輯、集合論、代數繫統和圖論4個部分。主 要內容包括命題邏輯、謂詞邏輯、集關繫、 函數、代數結構、格和布爾代數、圖和樹。在編寫過 程中，作者充分考慮初學者的學習特點，在章節內容 編排、敘述表達、例題選擇、課後習題等方面做了精 心設計，內容通俗易懂、簡明扼要，大部分理論概念 都用實例說明並配有一定數量的習題。
     本書適合作為高等院校計算機、軟件工程、網絡 工程、管理科學等專業的離散數學教材，也可作為計 算機相關專業的自學參考書。
    

目錄

**章 命題邏輯
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 前束範式
2.6 謂詞邏輯的推理理論
第3章 集合
3.1 集合的概念和表示法
3.2 集合的運算
3.3 素的計數
第4關繫
4.1 序偶與笛卡爾乘積
4.2 關繫及其表示
4.3 關繫的性質
4.4 關繫的運算
4.5 等價關繫與劃分
4.6 相容關繫與覆蓋
4.7 偏序關繫
第5章 函數
5.1 函數的概念
5.2 特殊函數
5.3 函數的復合與逆函數
5.4 集合的基數、可數集和不可數集
第6章 代數結構
6.1 代數繫統的概念
6.2 運算及其性質
6.3 半群和含幺半群
6.4 群與子群
6.5 交換群與循環群
6.6 陪集與拉格朗日定理
6.7 同態與同構
6.8 環與域
第7章 格和布爾代數
7.1 格的概念
7.2 分配格
7.3 有補格
7.4 布爾代數
7.5 布爾表達式
第8章 圖
8.1 圖的基本概念
8.2 路與圖的連通性
8.3 圖的矩陣表示
8.4 賦權圖及*短路徑
8.5 特殊的圖
第9章 樹
9.1 無向樹及生成樹
9.2 根樹及其應用
參考文獻