離散數學教程

本書共分五編。第一編為集合論，其中包括集合的基本概念、二元關系、函數、自然數、基數、序數。第二編為圖論，其中包括圖的基本概念、圖的連通性、歐拉圖與哈密頓圖、樹、平面圖、圖的着色、圖的矩陣表示、覆蓋集、獨立集、匹配、帶權圖及其實用。第三編為代數結構，其中包括代數系統的基本概念、幾個重要的代數系統：半群、群、環、域、格與布爾代數。第四編為組合靈敏學，其中包括組合存在性、組合計數、級合設計與編碼以及組合最優化。第五編為數理邏輯，其中包括命題邏輯、一階謂詞邏輯、Her-brand定理和直覺邏輯。
本書體系嚴謹、內容豐富、配有大量的例題和習題，並與計算機科學的理論與實踐密切結合。
本書不僅適用於計算機及相關專業的本科生或研究生，也可供計算機專業的科技人員使用或參考。