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