作者	倪子伟
出版社
出版时间	2001-02-21

特色：
本书可作为计算机、自动控制、电子工程及相关专业的本科学生教材,也可供计算机专业的科技人员使用或参考.去掉带*标记的内容后,本书也可作为大专教材.

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