离散数学

本书系统地介绍了各种离散的数学结构，其中包括集合论、代数系统、图论及数理逻辑的基本内容。本书以证明方法和证明过程为重点，以关系的理念贯穿全书。