《离散数学及应用》是一流本科课程离散数学［线上一流课程，主要开课平台是爱课程（中国大学MOOC）］的指定教材，本书是该教材的配套学习用书，全书共10章，与《离散数学及应用（第3版）》的结构完全对应。 本书给出了《离散数学及应用（第3版）》中各章节习题的全部解答，同时提供了大量补充习题。此外，每章的开头还提供了本章的知识结构图。本书有两个附录，分别是参考教学内容与课时安排及课程综合实验，这些内容可以看作对《离散数学及应用（第3版）》的有益补充。 本书不仅适合作为高等院校计算机或软件工程专业本科生或研究生相关课程教材，也可供其他专业学生和科技人员阅读参考。

第1章基础知识/1

1.1集合与序列2

1.1.1内容提要2

1.1.2主教材习题参考解答4

1.2数论基础10

1.2.1内容提要10

1.2.2主教材习题参考解答12

1.3计数基础16

1.3.1内容提要16

1.3.2主教材习题参考解答19

1.4布尔矩阵及其运算28

1.4.1内容提要28

1.4.2主教材习题参考解答29

1.5补充习题及参考解答30

第2章命题逻辑/55

2.1命题逻辑的基本概念56

2.1.1内容提要56

2.1.2主教材习题参考解答56

2.2命题公式及其分类58

2.2.1内容提要58

2.2.2主教材习题参考解答59

2.3命题逻辑的等值演算61

2.3.1内容提要61

2.3.2主教材习题参考解答62

2.4对偶与范式62

2.4.1内容提要62

2.4.2主教材习题参考解答65

2.5命题联结词的完备集67

2.5.1内容提要67

2.5.2主教材习题参考解答68

2.6命题逻辑的推理69

2.6.1内容提要69

2.6.2主教材习题参考解答70

2.7补充习题及参考解答75

〖1〗离散数学及应用学习指导与习题解析目录〖3〗〖3〗第3章谓词逻辑/91

3.1谓词与量词92

3.1.1内容提要92

3.1.2主教材习题参考解答93

3.2谓词公式及分类94

3.2.1内容提要94

3.2.2主教材习题参考解答95

3.3自然语言形式化96

3.3.1内容提要96

3.3.2主教材习题参考解答96

3.4谓词逻辑的等值演算98