蔡英、劉均梅編著的《離散數學(第2版高等學校計算機專業十二五規劃教材)》繫統地介紹了離散數學的基本內容。《離散數學(第2版高等學校計算機專業十二五規劃教材)》可作為計算機等相關專業的離散數學教材，可供一般本科院校教學使用，也可作為其他類院校離散數學課程的教材和教學參考書。

蔡英、劉均梅編著的《離散數學(第2版高等學校 計算機專業十二五規劃教材)》繫統地介紹了離散數 學的基本內容。全書共分10章，主要由4部分組成： 數理邏 輯，包括命題邏輯和一階邏輯；集合論，包括集合的 基本概念和運算及二元關繫和函數；代 數結構，包括代數繫統的基本概念、幾個典型的代數 繫統及格和布爾代數；圖論基礎，包括 圖的基本概念、樹和幾類典型圖。各章備有例題選解 和較多的習題，便於讀者自學。 《離散數學(第2版高等學校計算機專業十二五規 劃教材)》可作為計算機等相關專業的離散數學教材 ，可供一般本科院校教學使用，也可作 為其他類院校離散數學課程的教材和教學參考書。

第一篇 數理邏輯
第一章 命題邏輯
1.1 命題符號化及聯結詞
1.2 命題公式及分類
1.3 等值演算
1.4 聯結詞全功能集
1.5 對偶與範式
1.6 推理理論
*1.7 命題演算的自然推理形式繫統N
1.8 例題選解
習題一
第二章 一階邏輯
2.1 一階邏輯的基本概念
2.2 一階邏輯公式及解釋
2.3 等值演算和前束範式
2.4 一階邏輯推理理論
2.5 例題選解
習題二
第二篇 集合論
第三章 集合的基本概念和運算
3.1 集合的基本概念與表示
3.2 集合的基本運算
3.3 集合元素的計數
3.4 例題選解
習題三
第四章 二元關繫和函數
4.1 序偶與笛卡兒積
4.2 關繫及表示
4.3 關繫的運算
4.4 關繫的性質
4.5 關繫的閉包
4.6 等價關繫和劃分
4.7 序關繫
4.8 函數的定義和性質
4.9 函數的復合和反函數
4.10 集合的基數
4.11 例題選解
習題四
第三篇 代數結構
第五章 代數繫統的基本概念
5.1 二元運算及其性質
5.2 代數繫統
5.3 代數繫統的同態與同構
5.4 例題選解
習題五
第六章 幾個典型的代數繫統
6.1 半群與群
6.2 子群
6.3 循環群和置換群
6.4 陪集與拉格朗日定理
6.5 正規子群、商群和同態基本定理
6.6 環和域
6.7 例題選解
習題六
第七章 格和布爾代數
7.1 格與子格
7.2 特殊格
7.3 布爾代數
7.4 例題選解
習題七
第四篇 圖論基礎
第八章 圖的基本概念
8.1 圖的定義及相關術語
8.2 通路 回路 圖的連通性
8.3 圖的矩陣表示
8.4 例題選解
習題八
第九章 樹
9.1 無向樹
9.2 根樹及其應用
9.3 例題選解
習題九
第十章 幾種典型圖
10.1 歐拉圖
10.2 哈密頓圖
10.3 平面圖
10.4 二分圖
10.5 例題選解
習題十
參考文獻