出版:2022.02
規格:繁中/平裝/636頁/17 x 23/黑白
ISBN:9789862972151
備註:修訂2版
本書對離散數學的討論,首先是由邏輯命題、集合理論、數學歸納法等基本概念拉起了序幕。再配合排列組合、排容原理、鴿籠定理、線性遞迴關係、以至於生成函數等計算工具的綜合整理,至此完成了討論離散數學所需要的準備工作。
本書進入離散數學之篇章依次為數論與密碼學、函數與關係、圖論與樹論、演算法簡介,最後是以基礎抽象代數作為結束。這是一本特別為首次接觸離散數學的朋友所寫的書,旨在為初學者建立清晰的最核心之理論架構,循本書所鋪陳的節奏按部就班前進,相信能夠紮實地掌握離散數學的核心概念。
任何探討數學主題的書籍,其精華在於定理的演譯,其良窳則全在於定理的證明,本書對所含括的每一個定理都提供了儘可能簡潔順暢的證明。掌握數學的唯一成功途徑是經由邏輯嚴謹地檢查定理,希望有興趣的朋友,透過本書能夠感受到離散數學清清如許的容貌,尤其是對於繼續進入高階離散數學領域的需求,更希望本書能為讀者形成一道活水源頭,綿延流長而源源不絕。
第一章 基礎概念
命題邏輯
謂詞邏輯
邏輯推論與證明
集合理論
數學歸納法
第二章 離散計算工具
排列問題
組合問題
進階組合計算
排容與鴿籠原理
離散機率簡介
齊次遞迴關係
進階遞迴分析
遞迴關係之應用
生成函收
第三章 數論與密碼學
基礎數論
質數性質簡介
模數算術
密碼學簡介
第四章 函數與關係
函數
關係
關係之運算
關係之閉包
等價關係
偏序與全序關係
第五章 圖與樹
基礎圖論
進階圖論
歐拉圖與漢莫敦圖
平面圖
樹之基本概念
有根樹分析
生成樹與最小成樹
字串編碼
第六章 演算法簡介
演算法與複雜度
圖之偏歷與搜尋
最短路徑問題
動態規劃
最大流量問題
第七章 抽象代數簡介
代數系統
基礎群論
進階群論
模同餘群與對稱群
環與體
附錄A 矩陣樹定理
附錄B 搜尋與排序
附錄C 部份習題簡答