本书为普通高等教育“十一五”规划教材。
全书共分为五篇，主要内容包括命题逻辑和谓词逻辑的基本概念和推理理论：集合的基本知识、关系和函数；半群与群、环与域、格与布尔代数等代数系统的基本概念与性质；欧拉图、哈密尔顿图、二部图、平面图及树的基本概念和表示；基本计数原理、容斥原理、鸽巢原理、二项式定理、生成函数、递推关系和Polya计数定理。
本书知识面广，内容深入浅出、文字浅显易懂，适合作为高等院校计算机科学技术等相关专业的本科生和研究生的教学用书，也可供计算机工程技术和研究人员学习离散数学的参考用书。