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

內(nèi)容概要

本書介紹了離散數(shù)學(xué)基礎(chǔ)知識和應(yīng)用方法。全書共分4篇。第1篇為數(shù)理邏輯，其中包括命題邏輯、一階謂詞邏輯。第2篇為集合論，其中包括集合的基本概念、二元關(guān)系、函數(shù)、自然數(shù)、基數(shù)、序數(shù)。第3篇為代數(shù)系統(tǒng)，其中包括代數(shù)系統(tǒng)的基本概念、幾個重要的代數(shù)系統(tǒng)：半群、群、環(huán)、域、格與布爾代數(shù)。第4篇為圖論，其中包括圖的基本概念、圖的連通性、歐拉圖與漢密爾頓圖、樹、平面圖、圖的著色、圖的矩陣表示等。為了使內(nèi)容完整，同時也為了滿足不同程度讀者的需要，在本書的最后還增加了兩個附錄，內(nèi)容分別是初等數(shù)論和計數(shù)原理。    本書配有大量的適合各種需求的例題和習(xí)題，其內(nèi)容與計算機科學(xué)的理論與實踐密切結(jié)合。本書適合作為高等學(xué)校計算機及相關(guān)專業(yè)的本科教材，也可供計算機專業(yè)的科技人員使用或參考。

書籍目錄

第1篇　數(shù)理邏輯　第1章　命題邏輯 　 1-1　命題與聯(lián)結(jié)詞  　  1-1-1　命題   　 1-1-2　聯(lián)結(jié)詞  　1-2　命題公式及其賦值   　 1-2-1  命題公式   　 1-2-2　命題公式的真值表　    1-2-3　語句的形式化   1-3　重言式 　   1-3-1  重言式  　  1-3-2　等價式   　 1-3-3　蘊含式  　1-4　對偶與范式  　  1-4-1　對偶   　 1-4-2　范式    　1-4-3　聯(lián)結(jié)詞完備集    1-5　推理理論    1-6　小結(jié)    習(xí)題　第2章　謂詞邏輯  　2-1　謂詞邏輯基本概念  　  2-1-1　個體和謂詞　    2-1-2　量詞　    2-1-3　謂詞公式及語句的符號化　  2-2　謂詞邏輯永真式　    2-2-1　公式的解釋　    2-2-2　謂詞演算永真式　  2-3　謂詞公式的前束范式    2-4　謂詞演算推理理論    2-5　消解原理  　  2-5-1　化為子句集　    2-5-2　消解推理規(guī)則　    2-5-3　含有變量的消解式　    2-5-4　消解反演求解過程    2-3  小結(jié)    習(xí)題第2篇　集合論　第3章  集合    3-1　集合的概念與表示　    3-1-1　集合及其元素  　  3-1-2　集合的表示　　  3-1-3　集合之間的關(guān)系　    3-2　集合的基本運算    　3-2-1　集合的交、并、補及對稱差　    3-2-2　證明集合相等的方法    3-3　集合的笛卡兒積運算    3-4　有限集合中元素的計數(shù)  　  3-4-1　鴿籠原理　    3-4-2　容斥原理  　3-5　集合的覆蓋與劃分  　3-6　小結(jié)  　習(xí)題　第4章  關(guān)系　  4-1　n元組與關(guān)系　    4-1-1  關(guān)系的基本概念　    4-1-2　二元關(guān)系的表示　  4-2　二元關(guān)系的性質(zhì)與類型　    4-2-1  自反性與反自反性　    4-2-2　對稱性與反對稱性　    4-2-3  傳遞性　    4-2-4　關(guān)系性質(zhì)的等價描述　    4-2-5　關(guān)系性質(zhì)的證明　  4-3　關(guān)系的運算　    4-3-1  關(guān)系的基本運算　    4-3-2　關(guān)系的復(fù)合運算　    4-3-3　關(guān)系的逆運算　　  4-3-4　利用關(guān)系矩陣求解復(fù)合關(guān)系　　……　第5章　函數(shù)第3篇　代數(shù)系統(tǒng)　第6章　代數(shù)系統(tǒng)　第7章　群、環(huán)、域　第8章　格與布爾代數(shù)第4章　圖論　第9章　圖　第10章　特殊圖附錄A　初等數(shù)論附錄B　計數(shù)原理　參考文獻

圖書封面

評論、評分、閱讀與下載

---

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

---