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

內(nèi)容概要

《離散數(shù)學(xué)》是21世紀(jì)計(jì)算機(jī)學(xué)科系列教材之一，它是計(jì)算機(jī)學(xué)科重要的基礎(chǔ)理論核心課程。本書內(nèi)容包括：集合、關(guān)系、函數(shù)、代數(shù)結(jié)構(gòu)（群、環(huán)、域、格和布爾代數(shù)）、圖論、命題邏輯和謂詞邏輯等。本書結(jié)構(gòu)清晰，概念準(zhǔn)確，敘述嚴(yán)謹(jǐn)，有層次地精選了例題，各章節(jié)還配有適量的習(xí)題，幫助讀者鞏固和掌握所學(xué)知識。    本書可作為高等院校計(jì)算機(jī)及相關(guān)專業(yè)的教材，也適合廣大工程技術(shù)人員和自學(xué)者參考。

書籍目錄

第1章  集會  1.1  集合的基本概念    1.1.l  集合的表示方法    1.1.2  子集    1.1.3  全集和補(bǔ)集    1.1.4  冪集  1.2  集合的基本運(yùn)算    1.2.1  并和交    1.2.2  差和對稱差  1.3  包含排斥原理第2章  二無關(guān)系  2.1  二元關(guān)系及其表示形式    2.1.1  引言    2.1.2  集合的笛卡兒乘積    2.1.3  二元關(guān)系的3種表示方法  2.2  二元關(guān)系的基本類型與判定方法    2.2.1  關(guān)系的基本類型    2.2.2  可傳遞性的判定方法  2.3  等價(jià)關(guān)系、相容關(guān)系和偏序關(guān)系    2.3.1  等價(jià)關(guān)系的定義    2.3.2  等價(jià)關(guān)系的特征    2.3.3  等價(jià)類和商集    2.3.4  集合的劃分    2.3.5  相容關(guān)系    2.3.6  覆蓋和完全覆蓋    2.3.7  相容類和最大相容類    2.3.8  偏序關(guān)系  2.4  復(fù)合關(guān)系、逆關(guān)系和關(guān)系的閉包運(yùn)算    2.4.1  復(fù)合關(guān)系    2.4.2  逆關(guān)系    2.4.3  關(guān)系的閉包運(yùn)算  第3章  函數(shù)  3.1  函數(shù)的定義與特殊函數(shù)    3.1.l  函數(shù)的定義    3.1.2  特殊函數(shù)  3.2  復(fù)合函數(shù)與逆函數(shù)第4章  代教結(jié)構(gòu)  4.1  代數(shù)系統(tǒng)    4.1.l  代數(shù)系統(tǒng)的基本概念    4.1.2  特殊運(yùn)算與特殊元素    4.1.3  同構(gòu)    4.1.4  同態(tài)  4.2  半群與獨(dú)異點(diǎn)    4.2.1  半群與子半群    4.2.2  獨(dú)異點(diǎn)與子獨(dú)異點(diǎn)  4.3  群    4.3.1  群的定義    4.3.2  群的性質(zhì)  4.4  子群    4.4.1  子群的定義    4.4.2  群中元素的階數(shù)  4.5  循環(huán)群    4.5.1  循環(huán)群的定義    4.5.2  循環(huán)群的性質(zhì)  4.6  置換群  4.7  陪集和拉格朗日定理    4.7.l  陪集    4.7.2  拉格朗日定理  4.8  群同態(tài)    4.8.1  同余關(guān)系與商代數(shù)    4.8.2  同余與同態(tài)    4.8.3  群的同態(tài)與同余  4.9  群碼  4. 10  環(huán)和域    4.10.l  環(huán)    4.10.2  域  4.11  格和布爾代數(shù)    4.11.1  格的定義    4.11.2  格和偏序集    4.11.3  分配格、有界格和有補(bǔ)格    4.11.4  布爾代數(shù)第5章  圖論  5.1  圖的基本概念    5.1.1  圖的基本類型    5.1.2  圖中頂點(diǎn)的度數(shù)    5.1.3  完全圖    5.l.4  子圖    5.1.5  圖的矩陣表示    5.1.6  圖的同構(gòu)    5.1.7  補(bǔ)圖  5.2  圖的連通性和賦權(quán)圖的最短通路    5.2.l  通路與回路    5.2.2  圖的連通性    5.2.3  賦權(quán)圖的最短通路  5.3  樹    5.3.l  無向樹    5.3.2  有向樹    5.3.3  周游算法    5.3.4  前級碼與最優(yōu)樹  5.4  歐拉圖與哈密頓圖    5.4.1  歐拉圖    5.4.2  哈密頓圖  5.5  二部圖和平面圖    5.5.1  二部圖    5.5.2  平面圖第6章  命題邏輯  6.1  命題與聯(lián)結(jié)詞    6.1.1  命題    6.1.2  聯(lián)結(jié)詞  6.2  真值表與邏輯等價(jià)    6.2.1  真值表    6.2.2  邏輯等價(jià)    6.2.3  代換規(guī)則    6.2.4  對偶原理  6.3  范式    6.3.l  析取范式和主析取范式    6.3.2  會取范式和主合取范式  6.4  永真蘊(yùn)含式  6.5  推理理論    6.5.l  前提與有效結(jié)論    6.5.2  直接證明法    6.5.3  間接證明法第7章  謂詞邏輯  7.1  謂詞邏輯的基本概念    7.1.1  謂詞與命題函數(shù)    7.1.2  量詞    7.1.3  謂詞合式    7.1.4  約束元和自由元  7.2  等價(jià)式與永真蘊(yùn)含式    7.2.1  等價(jià)式    7.2.2  前束范式    7.2.3  永真蘊(yùn)含式  7.3  謂詞演算的推理理論

圖書封面

評論、評分、閱讀與下載

---

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

---