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