離散數(shù)學(xué)及其應(yīng)用(原書(shū)第6版) PDF掃描版

離散數(shù)學(xué)及其應(yīng)用(原書(shū)第6版)是一本經(jīng)典的離散數(shù)學(xué)教材，由(美)羅森(Rosen,K.H)著；袁崇義，屈婉玲，張桂蕓等譯，機(jī)械工業(yè)出版社發(fā)行。全書(shū)全面而系統(tǒng)地介紹了離散數(shù)學(xué)的理論和方法，內(nèi)容涉及數(shù)學(xué)推理、組合分析、離散結(jié)構(gòu)、算法思維以及應(yīng)用與建模。離散數(shù)學(xué)及其應(yīng)用取材廣泛，除包括定義、定理的嚴(yán)密陳述外，還配備大量的實(shí)例和圖表的說(shuō)明、各種練習(xí)和題目以及豐富的歷史資料和網(wǎng)站資源。第6版在前五版的基礎(chǔ)上做了大量的改進(jìn)，使其成為更有效的教學(xué)工具。

原書(shū)第6版特色

1、易入門(mén)：實(shí)踐證明本書(shū)對(duì)初學(xué)者來(lái)說(shuō)易讀易懂。

2、靈活：本教材為靈活使用做了精心設(shè)計(jì)，各章對(duì)其前面內(nèi)容的依賴(lài)降到最小。

3、寫(xiě)作風(fēng)格：直接和實(shí)用。

4、數(shù)學(xué)嚴(yán)密性和準(zhǔn)確性：書(shū)中所有定義和定理的陳述都十分詳細(xì)，以確保語(yǔ)言的準(zhǔn)確性和數(shù)學(xué)所需的嚴(yán)密性。

5、應(yīng)用：書(shū)中敘述的應(yīng)用展示了離散數(shù)學(xué)在解決現(xiàn)實(shí)問(wèn)題中的使用價(jià)值，涉及的應(yīng)用領(lǐng)域包括計(jì)算機(jī)科學(xué)、數(shù)據(jù)網(wǎng)絡(luò)、心理學(xué)、化學(xué)、工程、語(yǔ)言學(xué)、生物學(xué)、商業(yè)和互聯(lián)網(wǎng)等。

6、算法：離散數(shù)學(xué)的結(jié)論常常要用算法來(lái)表示，因此本書(shū)每一章都介紹了一些關(guān)鍵算法，這些算法即可以用文字?jǐn)⑹?，也可以用更易于理解的結(jié)構(gòu)化偽碼來(lái)敘述。

7、歷史資料：本書(shū)對(duì)許多主題的背景作了簡(jiǎn)要介紹，并以腳注的形式給出了65位對(duì)離散數(shù)學(xué)做出過(guò)重要貢獻(xiàn)的數(shù)學(xué)家和計(jì)算機(jī)科學(xué)家的簡(jiǎn)短傳記。

離散數(shù)學(xué)及其應(yīng)用(原書(shū)第6版)目錄

譯者序

前言

第1章基礎(chǔ):邏輯和證明

1.1命題邏輯

1.2命題等價(jià)

1.3謂詞和量詞

1.4嵌套量詞

1.5推理規(guī)則

1.6證明導(dǎo)論

1.7證明的方法和策略

第2章基本結(jié)構(gòu)：集合、函數(shù)、數(shù)列與求和

2.1集合

2.2集合運(yùn)算

2.3函數(shù)

2.4序列與求和

第3章基礎(chǔ)：算法、整數(shù)和矩陣

3.1算法

3.2函數(shù)的增長(zhǎng)

3.3算法的復(fù)雜度

3.4整數(shù)和除法

3.5素?cái)?shù)和最大公約數(shù)

3.6整數(shù)和算法

3.7數(shù)論應(yīng)用

3.8矩陣

第4章歸納與遞歸

4.1數(shù)學(xué)歸納法

4.2強(qiáng)歸納法與良序性

4.3遞歸定義與結(jié)構(gòu)歸納法

4.4遞歸算法

4.5程序正確性

第5章計(jì)數(shù)

5.1計(jì)數(shù)的基礎(chǔ)

5.2鴿巢原理

5.3排列與組合

5.4二項(xiàng)式系數(shù)

5.5排列與組合的推廣

5.6生成排列和組合

第6章離散概率

6.1離散概率引論

6.2概率論

6.3貝葉斯定理

6.4期望值和方差

第7章高級(jí)計(jì)數(shù)技術(shù)

7.1遞推關(guān)系

7.2求解線性遞推關(guān)系

7.3分治算法和遞推關(guān)系

7.4生成函數(shù)

7.5容斥

7.6容斥原理的應(yīng)用

第8章關(guān)系

8.1關(guān)系及其性質(zhì)

8.2n元關(guān)系及其應(yīng)用

8.3關(guān)系的表示

8.4關(guān)系的閉包

8.5等價(jià)關(guān)系

8.6偏序

第9章圖

9.1圖和圖模型

9.2圖的術(shù)語(yǔ)和幾種特殊的圖

9.3圖的表示和圖的同構(gòu)

9.4連通性

9.5歐拉通路與哈密頓通路

9.6最短通路問(wèn)題

9.7可平面圖

9.8圖著色

第10章樹(shù)

10.1概述

10.2樹(shù)的應(yīng)用

10.3樹(shù)的遍歷

10.4生成樹(shù)

10.5最小生成樹(shù)

第11章布爾代數(shù)

11.1布爾函數(shù)

11.2布爾函數(shù)的表示

11.3邏輯門(mén)電路

11.4電路的極小化

第12章計(jì)算模型

12.1語(yǔ)言和文法

12.2帶輸出的有限狀態(tài)機(jī)

12.3不帶輸出的有限狀態(tài)機(jī)

12.4語(yǔ)言的識(shí)別

12.5圖靈機(jī)

附錄a實(shí)數(shù)和正整數(shù)公理

附錄b指數(shù)函數(shù)和對(duì)數(shù)函數(shù)

附錄c偽代碼

推薦讀物

參考文獻(xiàn)