離散數學

本書介紹計算機專業最需要的離散數學基礎知識，共分八章，包括集合、二元關係、函數、代數結構簡介、命題邏輯、謂詞演算、格和布爾代數、圖論等基本內容。敍述深入淺出，書中列舉了較多的例題，每節後面都附有一定數量習題，每章後都有小結便於總結提高。本書是中等專業學校統編教材，也可供有關人員自學參考。 ^[1] 

第一章 集合

1-1 集合與元素

1-2 集合的包含與相等

1-3 冪集

1-4 集合運算

1-5 笛卡爾積

小結

第二章 二元關係

2-1 二元關係及其表示

2-2 關係的性質

2-3 關係的運算

2-4 等價關係和相容關係

2-5 偏序關係

小結

第三章 函數

3-1 函數

3-2 複合函數

3-3 置換

3-4 數學歸納法

3-5 特徵函數與模糊集合

小結

第四章 代數結構簡介

4-1 代數結構

4-2 半羣和羣

4-3 子羣與環

4-4 同態和同構

小結

第五章 格和布爾代數

5-1 格和布爾代數

5-2 格的定義

5-3 格的性質與特殊格

5-4 布爾代數簡介

小結

第六章 命題邏輯

6-1 命題

6-2 命題公式及翻譯

6-3 命題定律

6-4 基本聯結詞和藴含關係

6-5 範式

6-6 命題演算的推理論

小結

第七章 謂詞演算

7-1 謂詞和量詞

7-2 謂詞公式

7-3 謂詞演算的等價與藴含式

7-4 謂詞演算的推理理論

小結

第八章 圖論初步

8-1 圖的基本概念

8-2 路與迴路

8-3 鄰接矩陣和關聯矩陣

8-4 歐拉圖

8-5 哈密爾頓圖

8-6 平面圖及偶圖

8-7 對偶圖與圖的着色

8-8 樹

小結

參考文獻 ^[2]