本书按章分类，每章分三部分：第一部分是理论，它是离散数学中相应章节的概括，也是解答习题所涉及的课程范围，相当于是一个详细的复习提纲。第二部分是选题例解，主要提供了解题方法的分析，希望读者通过选例分析能够举一反三，触类旁通。第三部分是习题与解。希望读者能够独立解答，提出更多精巧的解法。

一、命题逻辑

二、谓词逻辑

三、集合与关系

四、函数

五、代数结构

六、格和布尔代数

七、图论

八、形式语言与自动机

九、纠错码初步

十、参考文献

复合命题函数 由一个或N个简单命题函数以及括号、逻辑联结词组合而成的表达式称复合命题函数。

个体域在命题函数中，命题变元的论述范围称作个体域。