《離散數學（第2版）》是由羅熊、謝永紅、劉宏嵐、洪源、田澍、楊炳儒主編，高等教育出版社出版的圖書。
基本介紹
- 作者：羅熊 謝永紅 劉宏嵐 洪源 田澍 楊炳儒
- 出版社：高等教育出版社
- ISBN：9787040555448
內容簡介,圖書目錄,
內容簡介
《離散數學（第2版）》共分4篇：第1篇為數理邏輯，包括命題邏輯、謂詞邏輯；第2篇為集合論，包括集合、二元關係、函式、集合的基數；第3篇為代數結構，包括代數系統、群論初步、格與布爾代數；第4篇為圖論，包括圖的基本概念、圖的連通性、圖的矩陣表示、特殊圖。該書每章均有本章小結、相關知識點思維形式註記圖和擴展閱讀，每篇均有本篇重難點解析與實驗及知識邏輯結構圖，力圖在內容、體例等方面形成新的模式。
《離散數學（第2版）》可作為高等學校計算機及相關專業離散數學課程教材，也可供相關教學、科研人員與工程技術人員參考。
圖書目錄
緒論
第1篇 數理邏輯
第1章 命題邏輯
1．1 命題的基本概念
1．1．1 命題
1．1．2 命題的分類
1．1．3 命題標識符
1．2 聯結詞
1．2．1 否定聯結詞
1．2．2 合取聯結詞
1．2．3 析取聯結詞
1．2．4 蘊涵聯結詞
1．2．5 等價聯結詞
1．3 命題公式
1．3．1 命題公式的定義
1．3．2 命題公式的層次
1．3．3 命題公式的賦值與真值表
1．3．4 命題的符號化
1．4 命題公式之間的關係
1．4．1 命題公式之間的邏輯等價
1．4．2 等價置換
1．4．3 命題公式之間的邏輯蘊涵
1．5 對偶與範式
1．5．1 對偶
1．5．2 範式
1．5．3 主範式
1．6 命題邏輯推理理論
1．6．1 有效推理的概念
1．6．2 命題演算推證
1．7 常見題型解析
本章小結
擴展閱讀
習題
第2章 謂詞邏輯
2．1 謂詞的基本概念
2．1．1 謂詞和個體
2．1．2 量詞
2．2 謂詞公式與解釋
2．2．1 謂詞公式的定義
2．2．2 自由與約束
2．2．3 謂詞公式的解釋
2．2．4 謂詞公式的類型
2．3 謂詞公式之間的關係
2．3．1 謂詞公式之間的邏輯等價
2．3．2 謂詞公式之間的邏輯蘊涵
2．4 前束範式
2．4．1 前束範式的定義
2．4．2 前束合取範式和前束析取範式
2．5 謂詞邏輯推理理論
2．5．1 謂詞演算推證
2．5．2 謂詞演算推證舉例
2．6 常見題型解析
本章小結
擴展閱讀
習題
本篇重難點解析與實驗
本篇知識邏輯結構圖
第2篇 集合論
第3章 集合
3．1 集合的概念與關係
3．1．1 集合的基本概念
3．1．2 集合表示法
3．1．3 集合之間的關係
3．1．4 冪集和集族
3．1．5 文氏圖
3．2 集合的運算與性質
3．2．1 集合的運算
3．2．2 集合的運算性質
3．2．3 有序對與笛卡兒積
3．3 有限集合的計數
3．4 常見題型分析
本章小結
擴展閱讀
習題
第4章 二元關係
4．1 關係的概念
4．1．1 關係的定義
4．1．2 特殊的關係
4．1．3 關係的表示
4．2 關係的性質
4．3 關係的運算
4．3．1 定義域與值域
4．3．2 限制與像
4．3．3 逆運算
4．3．4 複合運算
4．3．5 關係的性質與運算的聯繫
4．3．6 關係的閉包運算
4．4 等價關係與劃分
4．5 相容關係與覆蓋
4．6 偏序關係
4．7 常見題型分析
本章小結
擴展閱讀
習題
第5章 函式
5．1 函式的定義
5．2 函式的性質與分類
5．3 常用函式
5．4 函式的運算
5．4．1 複合運算
5．4．2 逆運算
5．5 常見題型解析
本章小結
擴展閱讀
習題
第6章 集合的基數
6．1 基本概念
6．2 基數的比較
6．3 常見題型解析
本章小結
擴展閱讀
習題
本篇重難點解析與實驗
本篇知識邏輯結構圖
……
第3篇 代數結構
第4篇 圖論
