離散數(shù)學(xué)是高等院校理工科計算機(jī)專業(yè)必修的專業(yè)基礎(chǔ)課程,主要內(nèi)容包括集合論、代數(shù)結(jié)構(gòu)、圖論、數(shù)理邏輯和組合計數(shù)初步。本書在敘述上深入淺出,簡明扼要,并以眾多的實例解釋概念,使抽象理論轉(zhuǎn)化為直觀的認(rèn)識,易教易學(xué),是一本適用性較強(qiáng)的教材。
《離散數(shù)學(xué)(第4版)》適合于高等院校計算機(jī)專業(yè)本科生使用,也適合于函授大學(xué)、職工大學(xué)、成人教育的計算機(jī)專業(yè)本科生使用。
第4版前言
第3版前言
第1章 集合
1·1 集合的基本概念
1·1·1 集合的表示方法
1·1·2 子集
1·1·3 冪集
1·2集合的運算
第1章 綜合練習(xí)
第2章 二元關(guān)系
2·1 二元關(guān)系及其表示方法
2·1·1 集合的笛卡兒乘積
2·1·2 二元關(guān)系的定義
2·1·3 關(guān)系的三種表示方法
2·2 關(guān)系的基本類型
2·3 等價關(guān)系和劃分
2·3·1 等價關(guān)系
2·3·2 等價類
2·3·3 集合的劃分
2·4 相容關(guān)系和覆蓋
2·4·1 相容關(guān)系
2·4·2 覆蓋
2·5 偏序關(guān)系
2·6 復(fù)合關(guān)系和逆關(guān)系
2·7 關(guān)系的閉包運算
第2章 綜合練習(xí)
第3章 函數(shù)
3·1 函數(shù)的定義
3·2 特殊函數(shù)
3·3 復(fù)合函數(shù)和逆函數(shù)
第3章 綜合練習(xí)
第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 有補(bǔ)格
第4章 綜合練習(xí)
第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章 綜合練習(xí)
第6章 命題邏輯
6·1 命題和聯(lián)結(jié)詞
6·2 真值表和邏輯等價
6·3 永真蘊(yùn)含式
6·4 推理理論
6·5 范式
6·5·1 析取范式和主析取范式
6·5·2 合取范式和主合取范式
第6章 綜合練習(xí)
第7章 謂詞邏輯
7·1 謂詞
7·2 命題函數(shù)和量詞
7·2·1 命題函數(shù)
7·2·2 量詞
7·2·3 謂詞合式
7·3 約束元和自由元
7·4 等價式和蘊(yùn)含式
7·5 謂詞演算的推理理論
第7章 綜合練習(xí)
第8章 組合計數(shù)初步
8·1 排列與組合
8·2 包含排斥原理
8·3 遞推關(guān)系與生成函數(shù)
8·3·1 遞推關(guān)系
8·3·2 齊次常系數(shù)線性遞推關(guān)系
8·3·3 非齊次常系數(shù)線性遞推關(guān)系
8·3·4 生成函數(shù)
第8章 綜合練習(xí)