本书系统地介绍了离散数学四大分支――集合理论、数理逻辑、图论、抽象代数――的基本内容.全书共分10章，分别阐述了集合、关系、函数、无限集合、命题逻辑、谓词逻辑、图、特殊图、代数系统、环、域和格.本书体系严谨,结构合理,内容丰富,力求深入浅出,并与计算机科学的理论和实践紧密结合.书中配有许多例题和习题,每章后面附有内容小结.
本书可作为计算机、自动控制、电子工程及相关专业的本科学生教材,也

第一篇 集合理论
第一章 集合
1.1集合
1.2集合间的关系
1.3集合的运算
1.4幂集和编码
1.5集合恒等式证明
*1.6集合