作者:傅彦等编著
出版社: 高等教育出版社
CIP号:2019125890
书号:978-7-04-052152-8
出版地:北京
出版时间:2019.8
定价:¥40.7
本书是国家精品课程主讲教材。本书系统介绍了数理逻辑与基本定理证明方法、二元关系、图论、代数系统与布尔代数中有关的概念、定理及其证明方法。既强化基本概念的描述,还特别着重于阐述有关离散数学的证明方法及离散数学应用实例,并以课程设计和实验的方式举出大量的例子和应用实例,充分展示了离散数学在计算机中的应用。本书有配套的电子教案和《离散数学实验与习题解析》。本书可作为高等工科院校有关专业学生离散数学课程教材,也适用于计算机专业的科技人员及学生使用。