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

內(nèi)容概要

本書按碩士研究生教材定位寫成，供數(shù)學(xué)、應(yīng)用數(shù)學(xué)、計算機科學(xué)技術(shù)、信息等專業(yè)的研究生和需要較深離散數(shù)學(xué)的本科生選用。全書劃分六篇，主要內(nèi)容如下：    圖論與算法圖論、組合論、代數(shù)系統(tǒng)、數(shù)理邏輯、離散數(shù)學(xué)中的空間、矩陣和擬陣、Turing機和計算復(fù)雜度理論，每篇配有難易適當(dāng)?shù)淖銐蜃鳂I(yè)題。     全書概念與理論明晰嚴(yán)謹(jǐn)，注重算法與應(yīng)用，文字洗練生動，立論深入淺出，可讀與可教性強。

作者簡介

王樹禾，河北樂亭人，1938年生，畢業(yè)于北京大學(xué)數(shù)學(xué)力學(xué)系，中國科學(xué)技術(shù)大學(xué)教授?？蒲信c教學(xué)方向為離散數(shù)學(xué)和微分方程，發(fā)表數(shù)學(xué)論文30篇，出版數(shù)學(xué)著作17種，獲中國科學(xué)技術(shù)大學(xué)校級優(yōu)秀教師獎、中國科學(xué)院教學(xué)成果一等獎和國家級教學(xué)成果二等獎等獎項。

書籍目錄

