本書作者講授“離散數學”課程三十多年，具有豐富的教學經驗和積累，是安徽省模範教師，曾獲得安徽省教學成果一等獎。本書的特色是內容實用，敘述簡捷，實例突出，切合應用型高等院校理工類的學生的實際需求。

本書是應用型高等院校計算機科學與技術、人工智能、數據挖掘、區塊鏈等專業本科“離散數學”課程的教材，內容包括四部分： 第一部分數理邏輯（包括第1章命題邏輯和第2章謂詞邏輯）、第二部分集合論初步（包括第3章集合代數、第關繫和第5章函數）、第三部分代數結構（包括第6章代數結構和第7章格與布爾代數）、第四部分圖論（包括第8章圖論）.本書是作者結合自己三十多年的教學經驗與積累，並參考國內外同類優秀教材編寫而成的，它注重基本知識和方法的應用，剔除了一些非必要的理論推導.本書的特色是： 內容實用，敘述通俗易懂，例題典型豐富，非常適合應用型高等院校理工類的學生使用.

王傳玉：安徽工程大學數理學院教授、數理學院院長、安徽省模範教師。在數學建模、代數編碼理論、保險精算與金融風險控制理論及其應用等領域取得一些成果，主持或參與多項國家、省級教科研項目。先後發表各類論文72篇，出版規劃教材《線性代數》和《離散數學基礎》兩部。曾獲得安徽省教學成果一等獎(2001)、二等獎(2017)、三等獎(2010)。

第1章 命題邏輯
§1.1 命題與聯結詞
習題1.1
§1.2 命題公式
習題1.2
§1.3 真值表和等價公式
習題1.3
§1.4 永真蘊含式
習題1.4
§1.5 其他聯結詞
習題1.5
§1.6 對偶與範式
習題1.6
§1.7 推理理論
習題1.7
第2章 謂詞邏輯
§2.1 謂詞的概念與表示
習題2.1
§2.2 命題函數與量詞
習題2.2
§2.3 謂詞公式與的約束
習題2.3
§2.4 謂詞演算的等價公式與永真蘊含式
習題2.4
§2.5 謂詞演算的推理理論
習題2.5
第3章 集合代數
§3.1 集合的基本概念
習題3.1
§3.2 集合的計數
習題3.2
第4關繫
§4.1 序偶與笛卡兒積
習題4.1
§4.關繫
習題4.2
§4.關繫的運算
習題4.3
§4.關繫的性質
習題4.4
§4關繫的閉包運算
習題4.5
§4.6 等價關繫與劃分
習題4.6
§4.7 偏序關繫
習題4.7
第5章 函數
§5.1 函數的概念
習題5.1
§5.2 函數的復合與反函數
習題5.2
第6章 代數結構
§6.運算及其性質
§6.2 代數繫統
習題6.2
§6.3 半群
習題6.3
§6.4 群
習題6.4
§6.5 子群
習題6.5
§6.6 陪集與拉格朗日定理
習題6.6
§6.7 群同態與同構
習題6.7
§6.8 環與域
習題6.8
第7章 格與布爾代數
§7.1 格的概念
習題7.1
§7.2 分配格與有補格
習題7.2
§7.3 布爾代數
習題7.3
第8章 圖論
§8.1 圖的基本概念
習題8.1
§8.2 路徑與回路
習題 圖的矩陣表示
習題8.3
§8.4 歐拉圖與哈密頓圖
習題8.4
§8.5 二部圖
習題8.5
§8.6 平面圖
習題8.6
§8.7 樹
習題8.7
符號表
參考文獻