離散數(shù)學引論

定　價：￥18.00

作　者：	王樹禾著
出版社：	中國科學技術大學出版社
叢編項：	面向21世紀高等學校系列教材
標　簽：	離散數(shù)學

購買這本書可以去

ISBN：	9787312013003	出版時間：	2001-09-01	包裝：	膠版紙
開本：	20cm	頁數(shù)：	410	字數(shù)：

內(nèi)容簡介

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

作者簡介

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

圖書目錄

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