離散數學精要

<內容簡介>

離散數學是基礎數學重要科目之一，不僅計算機領域的同學應探討深讀，其他理工科系、甚或文學科系的同學也應涉獵，幫助我們深入認識離散物件之邏輯關係，進而建立能力，以數學模式描述真實世界事件。

本書依大專院校教學課程需求，設計完整離散數學內容，以易懂文句精要編撰四單元共十四章：
第一單元 基礎篇(Basic Logic Concepts)：介紹集合、關係式、函數。
第二單元 邏輯代數篇(Logic and Algebra Calculus)：介紹組合分析、邏輯主張、布林代數、遞迴關係與生成函數。
第三單元 圖形篇(Logic and Graph)：介紹圖論、平整圖、著色法、樹、偏序集合與點陣格。
第四單元 計算機科學篇(Logic and Computing)：介紹有限狀態器、代數觀點與語言、自動機理論與語言。

本書特色
1、以初學者入門觀點編著，以簡潔文詞表達，使讀者輕鬆切入、輕鬆學習。
2、實作範例465則，測驗習題230則，大量練習範例與習題，充分協助教師教學，讓學生熟練各類考題，爭取校內好成續，爭取公職考試上榜。
3、提供中英文索引字彙720個，完全涵蓋離散數學用字，可與原文書籍互為參考書。

<章節目錄>

第一單元 基礎篇(Basic Concepts)
第1章 認識離散數學與本書
第2章 集合(Set Theory)
第3章 關係式(Relations)
第4章 函數(Function)
第二單元 邏輯代數篇(Logic and Algebra Calculus)
第5章 組合分析(Combinational Analysis)
第6章 邏輯主張(Proposition Calculus)
第7章 布林代數(Boolean Algebra)
第8章 遞迴關係與生成函數(Recurrence Relations and Generating Functions)
第三單元 圖形篇(Logic and Graph)
第9章 圖論(Graph Theory)
第10章 平整圖、著色法、樹(Planar Graphs, Colorations and Trees)
第11章 偏序集合與點陣格(Partially Ordered Sets and Lattices)
第四單元 計算機科學篇(Logic and Computing)
第12章 有向圖與有限狀態器 (Directed Graphs and Finite State Machines )
第13章 代數觀點與語言(Algebraic Systems and Languages)
第14章 自動機理論與語言(Automata Theory and Languages)
附錄A 中英文名詞索引
附錄B 英文名詞索引
附錄C 參考資料