第1章集合、映射与运算1

1.1集合的有关概念1

【习题1.1】1

1.2映射的有关概念3

【习题1.2】3

1.3运算的定义及性质6

【习题1.3】6

1.4集合的运算10

【习题1.4】10

1.5集合的划分与覆盖14

【习题1.5】14

1.6集合对等16

【习题1.6】16

自测题117

自测题1参考答案18第2章关系20

2.1关系的概念20

【习题2.1】20

2.2关系的运算25

【习题2.2】25

2.3关系的性质27

【习题2.3】27

2.4关系的闭包30

【习题2.4】30

2.5等价关系33

【习题2.5】33

2.6相容关系38

【习题2.6】38

2.7偏序关系40

【习题2.7】40

自测题244

自测题2参考答案45第3章命题逻辑47

3.1命题的有关概念47

【习题3.1】47

3.2逻辑联结词48

【习题3.2】48

3.3命题公式及其真值表49

【习题3.3】49

3.4逻辑等值的命题公式53

【习题3.4】53

3.5命题公式的范式61

【习题3.5】61

3.6联结词集合的功能完备性68

【习题3.6】68

3.7命题逻辑中的推理70

【习题3.7】70

自测题375

自测题3参考答案76第4章谓词逻辑79

4.1个体、谓词、量词和函词79

【习题4.1】79

4.2谓词公式及命题的符号化80

【习题4.2】80

4.3谓词公式的解释及类型83

【习题4.3】83

4.4逻辑等值的谓词公式88

【习题4.4】88

4.5谓词公式的前束范式90

【习题4.5】90

4.6谓词逻辑中的推理92

【习题4.6】92

自测题497

自测题4参考答案98第5章代数结构101

5.1代数结构简介101

【习题5.1】101

5.2群103

【习题5.2】103

5.3环和域107

【习题5.3】107

5.4格与布尔代数112

【习题5.4】112

自测题5116

自测题5参考答案117第6章图论119

6.1图的基本概念119

【习题6.1】119

6.2节点的度数121

【习题6.2】121

6.3子图、图的运算和图同构123

【习题6.3】123

6.4路与回路125

【习题6.4】125

6.5图的连通性128

【习题6.5】128

6.6图的矩阵表示131

【习题6.6】131

6.7赋权图及最短路径134

【习题6.7】134

自测题6135

自测题6参考答案136第7章几类特殊的图138

7.1欧拉图138

【习题7.1】138

7.2哈密尔顿图141

【习题7.2】141

7.3无向树144

【习题7.3】144

7.4有向树148

【习题7.4】148

7.5平面图153

【习题7.5】153

7.6平面图的面着色157

【习题7.6】157

7.7二部图及其匹配158

【习题7.7】158

自测题7160

自测题7参考答案161第8章组合计数164

8.1排列组合与二项式定理164

【习题8.1】164

8.2生成函数165

【习题8.2】165

8.3递归关系166

【习题8.3】166

自测题8171

自测题8参考答案172附录A自测题一174附录B自测题一参考答案176附录C自测题二178附录D自测题二参考答案180