Discrete Mathematics and Its Applications, 8/e (Annotated Edition)(導讀本)

離散數學是數學、計算機科學及電機工程的必修科目，也是其他工程相關系所的必選科目之一。而 Kenneth H. Rosen 教授所編寫的離散數學一書，自 1998 年發行初版以來，如今已修訂至第八版，本書挑選的十三章內容中，除了有最基礎的理論性課題外，還包含了與實用相關的課題。

本書非常強調數學推理以及各種解題方式，並以五大重要的主題貫穿全書：數學推理、組合分析、離散結構、演算法思考以及應用與模型化。除了課文之外，每章平均有超過百則的練習題，書末並附有基數練習題之解答，能提供同學豐富且多元的練習機會。

以下是五大主題的詳細介紹：
- 數學推理：本書強調數學歸納法的技巧，藉由各種不同形態的範例進行說明。
- 組合分析：重點在於使用組合分析來解決技術問題，以及演算法的解析，而不是直接套用公式。
- 離散結構：包括及包括集合、排列、關係、圖形、樹圖及有限狀態機器。
- 演算法思考：某些類別的問題可藉由演算法的明確敘述來解決。一旦被清楚說明之後，就可建構電腦程式予以執行。
- 應用與模型化：本書探討許多關於資訊科學和資料網路方面的應用，另外還包括化學、植物學、動物學、語言學、地理、商業、網際網路等各種領域。

1) The Foundations: Logic and Proofs
2) Basic Structures: Sets, Functions, Sequences, Sums, Matrices
3) Algorithms
4) Number Theory and Cryptography
5) Induction and Recursion
6) Counting
7) Discrete Probability
8) Advanced Counting Techniques
9) Relations
10) Graphs
11) Trees
12) Boolean Algebra
13) Modeling Computation

Appendices

1) 基礎：邏輯和證明
2) 基本結構：集合、函數、序列、總和、矩陣
3) 演算法
4) 數論和密碼學
5)歸納和遞迴
6) 計數
7) 離散概率
8) 高級計數技巧
9) 關係
10) 圖形
11) 樹
12) 布林代數
13) 模擬計算
附錄