离散数学结构

作者：  王忠义，刘晓莉编

出版社：西北工业大学出版社,2011

简介：　　本书主要介绍4部分内容：集合论、数理逻辑、图论和代数系统．集合论包括集合论基础知识、二元关系和函数，数理逻辑包括命题逻辑和谓词逻辑，图论包括图论基础和特殊的图，代数系统包括代数结构、格与布尔代数．每章均介绍相应的一些应用实例，并配有适量的习题． 本书注重理论的严密性与实践的可操作性的有机结合，适合作为应用数学和信息类专业“离散数学”课程的教材，也可作为计算机应用相关专业的学习者和科研人员的参考书．