【簡介】 學習計算機科學所需要的基礎數學，我們稱之為離散數學。因此，離散數學是所有主修計算機科學的基本課程。這門課通常是安排在大一或是大二的一個學期。在這門課中，學生所學習的是非常基本的題目：邏輯、歸納、集合、關係、圖、組合數學、遞迴等。這其中有一些題目本身就可以成為一門課，我們不妨稱其為進階的離散數學。例如，理則學、圖論，以及組合數學等都有其獨立的一門課，這些課程我們都可以視為是離散數學的進一步深入研究。 【目錄】 Chapter 1 邏輯與證明 Chapter 2 集合 Chapter 3 關係與函數 Chapter 4 組合數學 Chapter 5 圖與樹 Chapter 6 遞迴關係與演算法分析 Chapter 7 有限狀態機器 附錄 作業奇數題解答