離散數(shù)學

內(nèi)容概要

本書從算法分析和問題求解的角度，全面系統(tǒng)地介紹了離散數(shù)學的基礎(chǔ)概念及相關(guān)知識。書中通過大量實例，深入淺出地講解了數(shù)理邏輯、組合算法、圖論、Boole代數(shù)、網(wǎng)絡(luò)模型、形式語言與自動機理論、計算幾何等與計算機科學密切相關(guān)的前沿課題，既著重于各部分內(nèi)容之間的緊密聯(lián)系，又深入探討了相關(guān)的概念、理論、算法和實際應(yīng)用。本書內(nèi)容敘述嚴謹、推演詳盡，各章配有相當數(shù)量的習題與書后的提示和答案，為讀者迅速掌握相關(guān)知識提供了有效的幫助。    本書既可作為計算機科學及計算數(shù)學等專業(yè)的本科生和研究生教材，也可作為工程技術(shù)人員和相關(guān)人員的參考書。

作者簡介

作者：(美國)約翰遜鮑夫 譯者：黃林鵬 等

書籍目錄

第1章  集合與邏輯　1.1　集合　1.2　命題　1.3　條件命題與邏輯等價　1.4　論證和推理規(guī)則　1.5　量詞　1.6　嵌套量詞　注釋　本章復習　本章自測題　上機練習第2章　證明  2.1　數(shù)學系統(tǒng)、直接證明和反例  2.2　更多的證明方法  2.3　歸結(jié)證明  2.4　數(shù)學歸納法  2.5　強數(shù)學歸納法和良序性  注釋  本章復習  本章自測題  上機練習第3章  函數(shù)、序列和關(guān)系  3.1  函數(shù)  3.2　序列和串  3.3　關(guān)系  3.4　等價關(guān)系  3.5　關(guān)系矩陣  3.6　關(guān)系數(shù)據(jù)庫  注釋  本章復習  本章自測題  上機練習第4章  算法  4.1　簡介　4.2　算法舉例　4.3　算法的分析　4.4　遞歸算法　注釋　本章復習　本章自測題　上機練習第5章  數(shù)論簡介　5.1  因子　5.2　整數(shù)的表示和整數(shù)算法　5.3　歐幾里得算法　5.4　RSA公鑰密碼系統(tǒng)　注釋　本章復習　本章自測題　上機練習第6章  計數(shù)方法與鴿巢原理　6.1　基本原理　6.2　排列與組合　6.3　廣義的排列和組合　6.4　排列組合生成算法　6.5　離散概率簡介　6.6　離散概率論　6.7　二項式系數(shù)和組合恒等式　6.8　鴿巢原理　注釋　本章復習　本章自測題　上機練習第7章  遞推關(guān)系　7.1　簡介　7.2　求解遞推關(guān)系　7.3　在算法分析中的應(yīng)用　注釋　本章復習　本章自測題　上機練習第8章  圖論　8.1　簡介……第9章　樹第10章　網(wǎng)絡(luò)模型　第11章　Boole代數(shù)與組合電路第12章　自動機、文法和語言第13章　計算幾何附錄部分習題答案參考文獻符號表

章節(jié)摘錄

第1章 集合與邏輯第1章首先介紹集合。集合是一些對象的全體，但不考慮對象出現(xiàn)的順序。離散數(shù)學關(guān)心的對象有圖（頂點和邊的集合）和布爾代數(shù)（在其上定義了某種操作的集合）等。本章介紹集合的術(shù)語和記法。在討論證明和證明技術(shù)之后，第2章會以更加形式化的方法來處理集合。雖然邏輯和證明將在第1章剩余部分和第2章才介紹，但讀者在1.1節(jié)就會有所體驗。邏輯是研究推理的。它特別關(guān)注推理的正確性。邏輯重點研究命題之間的關(guān)系，而不是一個具體命題的內(nèi)容。作為一個例子，考慮下面的論斷：所有的代數(shù)學家都穿涼鞋。任何一個穿涼鞋的人都是代數(shù)學家。因此，所有的數(shù)學家都是代數(shù)學家。從技術(shù)上說，邏輯并不能幫助大家確定這些命題是否為真；然而，如果前兩個命題為真，邏輯可以保證命題所有的數(shù)學家都是代數(shù)學家。也為真。 [WWW]邏輯對閱讀證明和構(gòu)造證明都是非常重要的，證明將在第2章中詳細介紹。理解邏輯有助于問題的清晰表達。例如，在Illinois州的Naperville有這樣的法令：“一個市民擁有超過三條狗和三只貓是違法的?！蹦敲磽碛形逯还贰]有貓的市民是否違法呢?請讀者思考這個問題，并在閱讀完1.2節(jié)之后再來分析這個問題（參見1.2節(jié)，練習74）。

圖書封面

圖書標簽Tags

無

評論、評分、閱讀與下載

---

    離散數(shù)學 PDF格式下載

---