本书根据IEEE-CS/ACM Computing Curricula 2005系统地阐述了离散数学的经典内容, 渗透初等数论知识。全书共分8章，分别介绍集合、映射与运算，关系，命题逻辑，谓词逻辑，代数结构，图论以及几类特殊的图及组合计数。本书以集合、映射、运算与关系为主线，使全书内容联系紧密，具有较强的逻辑性。每节都有精选习题，书后有习题答案及提示。所用符号尽可能与其他专业课程一致，专业术语均有对应的英文。