本书包括以下6个方面的内容：（1）数理逻辑；（2）集合论；（3）代数结构；（4）图论；（5）组合分析初步；（6）形式语言与自动机初步。 书中概念论述清楚，讲解详实，通俗易懂，并且着重于概念的应用，而不着重于定理的证明，每章后均附有习题，建议学时60-80。 本书可以作为计算机及相关专业本科生的教材，也可以作为计算机软件专业水平考试的参考书，同时还可以供从事计算机软件、硬件研究开发和应用的人员使用，另有配套教材《离散数学题解》。 本书获得2001年北京市教育教学成果（高等学校）一等奖。

本书已出版发行12个年头.当初是为了适应全国计算机软件专业技术资格和水平考试的需要而编写的.现在，全国计算机软件专业技术资格和水平考试的内容有了很大的变化，仅在系统分析员级中还有离散数学.但是，出乎我们意料的是，本书的发行量一直在逐年上升，被很多学校选作教材.为了更好地适应这种形势的需要，应清华大学出版社的要求，出版本书的第三版. 第三版在内容上没有做大的改动.除订正第二版中的错误和修改了少量的表述外，主要是对每章的最后一节“题例分析”进行了修改和补充.原来“题例分析”中的例题全部是选择题（这是因为当初全国计算机软件专业技术资格和水平考试中的离散数学只有这种题型），尽管每一题都加了“分析”，对相关知识和技巧做了尽可能全面的讲解，但由于这种题型的限制，还是很难充分发挥这一节的应有作用.第三版保留了部分选择题，根据内容的需要添加或改写了其他形式的例题，使得这一节更好地起到它应有的作用，即帮助读者理解和掌握本章的内容，强调学习中应注意的事项（如容易犯的错误），进一步讲解做题的技巧等. 各部分的修改由原作者完成.