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