定 價(jià)：149 元
叢書名：國(guó)外計(jì)算機(jī)科學(xué)教材系列
- 作者：（美）Richard Johnsonbaugh（理查德 ? 約翰遜鮑夫）
- 出版時(shí)間：2020/4/1
- ISBN：9787121385933
- 出 版 社：電子工業(yè)出版社
- 中圖法分類：O158
- 頁(yè)碼：768
- 紙張：
- 版次：01
- 開本：16開
本書從算法分析和問題求解的角度，全面系統(tǒng)地介紹了離散數(shù)學(xué)的基礎(chǔ)概念及相關(guān)知識(shí)，并在前一版的基礎(chǔ)上進(jìn)行了修改與擴(kuò)展。書中通過大量實(shí)例，深入淺出地講解了集合與邏輯，證明，函數(shù)、序列與關(guān)系，算法，數(shù)論，計(jì)數(shù)方法與鴿巢原理，遞推關(guān)系，圖論，樹，網(wǎng)絡(luò)模型，Boole代數(shù)與組合電路，自動(dòng)機(jī)、文法和語(yǔ)言等與計(jì)算機(jī)科學(xué)密切相關(guān)的前沿課題，既著重于各部分內(nèi)容之間的緊密聯(lián)系，又深入探討了相關(guān)的概念、理論、算法和實(shí)際應(yīng)用。本書內(nèi)容敘述嚴(yán)謹(jǐn)、推演詳盡，各章配有相當(dāng)數(shù)量的練習(xí)與書末的提示和答案，為讀者迅速掌握相關(guān)知識(shí)提供了有效的幫助。
Richard Johnsonbaugh是美國(guó)芝加哥DePaul大學(xué)的計(jì)算機(jī)科學(xué)、通信與信息系統(tǒng)的Emeritus教授，并在DePaul大學(xué)的從事了20多年的教學(xué)工作，之前曾任莫爾豪斯學(xué)院和芝加哥州立大學(xué)的數(shù)學(xué)系教師和系主任一職。Johnsonbaugh教授在耶魯大學(xué)獲得數(shù)學(xué)學(xué)士學(xué)位、碩士學(xué)位，并獲得俄勒岡大學(xué)的數(shù)學(xué)博士學(xué)位以及伊利諾伊大學(xué)的計(jì)算機(jī)碩士學(xué)位。Johnsonbaugh教授近期的研究領(lǐng)域包括模式識(shí)別、程序設(shè)計(jì)語(yǔ)言、算法和離散數(shù)學(xué)，他也是這些領(lǐng)域眾多書籍和文章的作者或合著者。Johnsonbaugh教授的幾本專著已被譯成各種語(yǔ)言出版，他也是美國(guó)數(shù)學(xué)協(xié)會(huì)的成員。
張文博，北京郵電大學(xué)理學(xué)院副教授，現(xiàn)從事計(jì)算方法、通信系統(tǒng)的教學(xué)與研究工作。迄今為止，發(fā)表SCI論文40于篇，EI檢索論文20余篇。
目 錄
第1章 集合與邏輯 1
1.1 集合 1
1.2 命題 13
1.3 條件命題與邏輯等價(jià) 20
1.4 論證和推理規(guī)則 29
1.5 量詞 35
1.6 嵌套量詞 46
本章注釋 56
本章復(fù)習(xí) 56
本章自測(cè)題 58
上機(jī)練習(xí) 60
第2章 證明 61
2.1 數(shù)學(xué)系統(tǒng)、直接證明和反例 61
2.2 更多的證明方法 70
2.3 歸結(jié)證明 83
2.4 數(shù)學(xué)歸納法 86
2.5 強(qiáng)數(shù)學(xué)歸納法和良序性 103
本章注釋 110
本章復(fù)習(xí) 110
本章自測(cè)題 111
上機(jī)練習(xí) 111
第3章 函數(shù)、序列與關(guān)系 112
3.1 函數(shù) 112
3.2 序列和串 131
3.3 關(guān)系 143
3.4 等價(jià)關(guān)系 154
3.5 關(guān)系矩陣 163
3.6 關(guān)系數(shù)據(jù)庫(kù) 168
本章注釋 173
本章復(fù)習(xí) 173
本章自測(cè)題 175
上機(jī)練習(xí) 176
第4章 算法 178
4.1 簡(jiǎn)介 178
4.2 算法示例 182
4.3 算法的分析 188
4.4 遞歸算法 208
本章注釋 215
本章復(fù)習(xí) 216
本章自測(cè)題 217
上機(jī)練習(xí) 218
第5章 數(shù)論 219
5.1 因子 219
5.2 整數(shù)的表示和整數(shù)算法 228
5.3 歐幾里得算法 240
5.4 RSA公鑰密碼系統(tǒng) 252
本章注釋 254
本章復(fù)習(xí) 254
本章自測(cè)題 255
上機(jī)練習(xí) 255
第6章 計(jì)數(shù)方法與鴿巢原理 256
6.1 基本原理 256
6.2 排列與組合 269
6.3 廣義的排列與組合 284
6.4 排列組合生成算法 289
6.5 離散概率簡(jiǎn)介 296
6.6 離散概率論 300
6.7 二項(xiàng)式系數(shù)和組合恒等式 311
6.8 鴿巢原理 317
本章注釋 322
本章復(fù)習(xí) 323
本章自測(cè)題 324
上機(jī)練習(xí) 325
第7章 遞推關(guān)系 326
7.1 簡(jiǎn)介 326
7.2 求解遞推關(guān)系 338
7.3 在算法分析中的應(yīng)用 354
7.4 最小距點(diǎn)對(duì)問題 368
本章注釋 374
本章復(fù)習(xí) 374
本章自測(cè)題 375
上機(jī)練習(xí) 376
第8章 圖論 378
8.1 簡(jiǎn)介 378
8.2 路徑和回路 388
8.3 Hamilton回路和旅行商問題 400
8.4 最短路徑算法 410
8.5 圖的表示 414
8.6 圖的同構(gòu) 419
8.7 平面圖 427
8.8 頓時(shí)錯(cuò)亂問題 434
本章注釋 438
本章復(fù)習(xí) 439
本章自測(cè)題 440
上機(jī)練習(xí) 442
第9章 樹 444
9.1 簡(jiǎn)介 444
9.2 樹的術(shù)語(yǔ)和性質(zhì) 451
9.3 生成樹 458
9.4 最小生成樹 465
9.5 二叉樹 471
9.6 樹的遍歷 478
9.7 決策樹和最短時(shí)間排序 484
9.8 樹的同構(gòu) 490
9.9 博弈樹 498
本章注釋 507
本章復(fù)習(xí) 508
本章自測(cè)題 509
上機(jī)練習(xí) 512
第10章 網(wǎng)絡(luò)模型 514
10.1 簡(jiǎn)介 514
10.2 最大流算法 519
10.3 最大流最小割定理 527
10.4 匹配 530
本章注釋 537
本章復(fù)習(xí) 538
本章自測(cè)題 539
上機(jī)練習(xí) 540
第11章 Boole代數(shù)與組合電路 541
11.1 組合電路 541
11.2 組合電路的性質(zhì) 547
11.3 Boole代數(shù) 553
11.4 Boole函數(shù)與電路合成 560
11.5 應(yīng)用 565
本章注釋 573
本章復(fù)習(xí) 574
本章自測(cè)題 575
上機(jī)練習(xí) 577
第12章 自動(dòng)機(jī)、文法和語(yǔ)言 578
12.1 時(shí)序電路和有限狀態(tài)機(jī) 578
12.2 有限狀態(tài)自動(dòng)機(jī) 584
12.3 語(yǔ)言和文法 589
12.4 不確定有限狀態(tài)自動(dòng)機(jī) 599
12.5 語(yǔ)言和自動(dòng)機(jī)之間的關(guān)系 605
本章注釋 610
本章復(fù)習(xí) 611
本章自測(cè)題 611
上機(jī)練習(xí) 613
附錄A 矩陣 614
附錄B 代數(shù)學(xué)復(fù)習(xí) 618
附錄C 偽代碼 628
部分練習(xí)答案 633
參考文獻(xiàn) 746
書單推薦
