本書是國(guó)家精品課程主講教材。本書系統(tǒng)介紹了數(shù)理邏輯與基本定理證明方法、二元關(guān)系、圖論、代數(shù)系統(tǒng)與布爾代數(shù)中有關(guān)的概念、定理及其證明方法。既強(qiáng)化基本概念的描述，還特別著重于闡述有關(guān)離散數(shù)學(xué)的證明方法及離散數(shù)學(xué)應(yīng)用實(shí)例，并以課程設(shè)計(jì)和實(shí)驗(yàn)的方式舉出大量的例子和應(yīng)用實(shí)例，充分展示了離散數(shù)學(xué)在計(jì)算機(jī)中的應(yīng)用。本書有配套的電子教案和《離散數(shù)學(xué)實(shí)驗(yàn)與習(xí)題解析》。 本書可作為高等工科院校有關(guān)專業(yè)學(xué)生離散數(shù)學(xué)課程教材，也適用于計(jì)算機(jī)專業(yè)的科技人員及學(xué)生使用。