離散數學 9/e Rosen

• 數學推理：從數理邏輯出發，奠定證明基礎，特別強調數學歸納法，透過範例說明其為有效的證明技術。
• 組合分析：培養計數與列舉物件能力的解題技巧，以組合分析解決計數問題與演算法的解析，而非單純套用公式。
• 離散結構：介紹集合、排列、關係、圖與樹圖等用以描述離散物件及其關聯的數學結構。
• 演算法思考：包括演算法之說明、確認能否妥當運作、電腦記憶分析與運作時間等，並輔以日常語言與虛擬碼呈現。
• 應用與模型化：涵蓋電腦科學與資料網路等應用，並延伸至化學、植物學、動物學、語言學、地理、商業、網際網路等領域，強調模型化解題能力的培養。

新增部分主題內容

• 收錄了計算上的發現。
• 更詳細地講解可數性。
• 擴充數學歸納法的內容。
• 修訂並新增例題與習題。
• 各種類型的更新。

Chapter 1 基礎：邏輯與證明
Chapter 2 基本結構：集合、函數、序列、總和與矩陣
Chapter 3 演算法
Chapter 4 數論與密碼學
Chapter 5 歸納與遞迴
Chapter 6 計數
Chapter 7 進階計數技巧
Chapter 8 關係
Chapter 9 圖形
Chapter 10 樹圖

數位下載內容
Chapter 11 布林代數

附錄1 實數與正整數的公理
附錄2 指數函數與對數函數
附錄3 虛擬碼