離散數(shù)學(xué)基礎(chǔ)

內(nèi)容概要

離散數(shù)學(xué)，是現(xiàn)代數(shù)學(xué)的一個(gè)重要分支，是計(jì)算機(jī)科學(xué)中基礎(chǔ)理論的核心課程。離散數(shù)學(xué)是隨著計(jì)算機(jī)科學(xué)的發(fā)展而逐步建立的。它形成于20　　世紀(jì)70年代初期，是一門新興的工具性學(xué)科。為適應(yīng)計(jì)算機(jī)科學(xué)教學(xué)的需要，組織編寫了這本理工科院校計(jì)算機(jī)專業(yè)適用的基礎(chǔ)教材?！　?nèi)容包括：數(shù)理邏輯；謂詞邏輯；集合代數(shù)；二元關(guān)系；函數(shù)；代數(shù)結(jié)構(gòu)；格與布爾代數(shù)；圖論等?！　”緯厣莾?nèi)容實(shí)用，敘述簡(jiǎn)捷，實(shí)例突出，非常適合大專院校師生和有關(guān)科技人員使用。

書籍目錄

前言　第1章　數(shù)理邏輯　1.1　命題與邏輯聯(lián)結(jié)詞　1.2　命題公式　1.3　真值表和等價(jià)公式　1.4　蘊(yùn)含式　1.5　其他聯(lián)結(jié)詞　1.6　對(duì)偶與范式　1.7　推理理論　第2章　謂詞邏輯　2.1　謂詞的概念與表示　2.2　命題函數(shù)與量詞　2.3　謂詞公式與變?cè)募s束　2.4　謂詞演算的等價(jià)式與蘊(yùn)含式　2.5　謂詞演算的推理理論第3章　集合代數(shù)　3.1　集合的基本概念　3.2　集合的計(jì)數(shù)第4章　二元關(guān)系　4.1　序偶與笛卡爾積　　4.2　二元關(guān)系　　4.3　關(guān)系的運(yùn)算　　4.4　關(guān)系的性質(zhì)　　4.5　關(guān)系的閉包運(yùn)算　　4.6　等價(jià)關(guān)系與劃分　　4.7　偏序關(guān)系　第5章　函數(shù)　　5.1　函數(shù)的概念　　5.2　函數(shù)的復(fù)合與反函數(shù)　第6章　代數(shù)結(jié)構(gòu)　　6.1　二元運(yùn)算及其性質(zhì)　　6.2　代數(shù)系統(tǒng)　　6.3　半群　　6.4　群　　6.5　子群　　6.6　陪集與格拉朗日定理　　6.7　群的同態(tài)與同構(gòu)　　6.8　環(huán)與域　第7章　格與布爾代數(shù)　　7.1　格的概念　　7.2　分配格與有補(bǔ)格　　7.3　布爾代數(shù)　第8章　圖論　　8.1　圖的基本概念　　8.2　路徑與回路　　8.3　圖的矩陣表示　　8.4　歐拉圖與哈密爾頓圖　8.5　二部圖　8.6　平面圖　8.7　樹符號(hào)表參考文獻(xiàn)

圖書封面

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

---

    離散數(shù)學(xué)基礎(chǔ) PDF格式下載

---