離散數學
作 者: (美)理查德·約翰遜鮑夫(Richard Johnsonbaugh) 著
定 價: 128
出?版?社: 電子工業出版社
出版日期: 2018年07月01日
頁 數: 747
裝 幀: 平裝
ISBN: 9787121344671
●1 Sets and Logic 1
●1.1 Sets 2
●1.2 Propositions 14
●1.3 Conditional Propositions and Logical Equivalence 20
●1.4 Arguments and Rules of Inference 31
●1.5 Quantifiers 36
●1.6 Nested Quantifiers 49
●Problem-Solving Corner: Quantifiers 57
●Chapter 1 Notes 58
●Chapter 1 Review 58
●Chapter 1 Self-Test 60
●Chapter 1 Computer Exercises 60
●2 Proofs 62
●2.1 Mathematical Systems, Direct Proofs,
●and Counterexamples 63
●2.2 More Methods of Proof 72
●Problem-Solving Corner: Proving Some Properties
●of Real Numbers 83
●2.3 Resolution Proofs? 85
●2.4 Mathematical Induction 88......
內容簡介
本書從算法分析和問題求解的角度，全面繫統地介紹了離散數學的基礎概念及相關知識，並在其前一版的基礎上進行了修改與擴展。書中通過大量實例，深入淺出地講解了集合與邏輯，證明，函數、序列與關繫，算法，數論，計數方法與鴿巢原理，遞推關繫，圖論，樹，網絡模型，Boole代數與組合電路，自動機、文法和語言等與計算機科學密切相關的前沿課題，既著重於各部分內容之間的緊密聯繫，又深入探討了相關的概念、理論、算法和實際應用。本書內容敘述嚴謹、推演詳盡，各章配有相當數量的習題與書後的提示和答案，為讀者迅速掌握相關知識提供了有效的幫助。
(美)理查德·約翰遜鮑夫(Richard Johnsonbaugh) 著
理查德·約翰遜鮑夫，是美國芝加哥DePaul大學的計算機科學、通信與信息繫統的Emeritus教授，並在DePaul大學的從事了20年教學工作，之前曾任莫爾豪斯學院和芝加哥州立大學的數學繫教師和繫主任一職。Johnsonbaugh教授在耶魯大學獲得數學學士學位、碩士學位，並獲得俄勒岡大學的數學博士學位以及伊利諾伊大學的計算機碩士學位。Johnsonbaugh教授近期的研究領域包括模式識別、程序設計語言、算法和離散數學，他也是這些領域眾多書籍和文章的作者或合著者。Johnsonbaugh教授的幾本專著已被譯成各種語言出版，他也是美國數學協會的成員。
"
