本书是针对高等院校离散数学课程而编写的教材。全书共9章，分为数理逻辑、集合论、代数系统和图论4个部分。主要内容包括命题逻辑、谓词逻辑、集合、二元关系、函数、代数结构、格和布尔代数、图和树。在编写过程中，作者充分考虑初学者的学习特点，在章节内容编排、叙述表达、例题选择、课后习题等方面做了精心设计，内容通俗易懂、简明扼要，大部分理论概念都用实例说明并配有一定数量的习题。 　　本书适合作为高等院校计算机、软件工程、网络工程、管理科学等专业的离散数学教材，也可作为计算机相关专业的自学参考书。

暂无目录