离散数学及其应用 第2版

本书是国家精品课程主讲教材。本书系统介绍了数理逻辑与基本定理证明方法、二元关系、图论、代数系统与布尔代数中有关的概念、定理及其证明方法。既强化基本概念的描述，还特别着重于阐述有关离散数学的证明方法及离散数学应用实例，并以课程设计和实验的方式举出大量的例子和应用实例，充分展示了离散数学在计算机中的应用。本书有配套的电子教案和《离散数学实验与习题解析》。本书可作为高等工科院校有关专业学生离散数学课程教材，也适用于计算机专业的科技人员及学生使用。