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

內(nèi)容概要

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

書籍目錄

第1章　命題邏輯1.1　命題與邏輯聯(lián)結(jié)詞1.2　命題公式1.3　真值表和等價公式1.4　蘊含式1.5　其他聯(lián)結(jié)詞1.6　對偶與范式1.7　推理理論第2章　謂詞邏輯2.1　謂詞的概念與表示2.2　命題函數(shù)與量詞2.3　謂詞公式與變元的約束2.4　謂詞演算的等價式與蘊含式2.5　謂詞演算的推理理論第3章　集合的基本概念3.1　集合的基本概念3.1　集合的計數(shù)第4章　二元關(guān)系4.1　序偶與笛卡爾積4.2　二元關(guān)系4.3　關(guān)系的運算4.4　關(guān)系的性質(zhì)4.5　關(guān)系的閉包運算4.6　等價關(guān)系與劃分4.7　偏序關(guān)系第5章　函數(shù)5.1　函數(shù)的概念5.2　函數(shù)的復(fù)合與反函數(shù)第6章　代數(shù)結(jié)構(gòu)6.1　二元運算及其性質(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　分配格與有補格7.3　布爾代數(shù)第8章　圖論8.1　圖的基本概念8.2　路徑的回路8.3　圖的矩陣表示8.4　歐拉圖與哈密爾頓圖8.5　二部圖8.6　平面圖8.7　樹符號表參考文獻

圖書封面

圖書標(biāo)簽Tags

無

評論、評分、閱讀與下載

---

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

---