【簡介】 離散數學是現代數學的一個重要分支以及電腦科學基礎理論的核心課程，清楚描述了電腦科學離散性的特點，是隨著電腦科學的發展而逐步建立起來的新興的基礎性學科。本書作為離散數學的基本教材，針對關鍵問題以大量實例深入淺出地介紹了集合與邏輯、證明、函數與關係、數論、計數方法、遞迴關係、圖論與樹、布林代數、網路模型、形式語言與自動機理論等與電腦科學密切相關的課題，探討各部分內容的概念、理論、演算法和實際應用，適合離散數學初階課程使用。各章節 並配有大量的習題。 本書特色 作者從數學的基礎概念講起，說明如何建構基礎的證明，使得讀者瞭解證明的意義。第七版將數學的語言與證明分成兩個章節，讓沒有基礎的學生更易入門。並且以電腦科學的實際範例解釋離散數學，說明如何分析及使用演算法，使得讀者可以應用數學解決真實世界的問題（例如，著名的RSA加密演算法）。寫作風格口語白話，敘述詳盡，圖表詳細，學生可自行閱讀自學。與其他書籍相較，Johnsonbaugh的書最適合資訊相關科系的入門者閱讀，從數學門外漢進入離散數學的殿堂。 【目錄】 第1章 集合與邏輯 第2章 證明 第3章 函數、序列及關係 第4章 演算法 第5章 數論 第6章 計數方法和鴿籠原理 第7章 遞迴關係 第8章 圖論 第9章 樹 第10章 網路模型 第11章 布林代數與組合電路 第12章 自動機、文法和語言