離散數學

離散數學是所有主修計算機科學的基本課程，討論一些非常基本的題目：邏輯、歸納、集合、關係、圖、組合數學、有限狀態機器、遞迴等。本書的目的是希望提供給所有學習計算機科學的大學生必須具備的數學基礎。筆者認為，學習離散數學應該是一件快樂的事，故內容不應該編寫得太艱深，因此本書以簡單、必要為編寫方向，讓學生在學習的過程中有滿足的喜悅，學習後有長智慧的感覺，最重要的，也讓學生從此不再那麼害怕數學式子!

戴顯權
現任：國立成功大學電機工程學系教授
學歷：國立清華大學資訊博士；國立台灣大學電機碩士；國立台灣大學電機學士

學習計算機科學所需要的基礎數學，我們稱之為離散數學。因此，離散數學是所有主修計算機科學的基本課程。這門課通常是安排在大一或是大二的一個學期。在這門課中，學生所學習的是非常基本的題目：邏輯、歸納、集合、關係、圖、組合數學、遞迴等。這其中有一些題目本身就可以成為一門課，我們不妨稱其為進階的離散數學。例如，理則學、圖論，以及組合數學等都有其獨立的一門課，這些課程我們都可以視為是離散數學的進一步深入研究。

Chapter 1 邏輯與證明
Chapter 2 集合
Chapter 3 關係與函數
Chapter 4 組合數學
Chapter 5 圖與樹
Chapter 6 遞迴關係與演算法分析
Chapter 7 有限狀態機器
附錄：作業奇數題解答