本書沒有將離散數(shù)學內(nèi)容按照模塊分割進行編寫，突出知識的內(nèi)在聯(lián)系，循序漸進，相互依存。系統(tǒng)介紹了命題邏輯、謂詞邏輯、集合與關(guān)系、函數(shù)、圖論基礎(chǔ)、特殊圖、代數(shù)系統(tǒng)基礎(chǔ)、幾個典型的代數(shù)系統(tǒng)中的有關(guān)概念、定理及其證明方法。既強化基本概念的描述，又闡述了離散數(shù)學的證明方法及各部分知識的應(yīng)用實例，展示了離散數(shù)學在計算機科學與技術(shù)及相關(guān)領(lǐng)域的應(yīng)用。