本书是与上海科学技术文献出版社1982版《离散数学》教材相配套的辅助教材，内容按照教材章节顺序进行编写。本书分为九章，内容包括命题逻辑、谓词逻辑、集合与关系、函数、代数结构、格与布尔代数、图论、形式语言与自动机、纠错码初步。每章节包括：本章知识要点、典型例题分析与讲解、习题全解三部分。本章知识要点部分集中了离散数学的基本概念和定理；典型例题分析与讲解部分对常见典型题目的解题思路进行了分析；习题全解部分对教材中各对应习题做了详细的参考解答。

本书可作为高等院校离散数学课程的教学参考书，也可作为计算机软件水平考试和计算机等级考试用书，以及考研者应试复习。

本书分为九章，内容包括命题逻辑、谓词逻辑、集合与关系、函数、代数结构、格与布尔代数、图论、形式语言与自动机、纠错码初步。每章节包括：本章知识要点、典型例题分析与讲解、习题全解三部分。本章知识要点部分集中了离散数学的基本概念和定理；典型例题分析与讲解部分对常见典型题目的解题思路进行了分析；习题全解部分对教材中各对应习题做了详细的参考解答。

第一章 命题逻辑

第二章 谓词逻辑

第三章 集合与关系

第四章 函数

第五章 代数结构

第六章 格与布尔代数

第七章 图论

第八章 形式语言与自动机．

第九章 纠错码初步