●前言
●符號注釋
●第1篇 數理邏輯
●第1章 命題邏輯
●1.1 命題
●1.2 命題聯結詞
●1.3 命題公式及其真值表
●1.4 邏輯等價
●1.5 蘊含與對偶
●1.6 聯結詞的全功能集合
●1.7 命題公式的範式
●1.8 命題邏輯的推理理論
●第2章 謂詞邏輯
●2.1 個體與謂詞
●2.2 命題函數與量詞
●2.3 謂詞公式與
●2.4 謂詞演算的等價式與蘊含式
●2.5 謂詞演算的推理理論
●第2篇 集合論
●第3章 集合與關繫
●部分目錄

離散數學是研究離散的、有限量的結構及其相互關繫的數學學科。它以抽像和形式化為顯著特征，是由數理邏輯、集合論、抽像代數、組合數學、圖論、算法理論等彙集而成的一門綜合學科，是現代數學的一個重要分支。它廣泛地應用於各學科領域，特別是計算機科學與技術領域。
學習殷劍宏、金菊良編寫的這本《離散數學》，無需特別預備知識，既易輕松入門，又易激發學習興趣，是一本短、平、快的離散數學入門教材，並且它具有很強的普適性，特別適合計算機科學與技術、軟件工程、網絡工程、信息安全、物聯網工程、數字媒體技術數學與應用數學、信息與計算科學、信息管理與信息繫統、電子商務、電子信息工程、電子科學與技術、通信工程、信息工程等專業師生選用。
《離散數學》由機械工業出版社出版發行。