離散數學(第2版)(計算機系列教材)（簡體書）

本書根據IEEE-CS/ACM Computing Curricula 2005系統地闡述了離散數學的經典內容，滲透初等數論知識。全書共分8章，分別介紹集合、映射與運算，關係，命題邏輯，謂詞邏輯，代數結構，圖論，幾類特殊的圖以及組合計數。本書以集合、映射、運算和關係為主線，使全書內容聯系緊密，具有較強的邏輯性。每節都有精選習題，書后有習題答案及提示。所用符號盡可能與其他專業課程一致，專業術語均有對應的英文。
本書敘述詳盡、通俗易懂、結構嚴謹、邏輯清晰、便于自學，適合于計算機及相關專業作為一個學期教材(48-72-90學時)，也可供考研學生及相關專業技術人員參考。
本書配套的《離散數學習題解答(第2版)》(ISBN 978-7-302-21229-4)同時由清華大學出版社出版，在出版社網站有本書配套的電子教案PPT可供下載。目前，已編寫完成10套考試題。

第1章 集合、映射與運算
　1.1 集合的有關概念
1.1.1 集合
1.1.2 子集
1.1.3 冪集
1.1.4 n元組
1.1.5 笛卡兒積
習題1.1
　1.2 映射的有關概念
1.2.1 映射的定義
1.2.2 映射的性質
1.2.3 逆映射
1.2.4 復合映射
習題1.2
　1.3 運算的定義及性質
1.3.1 運算的定義
1.3.2 運算的性質
習題1.3
　1.4 集合的運算
1.4.1 并運算
1.4.2 交運算
1.4.3 補運算
1.4.4 差運算
1.4.5 對稱差運算
習題1.4
　1.5 集合的劃分與覆蓋
1.5.1 集合的劃分
1.5.2 集合的覆蓋
習題1.5
　1.6 集合的對等
1.6.1 集合對等的定義
1.6.2 無限集合
1.6.3 集合的基數
1.6.4 可數集合
1.6.5 不可數集合
1.6.6 基數的比較
習題1.6
第2章 關係
　2.1 關係的概念
2.1.1 n元關係的定義
2.1.2 2元關係
2.1.3 關係的定義域和值域
2.1.4 關係的表示
2.1.5 函數的關係定義
習題2.1
　2.2 關係的運算
2.2.1 關係的集合運算
2.2.2 關係的逆運算
2.2.3 關係的復合運算
2.2.4 關係的其他運算
習題2.2
　2.3 關係的性質
2.3.1 自反性
2.3.2 反自反性
2.3.3 對稱性
2.3.4 反對稱性
2.3.5 傳遞性
習題2.3
　2.4 關係的閉包59
2.4.1 自反閉包r(R)
2.4.2 對稱閉包s(R)
2.4.3 傳遞閉包t(R)
習題2.4
　2.5 等價關係
2.5.1 等價關係的定義
2.5.2 等價類
習題2.5
　2.6 相容關係
2.6.1 相容關係的定義
2.6.2 相容類
習題2.6
　2.7 偏序關係
2.7.1 偏序關係的定義
2.7.2 偏序集的哈斯圖
2.7.3 偏序集中的特殊元素
習題2.7
第3章 命題邏輯
第4章 謂詞邏輯
第5章 代數結構
第6章 圖論
第7章 幾類特殊的圖
第8章 組合計數
附錄A 符號索引
附錄B 中英文名詞索引
附錄C 習題答案及提示
參考文獻