離散數(shù)學(xué)

內(nèi)容概要

　　《軟件工程系列規(guī)劃教材：離散數(shù)學(xué)》包括數(shù)理邏輯（命題邏輯、謂詞邏輯、數(shù)學(xué)歸納法）；集合論（關(guān)系、函數(shù)、算法）；代數(shù)系統(tǒng)（群論、格與布爾代數(shù)）；圖論。

書籍目錄

前言第一篇 數(shù)理邏輯第1章 命題邏輯1.1 命題及命題聯(lián)結(jié)詞1.2 命題公式及其類型1.3 等價式與蘊涵式1.4 對偶與范式1.5 推理與證明1.6 命題邏輯的應(yīng)用小結(jié)習(xí)題第2章 謂詞邏輯2.1 謂詞邏輯基本概念2.2 謂詞公式及命題符號化2.3 變元的約束2.4 謂詞演算的等價式和蘊涵式2.5 謂詞公式的范式2.6 謂詞演算的推理理論小結(jié)習(xí)題二第二篇 集合論第3章 集合論基礎(chǔ)3.1 集合的基本概念3.2 集合的運算3.3 集合的劃分與覆蓋3.4 包含排斥原理3.5 數(shù)學(xué)歸納法3.6 集合的計算機(jī)表示小結(jié)習(xí)題三第4章二元關(guān)系4.1 關(guān)系的概念4.2 關(guān)系的性質(zhì)4.3 關(guān)系的運算4.4 關(guān)系的閉包運算4.5 等價關(guān)系和等價類4.6 相容關(guān)系和相容類4.7 序關(guān)系和哈斯圖4.8 關(guān)系的應(yīng)用小結(jié)習(xí)題四第5章函數(shù)5.1 函數(shù)的概念5.2 函數(shù)的運算5.3 集合的基數(shù)5.4 基數(shù)的比較5.5 特征函數(shù)的應(yīng)用小結(jié)習(xí)題五第三篇 圖論第6章 圖論6.1 圖的基本概念6.2 路和圖的連通性6.3 圖的矩陣表示6.4 歐拉圖和哈密爾頓圖6.5 平面圖及對偶圖6.6 圖的著色6.7 樹與生成樹6.8 根樹及其應(yīng)用6.9 最短路徑問題6.10圖論的應(yīng)用小結(jié)習(xí)題六第四篇 代數(shù)系統(tǒng)第7章 代數(shù)結(jié)構(gòu)7.1 代數(shù)系統(tǒng)的基本概念7.2 半群與獨異點7.3 群與子群7.4 阿貝爾群與循環(huán)群7.5 陪集與拉格朗日定理7.6 同態(tài)與同構(gòu)7.7 環(huán)與域小結(jié)習(xí)題七第8章 格與布爾代數(shù)8.1 格8.2 特殊格8.3 布爾代數(shù)8.4 布爾表達(dá)式小結(jié)習(xí)題八參考文獻(xiàn)

章節(jié)摘錄

版權(quán)頁：插圖：

編輯推薦

《軟件工程系列規(guī)劃教材:離散數(shù)學(xué)》特色：以事例導(dǎo)出并形象完整敘述離散數(shù)學(xué)核心內(nèi)容，以工具為先導(dǎo)，基礎(chǔ)作鋪墊，概念為骨架，例子來充實，內(nèi)容包括數(shù)理邏輯、集合論、圖論、代數(shù)系統(tǒng)，《軟件工程系列規(guī)劃教材:離散數(shù)學(xué)》可提供習(xí)題解答和多媒體課件給任課教師。

圖書封面

評論、評分、閱讀與下載

---

    離散數(shù)學(xué) PDF格式下載

---