離散數學（簡體書）

《離散數學》是創新方法工作專項項目“科學思維、科學方法在高等學校教學創新中的應用與實踐：KM教學法的研究與實踐”的主要研究成果之一。本書共分4篇：第1篇為數理邏輯，包括命題邏輯和謂詞邏輯；第2篇為集合論，包括集合、二元關係、函數、集合的基數；第3篇為代數結構，包括代數系統、群論初步、格與布爾代數；第4篇為圖論，包括圖的基本概念、圖的連通性、圖的矩陣表示和特殊圖等。本書每章均有本章小結、相關知識點的思維形式注記圖和擴展閱讀，每篇均有本篇知識邏輯結構圖，力圖在內容、體例等方面形成新的模式。
本書可作為高等學校計算機及相關專業離散數學課程教材，也可供相關的教學科研人員與工程技術人員參考。．

緒論
第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篇代數結構
第7章代數系統
7.1二元運算及其性質
7.1.1二元運算的定義
7.1.2二元運算的性質
……

第4篇圖論
名詞與術語索引表
參考文獻．