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

內(nèi)容概要

　　《離散數(shù)學(xué)基礎(chǔ)》對(duì)計(jì)算機(jī)類專業(yè)在本科階段最需要的離散數(shù)學(xué)基礎(chǔ)知識(shí)做了系統(tǒng)的介紹，力求概念清晰，注重實(shí)際應(yīng)用。全書共7章，包括準(zhǔn)備知識(shí)（集合、整數(shù)、序列、矩陣）、數(shù)理邏輯、組合數(shù)學(xué)（計(jì)數(shù)）、二元關(guān)系、布爾代數(shù)、圖論（圖、樹、圖和樹的有關(guān)算法）等，并含有較多的與計(jì)算機(jī)類專業(yè)有關(guān)的例題和習(xí)題。
　　《離散數(shù)學(xué)基礎(chǔ)》敘述簡(jiǎn)潔、深入淺出、注重實(shí)踐和應(yīng)用，主要面向地方院校和獨(dú)立學(xué)院計(jì)算機(jī)類專業(yè)的本科學(xué)生，也可以作為大學(xué)非計(jì)算機(jī)專業(yè)學(xué)生的選修課教材和計(jì)算機(jī)應(yīng)用技術(shù)人員的自學(xué)參考書。

書籍目錄

第1章　準(zhǔn)備知識(shí)
　1.1集合
　1.1.1集合的基本概念
　1.1.2集合的基本運(yùn)算和性質(zhì)
　1.1.3集合的笛卡兒積
　1.1.4集合的計(jì)算機(jī)表示
　1.2整數(shù)
　1.2.1整除
　1.2.2最大公約數(shù)和最小公倍數(shù)
　1.2.3模運(yùn)算
　1.3序列和遞推關(guān)系
　1.3.1序列
　1.3.2序列求和
　1.3.3遞推關(guān)系
　1.4矩陣
　1.4.1矩陣的概念
　1.4.2矩陣的運(yùn)算
　1.4.3布爾矩陣
　習(xí)題1
第2章　數(shù)理邏輯
　2.1命題及聯(lián)結(jié)詞
　2.1.1命題的概念
　2.1.2命題聯(lián)結(jié)詞
　2.2命題公式和分類
　2.2.1命題變?cè)兔}公式
　2.2.2命題公式的賦值和真值表
　2.2.3命題公式的類型
　2.3等值演算與范式
　2.3.1等價(jià)和基本等價(jià)式
　2.3.2等值演算
　2.3.3范式
　2.4命題邏輯的推理理論
　2.4.1推理的形式結(jié)構(gòu)
　2.4.2演繹法證明推理
　2.5謂詞邏輯基礎(chǔ)
　2.5.1謂詞邏輯的基本概念
　2.5.2謂詞公式及其解釋
　2.6謂詞邏輯等值式與范式
　2.6.1謂詞邏輯等值式
　2.6.2前束范式
　2.7謂詞邏輯的推理理論
　2.7.1有關(guān)量詞的基本蘊(yùn)涵式
　2.7.2有關(guān)量詞的推理規(guī)則
　習(xí)題2
第3章　計(jì)數(shù)
　3.1基本計(jì)數(shù)、排列與組合
　3.1.1基本的計(jì)數(shù)原則
　3.1.2排列與組合
　3.2排列組合的進(jìn)一步討論
　3.2.1圓周排列
　3.2.2有重復(fù)的排列
　3.2.3有重復(fù)的組合
　3.3生成排列和組合
　3.3.1生成排列
　3.3.2生成組合
　3.4生成函數(shù)及其應(yīng)用
　3.4.1生成函數(shù)的定義
　3.4.2生成函數(shù)求解計(jì)數(shù)問題
　3.4.3使用生成函數(shù)求解遞推關(guān)系
　3.5鴿巢原理
　3.5.1一般的鴿巢原理
　3.5.2推廣的鴿巢原理
　3.6容斥原理
　3.6.1容斥原理
　3.6.2容斥原理的應(yīng)用
　習(xí)題3
第4章　關(guān)系
　4.1關(guān)系定義及其表示
　4.1.1關(guān)系的基本概念
　4.1.2二元關(guān)系的表示
　4.2關(guān)系的運(yùn)算
　4.2.1關(guān)系的合成
　4.2.2逆運(yùn)算
　4.3關(guān)系的性質(zhì)
　4.3.1自反性與反自反性
　4.3.2對(duì)稱性與反對(duì)稱性
　4.3.3傳遞關(guān)系
　4.4n元關(guān)系及其應(yīng)用
　4.5關(guān)系的閉包
　4.5.1閉包的概念和求法
　4.5.2warshall算法
　4.6等價(jià)關(guān)系
　4.6.1等價(jià)關(guān)系與等價(jià)類
　4.6.2等價(jià)關(guān)系與劃分
　4.7偏序關(guān)系
　4.7.1偏序關(guān)系和哈斯圖
　4.7.2極值和最值
　4.7.3拓?fù)渑判?br />　習(xí)題4
第5章　布爾代數(shù)
　5.1布爾函數(shù)
　5.1.1布爾函數(shù)和布爾表達(dá)式
　5.1.2布爾代數(shù)中的恒等式
　5.2布爾函數(shù)的表示
　5.2.1布爾函數(shù)的主析取范式
　5.2.2函數(shù)完備性
　5.3布爾代數(shù)的應(yīng)用
　5.3.1門電路
　5.3.2卡諾圖
　習(xí)題5
第6章　圖
　6.1圖的基本概念
　6.1.1無向圖和有向圖
　6.1.2握手定理
　6.1.3圖的同構(gòu)
　6.2圖的連通性
　6.2.1通路和回路
　6.2.2無向圖的連通性
　6.2.3有向圖的連通性
　6.3圖的矩陣表示
　6.3.1關(guān)聯(lián)矩陣
　6.3.2鄰接矩陣
　6.3.3有向圖的可達(dá)矩陣
　6.4一些特殊的圖
　6.4.1二部圖
　6.4.2歐拉圖
　6.4.3哈密爾頓圖
　6.5帶權(quán)圖的最短路徑
　6.5.1dijkstra算法
　6.5.2floyd算法
　6.5.3旅行商問題
　6.6平面圖
　6.6.1平面圖的定義
　6.6.2歐拉公式
　6.6.3庫(kù)拉圖斯基定理
　習(xí)題6
第7章　樹
　7.1無向樹的概念
　7.1.1無向樹的定義
　7.1.2無向樹的應(yīng)用例子
　7.2生成樹
　7.2.1生成樹的定義
　7.2.2求最小生成樹的算法
　7.3根樹及應(yīng)用
　7.3.1根樹的定義及應(yīng)用
　7.3.2最優(yōu)二叉樹和huffman編碼
　7.3.3二叉樹的遍歷
　習(xí)題7
參考文獻(xiàn)
　　

章節(jié)摘錄

版權(quán)頁(yè)：插圖：

編輯推薦

《離散數(shù)學(xué)基礎(chǔ)》編輯推薦：教學(xué)目標(biāo)明確，注重理論與實(shí)踐的結(jié)合，教學(xué)方法靈活，培養(yǎng)學(xué)生自主學(xué)習(xí)的能力，教學(xué)內(nèi)容先進(jìn)，強(qiáng)調(diào)計(jì)算機(jī)在各專業(yè)中的應(yīng)用，教學(xué)模式完善，提供配套的教學(xué)資源解決方案。

圖書封面

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

---

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

---