离散数学和计算机科学关系密切。本书系统地介绍了离散数学的基础理论，阐述了各个分支之间的联系，还说明了它在计算机中的应用。主要内容包括：集合论、关系、映射和无限集、近世代数、图论、命题逻辑、谓词逻辑、命题逻辑和谓词逻辑的公理化理论、离散数学在计算机中的应用。章末附有复习提纲及习题，书末附有各章习题解答。  本书适合作为计算机及相关专业的学生和自学考试者的教材，也可供从事计算机和数学方面研究的科技工作者和教师学习参考。