序 言第一篇 圖及其算法  1.1 什么是圖論  1.2 圖的定義  1.3 Brouwer不動點定理  1.4 Dijkstra算法  習(xí)題一  1.5 樹  1.6 生成樹    1.6.1 生成樹的個數(shù)    1.6.2 最優(yōu)生成樹的Kruskal算法  1.7 常用樹    1.7.1 有序二元樹    1.7.2 Huffman樹  習(xí)題二  1.8 平面圖    1.8.1 平面圖及其Euler公式    1.8.2 對偶圖和極大平面圖    1.8.3 Kuratowsky定理    1.8.4 圖的厚度  習(xí)題三  1.9 縱深搜索和平面嵌入算法    1.9.1 廣度優(yōu)先與深度優(yōu)先搜索算法    1.9.2 求割頂和塊的算法    1.9.3 有向圖的DFS和極大強連通子圖的算法    1.9.4 平面嵌入算法  習(xí)題四  1.10 匹配    1.10.1 匹配理論    1.10.2 二分圖中最大匹配與最佳匹配的算法  習(xí)題五  1.11 圖上遍歷    1.11.1 Euler圖    1.11.2 求Euler回路的算法    1.11.3 中國郵路問題    1.11.4 Harmihon圖  習(xí)題六  1.12 色    1.12.1 邊色數(shù)    1.12.2 頂色數(shù)與面色數(shù)    1.12.3 色多項式  習(xí)題七  1.13 支配集.獨立集和Ramsey數(shù)    1.13.1 支配集和獨立集    1.13.2 a （G ）,B（G） ,Y （G） 的計算    1.13.3 Ramsey數(shù)    1.13.4 多元Ramsey數(shù)和Schur定理  習(xí)題八  1.14 有向圖    1.14.1 有向圖的連通性    1.14.2 有向軌與競賽圖    1.14.3 有向圈與競賽圖    1.14.4 有向Euler圖  習(xí)題九  1.15 網(wǎng)絡(luò)流    1.15.1 Ford-Fulkerson最大流算法    1.15.2 Dinic最大流算法    1.15.3 有上下界的網(wǎng)絡(luò)中的流    1.15.4 有供需約束的流    1.15.5 PERT問題    1.15.6 流與二分圖  習(xí)題十  1.16 連通度    1.16.1 無向圖的頂連通度    1.16.2 有向圖的頂連通度    1.16.3 無向圖的邊連通度    1.16.4 有向圖的邊連通度和弱獨立外向生成樹    1.16.5 可靠通訊網(wǎng)絡(luò)  習(xí)題十一第二篇 組合基礎(chǔ)  2.1 什么是組合論  2.2 鴿籠原理  2.3 +×原理與排列組合    2.3.1 無重復(fù)的排列組合    2.3.2 Catalan數(shù)    2.3.3 可重復(fù)的排列組合  習(xí)題一  2.4 容斥原理  習(xí)題二  2.5 生成函數(shù)    2.5.1 生成函數(shù)概念    2.5.2 組合數(shù)的生成函數(shù)    2.5.3 拆分自然數(shù)    2.5.4 排列數(shù)的生成函數(shù)  習(xí)題三  2.6 遞歸方程    2.6.1 遞歸方程的初值問題    2.6.2 線性常系數(shù)遞歸方程的生成函數(shù)解法    2.6.3 常系數(shù)線性齊次遞歸方程的特征值解法    2.6.4 常系數(shù)線性非齊次遞歸方程的解    2.6.5 遞歸方程的其它解法    2.6.6 Stirling數(shù)  習(xí)題四第三篇 代數(shù)與計數(shù)  3.1 代數(shù)系統(tǒng)及其性質(zhì)    3.1.1 代數(shù)系統(tǒng)的定義    3.1.2 代數(shù)系統(tǒng)的同構(gòu)與同態(tài)  3.2 群.環(huán).域    3.2.1 群    3.2.2 環(huán)    3.2.3 域  習(xí)題一  3.3 置換群和循環(huán)群    3.3.1 置換    3.3.2 置換群與循環(huán)群  3.4 Lagrange定理和Burnside定理  3.5 Polya定理  習(xí)題二  3.6 圖的群    3.6.1 圖的自同構(gòu)群    3.6.2 有限群的Cayley圖  習(xí)題三第四篇 離散數(shù)學(xué)中的空間.矩陣和擬陣  4.1 圈空間和斷集空間    4.1.1 圈空間    4.1.2 斷集空間  4.2 關(guān)聯(lián)矩陣和鄰接矩陣    4.2.1 關(guān)聯(lián)矩陣    4.2.2 鄰接矩陣  4.3 圈矩陣和割集矩陣  4.4 開關(guān)網(wǎng)絡(luò)分析  習(xí)題一  4.5 擬陣    4.5.1 擬陣的概念    4.5.2 擬陣?yán)碚? 習(xí)題二  4.6 倒稱矩陣與層次分析  4.7 正交拉丁方  4.8 區(qū)組設(shè)計與區(qū)組矩陣    4.8.1 BIBD問題    4.8.2 區(qū)組關(guān)聯(lián)矩陣    4.8.3 Hadamard矩陣    4.8.4 區(qū)組設(shè)計的構(gòu)作  4.9 魔矩陣密碼  習(xí)題三第五篇 不確定Turing機和計算的時間復(fù)雜度  5.1 好算法和壞算法  5.2 不確定Turing機和NP類問題  5.3 NPC問題和Cook定理  5.4 NPC中的組合問題  5.5 NPC中的圖論問題  習(xí)題第六篇 數(shù)理邏輯  6.1 命題邏輯    6.1.1命題及其真假    6.1.2 聯(lián)結(jié)詞與命題公式    6.1.3 真值表    6.1.4 等價公式.代換定理與對偶定理    6.1.5 范式  6.2 命題邏輯中的推理    6.2.1 蘊含關(guān)系    6.2.2 真值表推理法    6.2.3 直接推理法    6.2.4 間接推理法  習(xí)題一  6.3 謂詞邏輯    6.3.1 命題的謂詞表達(dá)形式    6.3.2 量詞    6.3.3 謂詞公式及其變元    6.3.4 謂詞邏輯中的等價定律.代入規(guī)則  6.4 謂詞邏輯中的推理  習(xí)題二參考文獻(xiàn)

圖書封面

圖書標(biāo)簽Tags

無

評論、評分、閱讀與下載

---

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

---