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