離散數學

書評

本書是為計算機科學等專業的學生寫的一本離散教學基礎教材。理論部分取材於數學的幾個與計算機 學科聯繫緊密的的理論分支，並且在不致與其他課程內容重複的宗旨下，儘可能地給出了一些運用數學理論解決專業問題的實例。

本教材的很多專題是從日常生活問題引出的，並有大量的例題和練習，行文也力求通俗。本書也可供希望瞭解離散數學內容的讀者自學之用，本書配有電子教案和習題解答。

第一章 緒論

1.1 離散數學的研究對象

1.2 離散數學的主要內容

1.3 學習離散數學的方法

第二章 數理邏輯

2.1 命題

2.2 命題聯結詞

2.3 命題的合式公式

2.4 真值表、永真式和永假式

2.5 公式的等價和藴含

2.6 公式的主範式

2.7 命題演算的推理理論

2.8 命題邏輯和二值邏輯器件

2.9 一階謂詞邏輯

2.10 命題函數和個體變量及量詞

2.11 謂詞公式

2.12 謂詞演算的推理理論

第三章 集合和關係

第四章 數函數和遞推關係

第五章 圖論

第六章 代數系統

第七章 格與布爾代數

參考文獻