離散數(shù)學(xué)及其應(yīng)用

內(nèi)容概要

　　離散數(shù)學(xué)是研究離散數(shù)量關(guān)系和離散結(jié)構(gòu)數(shù)學(xué)模型的數(shù)學(xué)分支的統(tǒng)稱，是現(xiàn)代數(shù)學(xué)的一個(gè)重要分支，是計(jì)算機(jī)科學(xué)中基礎(chǔ)理論的核心課程?！缎率兰o(jì)應(yīng)用型高等教育·計(jì)算機(jī)類課程規(guī)劃教材：離散數(shù)學(xué)及其應(yīng)用》分4篇，共7章，第1篇是數(shù)理邏輯，內(nèi)容包括命題邏輯和謂詞邏輯；第2篇是集合論，內(nèi)容包括集合、關(guān)系、映射、無(wú)限集合及其勢(shì)；第3篇是代數(shù)系統(tǒng)，內(nèi)容包括代數(shù)系統(tǒng)，半群、獨(dú)異點(diǎn)及群，環(huán)、域，以及格與布爾代數(shù)；第4篇是圖論。各章配有內(nèi)容豐富的習(xí)題。

書籍目錄

第1篇　數(shù)理邏輯第l章　命題邏輯　1.1　命題及其表示　　1.1.1　命題的基本概念　　1.1.2　命題分類　　1.1.3　命題標(biāo)識(shí)符　1.2　邏輯聯(lián)結(jié)詞　　1.2.1　否定聯(lián)結(jié)詞　　1.2.2　合取聯(lián)結(jié)詞　　1.2.3　析取聯(lián)結(jié)詞　　1.2.4　條件聯(lián)結(jié)詞　　1.2.5　雙條件聯(lián)結(jié)詞　1.3　命題公式與翻譯　　1.3.1　命題公式　　1.3.2　命題的符號(hào)化　1.4　真值表與命題公式分類　　1.4.1　真值表　　1.4.2　命題公式分類　1.5　等價(jià)式與蘊(yùn)含式　　1.5.1　等價(jià)式　　1.5.2　蘊(yùn)含式　1.6　邏輯聯(lián)結(jié)詞與聯(lián)結(jié)詞組　　1.6.1　其他邏輯聯(lián)結(jié)詞　　1.6.2　最小功能完備聯(lián)結(jié)詞組　1.7　對(duì)偶式與范式　　1.7　1對(duì)偶式與對(duì)偶原理　　1.7.2　命題公式的范式　　1.7.3　命題公式的主析取范式和主合取范式　1.8　命題邏輯的推理理論　　1.8.1　推理規(guī)則　　1.8.2　推理定律　　1.8.3　推理方法　本章小結(jié)　習(xí)題第2章　謂詞邏輯　2.1　個(gè)體、謂詞和量詞　　2.1.1　個(gè)體和謂詞　　2.1.2　量詞　2.2　謂詞公式與翻譯　　2.2.1　謂詞公式　　2.2.2　謂詞邏輯的翻譯　2.3　約束變?cè)c自由變?cè)?.4　謂詞公式的解釋與分類　　2.4.1　謂詞公式的解釋　　2.4.2　謂詞公式的分類　2.5　謂詞邏輯的等價(jià)式與蘊(yùn)含式　　2.5.1　l謂詞邏輯的等價(jià)式　　2.5.2　謂詞邏輯的蘊(yùn)含式　2.6　謂詞公式范式　　2.6.1　前束范式　　2.6.2　斯柯林范式　2.7　謂詞邏輯的推理理論　　2.7.1　推理定律　　2.7.2　推理規(guī)則　　2.7.3　推理方法　本章小結(jié)　習(xí)題　第2篇　集合論第3章　集合與關(guān)系　3.1　集合的概念和表示法　　3.1.1　集合與元素　　3.1.2　集合間的關(guān)系　　3.1.3　冪集　　3.1.4　集合的數(shù)碼表示　3.2　集合的運(yùn)算　　3.2.1　集合的幾種基本運(yùn)算　　3.2.2　集合運(yùn)算的文氏圖表示　　3.2.3　集合的運(yùn)算定律　3.3　有限集合中元素的計(jì)數(shù)　　3.3.1　文氏圖法　　3.3.2　容斥原理法　3.4　序偶與笛卡爾積　　3.4.1　序　偶　　3.4.2　笛卡爾積　3.5　關(guān)系及其表示　　3.5.1　關(guān)系的定義　　3.5.2　關(guān)系的表示　3.6　復(fù)合關(guān)系和逆關(guān)系　　3.6.1　復(fù)合關(guān)系　　3.6.2　逆關(guān)系　3.7　關(guān)系的性質(zhì)與表示方法　　3.7.1　關(guān)系的性質(zhì)　　3.7　2　關(guān)系圖、關(guān)系矩陣與關(guān)系的性質(zhì)　3.8　關(guān)系的閉包運(yùn)算　3.9　集合的劃分與等價(jià)關(guān)系　　3.9.1　集合的劃分和覆蓋　　3.9.2　等價(jià)關(guān)系與等價(jià)類　　3.9.3　相容關(guān)系　3.10　偏序關(guān)系　　3.10.1　偏序關(guān)系的定義　　3.10.2　偏序關(guān)系的哈斯圖　　3.10.3　偏序集中特殊的元素　　3.10.4　兩種特殊的偏序集　本章小結(jié)　習(xí)題第4章　函數(shù)　4.1　函數(shù)的基本概念　4.2　特殊的函數(shù)及特征函數(shù)　　4.2.1　特殊性質(zhì)的函數(shù)　　4.2.2　特征函數(shù)　4.3　逆函數(shù)與復(fù)合函數(shù)　　4.3.1　逆函數(shù)　　4.3.2　復(fù)合函數(shù)　4.4　集合的勢(shì)與無(wú)限集合　　4.4.1　集合的勢(shì)　　4.4.2　可數(shù)集　本章小結(jié)　習(xí)題第3篇　代數(shù)系統(tǒng)第5章　代數(shù)系統(tǒng)　5.1　代數(shù)系統(tǒng)的概念　　5.1.1　運(yùn)算的概念　　5.1.2　代數(shù)系統(tǒng)的概念　5.2　二元運(yùn)算　　5.2.1　二元運(yùn)算的性質(zhì)　　5.2.2　集合上關(guān)于二元運(yùn)算的特異元素　　5.2.3　利用運(yùn)算表判斷代數(shù)運(yùn)算的性質(zhì)　5.3　半群與獨(dú)異點(diǎn)　　5.3.1　半群及其性質(zhì)　　5.3.2　含幺半群及其性質(zhì)　5.4　群與子群　　5.4.1　群的基本概念　　5.4.2　群的基本性質(zhì)　　5.4.3　群的元素的階　　5.4.4　子群及其判定定理　5.5　同態(tài)與同構(gòu)　5.6　特殊群　　5.6.1　阿貝爾群　　5.6.2　循環(huán)群　　5.6.3　置換群　5.7　Lagrange定理與正規(guī)子群　　5.7.1　陪集與Lagrange定理　　5.7.2　正規(guī)子群、商群　5.8　環(huán)與域　　5.8.1　環(huán)　　5.8.2　域　5.9　群在編碼理論中的應(yīng)用　本章小結(jié)　習(xí)題第6章　格與布爾代數(shù)　6.1　格的概念及性質(zhì)　　6.1.1　格的概念　　6.1.2　格的性質(zhì)　6.2　分配格與模格　　6.2.1　分配格　　6.2.2　模格　6.3　有界格與有補(bǔ)格　　6.3.1　有界格　　6.3.2　有補(bǔ)格　6.4　布爾代數(shù)　　6.4.1　布爾代數(shù)的概念　　6.4.2　布爾代數(shù)的性質(zhì)　　6.4.3　子布爾代數(shù)　　6.4.4　布爾代數(shù)的同態(tài)與同構(gòu)　　6.4.5　有限布爾代數(shù)的原子表示　6.5　布爾表達(dá)式與布爾函數(shù)　　6.5.1　布爾表達(dá)式　　6.5.2　布爾函數(shù)　6.6　布爾函數(shù)在電路設(shè)計(jì)中的應(yīng)用　本章小結(jié)　習(xí)題　第4篇　圖論第7章　圖論　7.1　圖的基本概念　　7.1.1　圖的定義　　7.1.2　子圖與補(bǔ)圖　　7.1.3　結(jié)點(diǎn)的度　　7.1.4　圖的同構(gòu)　7.2　路、回路與連通性　　7.2.1　路與回路　　7.2.2　圖的連通性　7.3　圖的矩陣表示　　7.3.1　鄰接矩陣　　7.3.2　可達(dá)矩陣　　7.3.3　關(guān)聯(lián)矩陣　7.4　歐拉圖與哈密爾頓圖　　7.4.1　歐拉圖　　7.4　2哈密爾頓圖　7.5　二部圖及匹配　　7.5.1　二部圖　　7.5.2　匹　配　7.6　平面圖　　7.6.1　平面圖定義　　7.6.2　歐拉公式　　7.6.3　平面圖的對(duì)偶與著色　7.7　樹與生成樹　　7.7.1　無(wú)向樹的定義與性質(zhì)　　7.7.2　無(wú)向圖中的生成樹與最小生成樹　7.8　根樹及其應(yīng)用　　7.8.1　有向樹　　7.8.2　m叉樹　　7.8.3　最優(yōu)二叉樹　　7.8.4　二叉樹在計(jì)算機(jī)中的應(yīng)用　7.9　最短路徑問(wèn)題　　7.9.1　問(wèn)題的提出　　7.9.2　Dijkstra算法　本章小結(jié)　習(xí)題參考文獻(xiàn)

編輯推薦

離散數(shù)學(xué)是研究離散數(shù)量關(guān)系和離散結(jié)構(gòu)數(shù)學(xué)模型的數(shù)學(xué)分支的統(tǒng)稱，是現(xiàn)代數(shù)學(xué)的一個(gè)重要分支，是計(jì)算機(jī)科學(xué)中基礎(chǔ)理論的核心課程。    由何中勝等編著的《離散數(shù)學(xué)及其應(yīng)用》分4篇，共7章，第1篇是數(shù)理邏輯，內(nèi)容包括命題邏輯和謂詞邏輯；第2篇是集合論，內(nèi)容包括集合、關(guān)系、映射、無(wú)限集合及其勢(shì)；第3篇是代數(shù)系統(tǒng)，內(nèi)容包括代數(shù)系統(tǒng)，半群、獨(dú)異點(diǎn)及群，環(huán)、域，以及格與布爾代數(shù)；第4篇是圖論。各章配有內(nèi)容豐富的習(xí)題。

圖書封面

評(píng)論、評(píng)分、閱讀與下載

---

    離散數(shù)學(xué)及其應(yīng)用 PDF格式下載

---