本书系统介绍了数理逻辑、二元关系、图论、代数系统与布尔代数中有关的概念、定理及其证明方法。既强化基本概念的描述，还特别着重于阐述有关离散数学的证明方法及离散数学在计算机中的应用，并给出了大量的例子和应用实例。

讀書記錄：
此書是我本科二年級的教材，一個學期完成。

推薦理由：
其實此書挺不錯，例子很多，知識面也足夠廣，很適合自學。但此書內容太淺。每章后面的練習題難度適中，基本上我都做了。

閱讀基礎：高中數學、大學數學
等級評價：★★☆☆☆☆

此書不提供下載。