離散數學導論（第2版）

第一篇 集合論
第1章 集合論基礎
1．1 集合的基本概念
1．1．1 集合及其元素
1．1．2 集合的性質
1．1．3 集合的表示方法
1．2 集合間的關系
1．2．1 相等關系和包含關系
1．2．2 重要性質
1．3 集合運算
1．3．1 集合的基本運算
1．3．2 集合的運算定律
1．4 有限集合的計數
1．5 集合恒等式的證明
1．5．1 基本定義法
1．5．2 公式法
1．5．3 集合成員表法
習題1
第2章 關系
2．1 序偶與笛卡兒乘積
2．1．1 序偶與有序n元組
2．1．2 笛卡兒乘積
2．1．3 重要性質
2．2 關系的基本概念
2．2．1 關系的概念
2．2．2 關系的表示方法
2．3 關系的運算
2．3．1 關系的并、交、差、補運算
2．3．2 關系的復合
2．3．3 關系R的逆運算
2．4 關系的重要性質
2．5 關系的閉包
2．6 等價關系
2．6．1 等價關系
2．6．2 集合的劃分
2．6．3 等價關系與劃分
2．7 偏序關系
2．7．1 偏序關系
2．7．2 哈斯圖
2．7．3 特殊元素
習題2
第3章 函數
3．1 函數及其分類
3．1．1 函數的定義
3．1．2 函數的分類
3．1．3 特殊函數
3．2 復合函數與逆函數
3．2．1 復合函數
3．2．2 逆函數
習題3
第二篇 代數系統(tǒng)
第4章 代數系統(tǒng)
4．1 代數系統(tǒng)的基本概念
4．1．1 代數運算
4．1．2 封閉性
4．1．3 代數系統(tǒng)
4．1．4 同類型代數系統(tǒng)
4．1．5 子代數
……
第三篇 數理邏輯
第四篇 圖論
參考文獻