[邓辉文-离散数学章节.doc

  1. 1、本文档共6页,可阅读全部内容。
  2. 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
  3. 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载
  4. 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
[邓辉文-离散数学章节

第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

文档评论(0)

yingxiaorong28 + 关注
实名认证
内容提供者

该用户很懒,什么也没介绍

1亿VIP精品文档

相关文档