離散數(shù)學(xué)及其在計算機中的應(yīng)用（第四次修訂 本科）

第一章　集合論
　1.1　集合和元素的概念
　1.2　集合的子集
　1.3　全集和空集
　1.4　集合的運算、文氏圖
　1.5　有限集合中的元素數(shù)目
　習(xí)題一
第二章　關(guān)系的基本概念
　2.1　關(guān)系的基本概念
　2.2　關(guān)系的性質(zhì)
　2.3　關(guān)系的運算
　2.4　關(guān)系的閉包運算
　2.5　具有特定性質(zhì)的關(guān)系
　習(xí)題二
第三章　映射與無限集
　3.1　映射
　3.2　無限集
　習(xí)題三
第四章　近世代數(shù)
　4.1　代數(shù)運算
　4.2　代數(shù)系統(tǒng)
　4.3　同態(tài)和同構(gòu)
　4.4　半群和單元半域
　4.5　群論
　4.6　環(huán)、理想、整環(huán)和域
　習(xí)題四
第五章　圖論
　5.1　圖的基本概念
　5.2　連通性
　5.3　圖的矩陣表示
　5.4　權(quán)圖、最小權(quán)通路和最小權(quán)回路
　5.5　二分圖
　5.6　平面圖
　5.7　四色圖
　5.8　樹
　5.9　有向圖
　習(xí)題五
第六章　命題邏輯
　6.1　命題與命題聯(lián)結(jié)詞
　6.2　命題公式
　6.3　重言式
　6.4　范式
　習(xí)題六
第七章　謂詞邏輯
　7.1　謂詞邏輯的基本概念
　7.2　謂詞邏輯公式及其基本永真公式
　……
第八章　命題邏輯與謂詞邏輯的公理化理論
第九章　離散數(shù)學(xué)在計算機科學(xué)中的應(yīng)用
習(xí)題解答
參考文獻