離散數學是計算機學科重要的基礎課程，本書是作者多年教學經驗的總結，全書內容包括：集合、二元關系、函數、代數結構（群、環、域、格和布爾代數）、圖論、命題邏輯和謂詞邏輯。本書結構清晰，概念準確，敘述嚴謹，有層次地精選了豐富的例題，各章節還配有適量的習題，幫助讀者鞏固和掌握所學知識。本書還為任課老師提供電子課件和習題選解。
本書可作為高等學校計算機、信息管理與信息系統、信息與計算科學等專業教材，也適合工程技術人員和自學者參加。
第1章 集合
1.1 集合的基本概念
1.1.1 集合的表示方法
1.1.2 子集
1.1.3 全集和補集
1.1.4 冪集
習題
1.2 集合的基本運算
1.2.1 并和交
1.2.2 差和對稱差
習題
1.3 包含排斥原理
習題
第2章 二元關系
2.1 二元關系及其表示形式
2.1.1 引言
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 等價類和商集
2.3.4 集合的劃分
2.3.5 相容關系
2.3.6 覆蓋和完全覆蓋
2.3.7 相容類和最大相容類
2.3.8 偏序關系
習題
2.4 復合關系、逆關系和關系的閉包運算
2.4.1 復合關系
2.4.2 逆關系
2.4.3 關系的閉包運算
習題
第3章 函數
3.1 函數的定義與特殊函數
3.1.1 函數的定義
3.1.2 特殊函數
習題
3.2 復合函數與逆函數
習題
第4章 代數結構
4.1 代數系統
4.1.1 代數系統的基本概念
4.1.2 特殊運算與特殊元素
4.1.3 同構
4.1.4 同態
習題
4.2 半群與獨異點
4.2.1 半群與子半群
4.2.2 獨異點與子獨異點
習題
4.3 群
4.3.1 群的定義
4.3.2 群的性質
習題
4.4 子群
4.4.1 子群的定義
4.4.2 群中元素的階數
習題
4.5 循環群
4.5.1 循環群的定義
4.5.2 循環群的性質
習題
4.6 置換群
習題
4.7 陪集和拉格朗日定理
4.7.1 陪集
4.7.2 拉格朗日定理
習題
4.8 群同態
4.8.1 同余關系與商代數
4.8.2 同余與同態
4.8.3 群的同態與同余
習題
4.9 群碼
4.10 環和域
4.10.1 環
……
第5章 圖論
第6章 命題邏輯
第7章 謂詞邏輯
參考文獻
新書資訊