離散數(shù)學是高等院校理工科計算機專業(yè)必修的專業(yè)基礎課程，主要內(nèi)容包括集合論、代數(shù)結(jié)構(gòu)、圖論、數(shù)理邏輯和組合計數(shù)初步。本書在敘述上深入淺出，簡明扼要，并以眾多的實例解釋概念，使抽象理論轉(zhuǎn)化為直觀的認識，易教易學，是一本適用性較強的教材。
《離散數(shù)學（第4版）》適合于高等院校計算機專業(yè)本科生使用，也適合于函授大學、職工大學、成人教育的計算機專業(yè)本科生使用。
第4版前言
第3版前言
第1章 集合
1·1 集合的基本概念
1·1·1 集合的表示方法
1·1·2 子集
1·1·3 冪集
1·2集合的運算
第1章 綜合練習
第2章 二元關系
2·1 二元關系及其表示方法
2·1·1 集合的笛卡兒乘積
2·1·2 二元關系的定義
2·1·3 關系的三種表示方法
2·2 關系的基本類型
2·3 等價關系和劃分
2·3·1 等價關系
2·3·2 等價類
2·3·3 集合的劃分
2·4 相容關系和覆蓋
2·4·1 相容關系
2·4·2 覆蓋
2·5 偏序關系
2·6 復合關系和逆關系
2·7 關系的閉包運算
第2章 綜合練習
第3章 函數(shù)
3·1 函數(shù)的定義
3·2 特殊函數(shù)
3·3 復合函數(shù)和逆函數(shù)
第3章 綜合練習
第4章 代數(shù)結(jié)構(gòu)
4·1 代數(shù)系統(tǒng)
4·2 特殊運算和特殊元素
4·3 同構(gòu)
4·4 半群
4·5 群的定義和性質(zhì)
4·6 子群
4·7 循環(huán)群
4·8 置換群
4·9 陪集和拉格朗日定理
4·10 群碼
4·11 環(huán)和域
4·12 格
4·12·1 格和子格
4·12·2 格和偏序集
4·12·3 分配格
4·12·4 有界格
4·12·5 有補格
第4章 綜合練習
第5章 圖論
5·1 圖的基本概念
5·2 通路和賦權(quán)圖的最短通路
5·2·1 通路和回路
5·2·2 賦權(quán)圖的最短通路
5·3 圖和矩陣
5·4 歐拉圖
5·5 哈密頓圖
5·6 中國郵路問題和旅行售貨員問題
5·7 二部圖
5·8 平面圖
5·9 無向樹
5·10 有向樹
第5章 綜合練習
第6章 命題邏輯
6·1 命題和聯(lián)結(jié)詞
6·2 真值表和邏輯等價
6·3 永真蘊含式
6·4 推理理論
6·5 范式
6·5·1 析取范式和主析取范式
6·5·2 合取范式和主合取范式
第6章 綜合練習
第7章 謂詞邏輯
7·1 謂詞
7·2 命題函數(shù)和量詞
7·2·1 命題函數(shù)
7·2·2 量詞
7·2·3 謂詞合式
7·3 約束元和自由元
7·4 等價式和蘊含式
7·5 謂詞演算的推理理論
第7章 綜合練習
第8章 組合計數(shù)初步
8·1 排列與組合
8·2 包含排斥原理
8·3 遞推關系與生成函數(shù)
8·3·1 遞推關系
8·3·2 齊次常系數(shù)線性遞推關系
8·3·3 非齊次常系數(shù)線性遞推關系
8·3·4 生成函數(shù)
第8章 綜合練習
新書資訊