《离散数学》共分6章，分别是绪论、命题逻辑、谓词逻辑、集合论、代数系统和图论。主要内容有离散量与离散数学、命题公式演算、命题逻辑的推理理论、归结演绎推理、谓词公式演算、谓词公式的解释、自然演绎推理、集合运算、集合计数、鸽笼原理、包含排除原理（容斥原理）、二元关系、偏序、函数与映射、集合的基数、代数运算、同态、同构、群、群在编码理论中的应用、格、布尔代数、图的基本概念、图的矩阵表示、有向图、欧拉图、哈密顿图、带权图和树。《离散数学》设计为72学时，带星号*的章节可视具体情况选讲。<br />《离散数学》可作为高等院校计算机专业的教材，也可供信息及电子等专业师生参考。