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