全国高等教育自学考试指定教材 计算机及应用专业 独立本科段 离散数学 附：离散数学自学考试大纲PDF电子书下载

离散数学 1

第1章 命题演算 1

1.1 命题概念 1

1.2 复合命题与联结词 2

1.3 命题公式与真值表 7

1.4 等价变换与蕴含式 11

1.5 最小联结词组与范式 15

1.6 推理理论 21

第2章 谓词演算 27

2.1 谓词的概念与表示 27

2.2 量词与合式公式 29

2.3 谓词演算的等价式与蕴含式 33

2.4 前束范式 36

2.5 谓词演算的推理理论 38

第3章 集合与函数 41

3.1 集合的基本概念 41

3.2 集合的运算 44

3.3 笛卡尔积与关系 48

3.4 关系的表示与关系性质 52

3.5 关系运算与闭包 55

3.6 相容关系与覆盖 61

3.7 等价关系与划分 64

3.8 序关系 67

3.9 函数的概念 70

3.10 复合函数与逆函数 73

4.1 代数系统 77

第4章 代数结构 77

4.2 半群与独异点 83

4.3 群与子群 86

4.4 环与域 93

4.5 格与子格 97

4.6 分配格与有补格 102

4.7 布尔代数 106

第5章 图论 109

5.1 图的基本概念 109

5.2 路与回路 图的连通性 114

5.3 图的矩阵表示 117

5.4 欧拉图与汉密尔顿图 120

5.5 平面图 124

5.6 树及应用 127

参考书目 136

离散数学自学考试大纲 139

出版前言 139

一、课程的性质及其设置目的和要求 141

二、课程内容与考核目标 142

第1章 命题演算 142

第2章 谓词演算 143

第3章 集合与函数 144

第4章 代数结构 145

第5章 图论 146

三、有关说明与实施要求 148

附录 题型举例 150

后记 151