离散数学

出版时间：2001年01月  出版社：科学出版社  作者：蔡经球  

内容概要

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

书籍目录

第一篇 集合理论第一章 集合1.1 集合1.2 集合间的关系1.3 集合的运算1.4 幂集和编码1.5 集合恒等式证明*1.6 集合的范式*1.7 多重集合本章小结习题一第二章 关系2.1 笛卡儿积2.2 关系的基本概念2.3 关系的运算2.4 关系的性质2.5 a上二元关系的幂运算2.6 关系的闭包2.7 划分和等价关系2.8 完全覆盖和相容关系2.9 次序关系本章小结