離散數學包括邏輯、集合理論、遞迴關係、技術理論（組合理論）、抽象代數、圖形理論等等許多古典數學在內，在各該學門之高等研究中佔有重要關鍵工具的地位。本書可供資訊科技、工程、經濟、生物乃至社會等科系一學期二學分課程用，每章都可自成一門獨立學問，教師可視需要酌取適當內容授課。 本書特色如下：讀者所需之先備數學知識儘量維持最低要求，只要中學數學知識即可。本書在理論上力求精簡，每章之例題、習題在難度上均力求放低，具有中等程度的同學都能自行解答八成以上的習題，我們也精選了一些基本的證明問題，提供了同學對定理定義有融會貫通之機會。本書後附部分重要習題詳解，可供同學參考。

第一章　命題代數與基本論證方法1.1　命題與真值表1.2　條件命題1.3　命題推理1.4　量　詞1.5　數學歸納法1.6　鴿籠原理 第二章　集　合2.1　集合定義2.2　集合運算2.3　集合基本定理2.4　排容原理★2.5　集合函數之映射★2.6　集合基數2.7　複雜度分析 第三章　關　係3.1　卡氏積3.2　關　係3.3　關係之運算3.4　關係之進一步分析 第四章　偏序、格與布林代數4.1　偏　序4.2　格4.3　電路與邏輯閘4.4　布林代數之簡介4.5　布林代數之偏序性質 第五章　基本組合理論5.1　基本計數原理與符號5.2　組合論之一些特殊題型5.3　重複組合與生成函數在組合論中之應用 第六章　遞迴關係6.1　遞迴關係之定義6.2　強的數學歸納法6.3　遞迴關係之基本解法6.4　生成函數在遞迴關係解法上之應用 第七章　代數結構7.1　二元運算7.2　半群與單群7.3　群7.4　同態與同構 第八章　圖與樹入門8.1　圖形的基本要素8.2　簡單圖與完全圖8.3　Euler圖與Hamilton圖8.4　同　構8.5　樹基本名詞 習題解答 (部份重要習題)