第0章 准备知识

 0.1 集合、命题、谓词和运算

0.1.1 集合

0.1.2 命题与谓词

0.1.3 集合的表示

0.1.4 外延性原理与子集合

0.1.5 运算

 练习0.1 题解

 0.2 鸽笼原理

0.2.1 鸽笼原理基本形式

0.2.2 鸽笼原理加强形式

 练习0.2 题解

 第0章补充题及解析

第1章 逻辑代数(上)：命题演算纲要

 1.1 逻辑联结词与命题公式

1.1.1 逻辑联结词

1.1.2 命题公式

1.1.3 语句形式化

 练习1.1 题解

 1.2 逻辑等价式和逻辑蕴涵式

1.2.1 重言式

1.2.2 逻辑等价式和逻辑蕴涵式

1.2.3 对偶原理

1.2.4 应用逻辑

 练习1.2 题解

 1.3 范式

1.3.1 析取范式和合取范式

1.3.2 主析取范式与主合取范式

1.3.3 联结词的扩充和归约

 练习1.3 题解

 1.4 命题演算消解原理

 练习1.4 题解

 第1章补充题及解析

第2章 逻辑代数(下)：谓词演算

 ……

第3章 集合代数

第4章 初等数论

第5章 计数

第6章 关系

第7章 函数

第8章 可计算函数

第9章 图片树

第11章 代数和结构通论

第12章 群、环、域

参考文献

宋丽华、沈克勤等编写的《离散数学教程纲要及题解》是国家精品课程主讲教材《离散数学教程》(王元元等编著)的配套教学参考书，主要内容分三部分：(1)《离散数学教程》纲要部分。这部分对教材中重要的概念、定义、定理等知识点进行了总结归纳，以帮助读者快速复习、深化理解教材每一章内容的重点和精华。(2)习题解答部分。这部分针对教材中的课后习题给出详尽的参考答案，是本书的重点内容。(3)补充题部分。《离散数学教程纲要及题解》习题丰富、层次清晰、难易搭配合理，并且每一章末尾给出适应该章内容的补充习题及参考答案，旨在拓展练习范围，丰富读者视野和思维。

《离散数学教程纲要及题解》可作为高等学校计算机及相关专业离散数学课程教学辅导用书，也可作为离散数学课程学习的参考资料。

宋丽华、沈克勤等编写的这本《离散数学教程纲要及题解》是王元元等编著的《离散数学教程》的配套教学参考书。全书共分13章，内容包括准备知识，逻辑代数：命题演算纲要，逻辑代数：谓词演算，集合代数，初等数论，计数，关系，函数，可计算函数，图片树，代数和结构通论，群、环、域。可作为高等学校计算机及相关专业离散数学课程教学辅导用书，也可作为离散数学课程学习的参考资料。