本書系統(tǒng)地介紹了離散數(shù)學中的基本概念、定理及證明方法，并詳細闡述了各部分知識的應用實例，展示了離散數(shù)學在計算機科學及相關領域應用，還配備了大量具有針對性的習題，以幫助學生學習、理解和應用離散數(shù)學的相關理論。本書共8章，內(nèi)容包括命題邏輯、謂詞邏輯、集合、二元關系和函數(shù)、圖、特殊圖、代數(shù)系統(tǒng)基礎和幾個典型的代數(shù)系統(tǒng)。