邓辉文–离散数学章节.docVIP

第1章 集合、映射与运算1 1.1 集合的有关概念1 1.1.1 集合1 1.1.2 子集3 1.1.3 幂集4 1.1.4 n元组5 1.1.5 笛卡儿积6 习题1.16 1.2 映射的有关概念7 1.2.1 映射的定义7 1.2.2 映射的性质9 1.2.3 逆映射10 1.2.4 复合映射11 习题1.213 1.3 运算的定义及性质14 1.3.1 运算的定义14 1.3.2 运算的性质17 习题1.321 1.4 集合的运算22 1.4.1 并运算22 1.4.2 交运算23 1.4.3 补运算24 1.4.4 差运算26 1.4.5 对称差运算27 习题1.428 1.5 集合的划分与覆盖29 1.5.1 集合的划分29 1.5.2 集合的覆盖32 习题1.532 1.6 集合的对等32 1.6.1 集合对等的定义33 1.6.2 无限集合33 1.6.3 集合的基数34 1.6.4 可数集合34 1.6.5 不可数集合35 1.6.6 基数的比较35 习题1.636第2章 关系37 2.1 关系的概念37 2.1.1 n元关系的定义37 2.1.2 2元关系38 2.1.3 关系的定义域和值域41 2.1.4 关系的表示42 2.1.5 函数的关系定义43 习题2.144 2.2 关系的运算46 2.2.1 关系的集合运算46 2.2.2 关系的逆运算46 2.2.3 关系的复合运算47 2.2.4 关系的其他运算51 习题2.251 2.3 关系的性质52 2.3.1 自反性52 2.3.2 反自反性53 2.3.3 对称性54 2.3.4 反对称性55 2.3.5 传递性56 习题2.358 2.4 关系的闭包59 2.4.1 自反闭包r(R)59 2.4.2 对称闭包s(R)60 2.4.3 传递闭包t(R)61 习题2.464 2.5 等价关系65 2.5.1 等价关系的定义65 2.5.2 等价类66 习题2.568 2.6 相容关系69 2.6.1 相容关系的定义69 2.6.2 相容类70 习题2.671 2.7 偏序关系71 2.7.1 偏序关系的定义71 2.7.2 偏序集的哈斯图73 2.7.3 偏序集中的特殊元素74 习题2.776第3章 命题逻辑78 3.1 命题的有关概念78 习题3.180 3.2 逻辑联结词80 3.2.1 否定联结词瘙
綈p81 3.2.2 合取联结词p∧q81 3.2.3 析取联结词p∨q81 3.2.4 异或联结词pq82 3.2.5 条件联结词p→q82 3.2.6 双条件联结词pq83 3.2.7 与非联结词p↑q83 3.2.8 或非联结词p↓q84 3.2.9 条件否定联结词p→nq84 习题3.284 3.3 命题公式及其真值表85 3.3.1 命题公式的定义85 3.3.2 命题的符号化86 3.3.3 命题公式的真值表86 3.3.4 命题公式的类型87 习题3.388 3.4 逻辑等值的命题公式89 3.4.1 逻辑等值的定义90 3.4.2 基本等值式91 3.4.3 等值演算法92 3.4.4 对偶原理93 习题3.493 3.5 命题公式的范式95 3.5.1 命题公式的析取范式及合取范式95 3.5.2 命题公式的主析取范式及主合取范式98 习题3.5103 3.6 联结词集合的功能完备性104 3.6.1 联结词的个数104 3.6.2 功能完备联结词集105 习题3.6107 3.7 命题逻辑中的推理108 3.7.1 推理形式有效性的定义108 3.7.2 基本推理规则109 3.7.3 命题逻辑的自然推理系统110 习题3.7114第4章 谓词逻辑116 4.1 个体、谓词、量词和函词116 4.1.1 个体116 4.1.2 谓词117 4.1.3 量词117 4.1.4 函词119 习题4.1119 4.2 谓词公式及命题的符号化120 4.2.1 谓词公式120 4.2.2 命题的符号化120 习题4.2122 4.3 谓词公式的解释及类型124 4.3.1 谓词公式的解释124 4.3.2 谓词公式的类型125 习题4.3125 4.4 逻辑等值的谓词公式127 4.4.1 谓词公式等值的定义127 4.4.2 基本等值式127 习题4.4129 4.5 谓词公式的前束范式129 4.5.1 谓词公式的前束范式的定义129 4.5.2 谓词公式的前束范式的计算130 习题4.5130 4.6 谓词逻辑中的推理131 4.6.1 逻辑蕴涵式131 4.6.2 基本推理规则131 4.6.3 谓词逻辑的自然推理系统132 习题4.6134第5章 代数结构136 5.1 代数结构简介136