作者：邢双云, 许景科编著
出版社： 东北大学出版社
CIP号：2018244676
书号：978-7-5517-2036-6
出版地：沈阳
出版时间：2018.9
定价：￥39
本书是计算机科学核心课程。全书共分七章。分别介绍了命题逻辑、谓词逻辑、集合与关系、函数、代数结构、格与布尔代数和图论的基本理论知识和应用。内容叙述严禁，推演详尽，大部分概念都用实例说明并配有相当数量的习题。本书可作为理工科院校计算机专业的离散数学教材，也可作为信息与计算科学、自动控制、电子工程、通信工程等有关专业的教学用书，并可供计算机科研工作者及有关工程技术人员参考。