簡明離散數學

<內容簡介>

計算機快速的發展與廣泛的應用，促進了各種資訊的數位化，使得離散數學變成現今是計算機科學、計算機工程、資訊科學、資訊工程、電子工程、電機工程、應用數學及其他各專業學系中的重要基礎課程。

　　本書對離散數學提供—簡明精確、基本且廣泛的介紹。內容的安排，使讀者能熟悉抽象思維、符號表示、邏輯表達及各種演算形式，進而能發現問題、分析問題並解決問題。

　　本書取材配合資訊、電子、電機、應用數學等相關科系的課程，主要內容包括：邏輯與證明技巧、集合論、關係與函數、基本組合論、生成函數、遞迴關係、圖論及代數系統。本書編寫過程中，力求體系嚴謹，深入淺出並遵循「先定義再引用」原則，因此，先有第0章基礎篇，介紹集合、常用函數以及矩陣等預備知識。書中在講述各個定義及定理時，均有多個例子說明其意涵；在講述各個演算法時，均以實例說明演算法每一步驟。本書撰寫力求簡潔，略去了一些較冗長的定理證明，但能保持內容的完整性。各章後均附有習題，依相關章節先後安排，便於在未讀畢全章時也可以依次練習，並且有利於整合相關觀念。

<章節目錄>

0 基礎篇
1 邏輯
2 集合論
3 關係
4 函數
5 基本組合理論
6 生成函數
7 遞迴關係
8 圖
9 特殊圖類
10 代數系統