本书共分6章，分别是绪论、命题逻辑、谓词逻辑、集合论、代数系统和图论。主要内容包括离散量与离散数学、命题公式演算、命题逻辑的推理理论、归结演绎推理、谓词公式的解释、谓词公式演算、自然演绎推理、集合运算、集合计数、鸽笼原理、包含排除原理(容斥原理)、二元关系、函数与映射、代数运算、同态、同构、群、群在编码理论中的应用、布尔代数、图的基本概念、图的矩阵表示、有向图、欧拉图、哈密顿图、带权图和树。本书设计为72学时，带星号*的章节可视具体情况选讲。