●前言
●第1章數理邏輯與推理基礎
●1.1命題邏輯
●1.1.1命題及其表示法
●1.1.2邏輯聯結詞
●1.1.3命題公式
●1.1.4命題等價定律
●1.1.5命題公式的範式
●1.1.6蘊涵關繫
●1.1.7推理
●1.2謂詞邏輯
●1.2.1謂詞的概念與謂詞公式
●1.2.2謂詞邏輯公式
●1.2.3量詞等價定律
●1.2.4謂詞公式的範式
●1.2.5謂詞邏輯的推理
●1.3歸納方法
●1.3.1數學歸納法的形式
●1.3.2數學歸納法的應用
●第2章集合與函數
●部分目錄

離散數學是計算機專業的專業基礎課，本書建立在數學理論的基礎上，主要介紹數理邏輯、集合論、組合論、圖論和群論等內容，注重知識點之間的關聯性，既有一定深度又深入淺出，通過大量實例和練習培養學生嚴謹的思維方法，通過算法編程提高學生解決實際應用問題的能力。本書適合作為計算機相關專業的本科生教材，也可作為自學讀物或考研參考書。