離散數學(第二版)

　　本書參考美國常春藤名校教材編著，以數學模型切入，井然有序地描述有關定義、定律、與定理，並以充裕的範例與習題引導作完全剖析，掃除疑惑建立正確觀點。學習本書當可了解：(1)支援電腦應用的數學意義、(2)電腦硬體模製之數學依據、(3)軟體程式語言與文法之數學淵源。

　　全書概分十三章，內容包括集合(Set Theory)、關係式(Relations)、函數(Function)、向量與行列矩陣(Vectors and Matrices)、圖論(Graph Theory)、平整圖(Planar Graphs)、著色法(Colorations)、樹(Tree)、有向圖(Directed Graphs)、有限狀態器(Finite State Machines)、組合分析(Combinatorial Analysis)、代數觀點(Algebraic Systems)、語言(Formal Languages)、邏輯主張(Proposition Calculus)、偏序集合(Partially Ordered Sets)、 點陣格(Lattices)、布林代數(Boolean Algebra)、自動機理論(Automata Theory)。

　　大專院校同學學習本書，可：1.奠定電腦課程之基礎、2.準備研究所入學考試之需要、3.作為原文課本之參考書。

　　1.在奠定電腦課程之基礎上，本書支援課程有：

(1) 數位邏輯(集合、關係式、組合分析、邏輯主張、布林代數)；
(2) 程式語言(函數、向量與行列矩陣、組合分析、邏輯主張、布林代數)；
(3) 計算機結構(圖論、平整圖、著色法、偏序集合、點陣格)；
(4) 編譯程式(有限狀態機、自動機理論)；
(5) 資料結構(樹、有向圖、點陣格)。

　　2.在準備研究所入學考試之需要上，本書以370則充裕的範例與習題涵蓋所有可能的考題，詳盡的解答敘述與完全剖析。

　　3.在用為原文課本之參考書上，學過此課程者都有經驗，離散數學之原文辭句不易深切了解，而本書則以淺顯易懂的中文語句，讓思維輕鬆流暢，抓住問題的精髓，全書編輯1,100個中英索引，足夠應用於中英文間之交流。

第一章 集合 (Set Theory)
第二章 關係式 (Relations)
第三章 函數 (Function)
第四章 向量 與 行列矩陣 (Vectors and Matrices)
第五章 圖論 (Graph Theory)
第六章 平整圖(Planar Graphs)、著色法(Colorations)、樹(Tree)
第七章 有向圖(Directed Graphs)、有限狀態器(Finite State Machines)
第八章 組合分析(Combinatorial Analysis)
第九章 代數觀點(Algebraic Systems)與語言(Formal Languages)
第十章 邏輯主張(Proposition Calculus)
第十一章 偏序集合(Partially Ordered Sets)與點陣格(Lattices)
第十二章 布林代數(Boolean Algebra)
第十三章 自動機理論(Automata Theory)與語言(Languages)
附錄A 中英文名詞索引
附錄B 英文名詞索引
附錄C 參考資料