2022年离散数学必备知识点总结 2.docx
![资源得分’ title=](/images/score_1.gif)
![资源得分’ title=](/images/score_1.gif)
![资源得分’ title=](/images/score_1.gif)
![资源得分’ title=](/images/score_1.gif)
![资源得分’ title=](/images/score_05.gif)
《2022年离散数学必备知识点总结 2.docx》由会员分享,可在线阅读,更多相关《2022年离散数学必备知识点总结 2.docx(18页珍藏版)》请在淘文阁 - 分享文档赚钱的网站上搜索。
1、精品_精品资料_总结 离散数学学问点其次章 命题规律1. ,前键为真,后键为假才为假. ,相同为真,不同为假.2. 主析取范式:微小项 m 之和.主合取范式:极大项 M之积.3. 求微小项时,命题变元的确定为 1,否定为 0,求极大项时相反.4. 求极大微小项时,每个变元或变元的否定只能显现一次,求微小项时变元不够合取真,求极大项时变元不够析取假.5. 求范式时,为保证编码不错, 命题变元最好按 P,Q,R 的次序依次写.6. 真值表中值为 1 的项为微小项,值为0 的项为极大项.可编辑资料 - - - 欢迎下载精品_精品资料_7.n 个变元共有2 n 个微小项或极大项,这2n 为02n -1
2、刚好为化简完可编辑资料 - - - 欢迎下载精品_精品资料_后的主析取加主合取.8. 永真式没有主合取范式,永假式没有主析取范式.9. 推证包蕴式的方法 = :真值表法. 分析法假定前键为真推出后键为真,假定前键为假推出后键也为假 10. 命题规律的推理演算方法: P 规章, T 规章真值表法.直接证法.归谬法.附加前提法.第三章 谓词规律1. 一元谓词:谓词只有一个个体,一元谓词描述命题的性质. 多元谓词:谓词有 n 个个体,多元谓词描述个体之间的关系.2. 全称量词用包蕴 ,存在量词用合取 ;可编辑资料 - - - 欢迎下载精品_精品资料_3. 既有存在又有全称量词时,先消存在量词,再消全
3、称量词.第四章集合1.N ,表示自然数集, 1,2,3 ,不包括 0.2. 基:集合 A 中不同元素的个数, |A|.3. 幂集:给定集合 A,以集合 A 的全部子集为元素组成的集合, PA .可编辑资料 - - - 欢迎下载精品_精品资料_4. 如集合 A 有 n 个元素,幂集 PA 有 2n 个元素, |PA|=2| A| = 2n .可编辑资料 - - - 欢迎下载精品_精品资料_5. 集合的分划: 等价关系 每一个分划都是由集合 A 的几个子集构成的集合.这几个子集相交为空,相并为全 A .6. 集合的分划与掩盖的比较:分划:每个元素均应显现且仅显现一次在子集中.掩盖:只要求每个元素都
4、显现,没有要求只显现一次.第五章关系1. 如集合 A 有 m 个元素,集合 B 有 n 个元素, 就笛卡尔 AB 的基数可编辑资料 - - - 欢迎下载精品_精品资料_为 mn, A 到 B 上可以定义2mn 种不同的关系.可编辑资料 - - - 欢迎下载精品_精品资料_可编辑资料 - - - 欢迎下载精品_精品资料_2. 如集合 A 有 n 个元素,就 |A A|=n2 ,A 上有2n2个不同的关系.可编辑资料 - - - 欢迎下载精品_精品资料_3. 全关系的性质:自反性,对称性,传递性.空关系的性质:反自反性,反对称性,传递性.可编辑资料 - - - 欢迎下载精品_精品资料_全封闭环的性
5、质:自反性,对称性,反对称性,传递性.4. 前域domR :全部元素 x 组成的集合. 后域ranR :全部元素 y 组成的集合.5. 自反闭包: rR=RU I x ;可编辑资料 - - - 欢迎下载精品_精品资料_对称闭包: sR=RU传递闭包: tR=RUR-1 ;R2 U R3 U可编辑资料 - - - 欢迎下载精品_精品资料_6. 等价关系:集合 A 上的二元关系 R 满意自反性,对称性和传递性, 就 R 称为等价关系.7. 偏序关系:集合 A 上的关系 R 满意自反性,反对称性和传递性, 就称 R 是 A 上的一个偏序关系.8. covA=|x,y属于 A, y 盖住 x.9.微小
6、元:集合 A 中没有比它更小的元素如存在可能不唯独.极大元:集合 A 中没有比它更大的元素如存在可能不唯独.最小元:比集合 A 中任何其他元素都小如存在就肯定唯独.最大元:比集合 A 中任何其他元素都大如存在就肯定唯独.10. 前提: B 是 A 的子集上界: A 中的某个元素比 B 中任意元素都大,称这个元素是 B 的上界如存在,可能不唯独 .下界: A 中的某个元素比 B 中任意元素都小,称这个元素是 B 的下界如存在,可能不唯独 .上确界:最小的上界 如存在就肯定唯独 . 下确界:最大的下界 如存在就肯定唯独 .可编辑资料 - - - 欢迎下载精品_精品资料_第六章函数1. 如|X|=m
7、,|Y|=n, 就从 X 到Y 有 2mn 种不同的关系,有nm 种不同的函数.可编辑资料 - - - 欢迎下载精品_精品资料_2. 在一个有 n 个元素的集合上,可以有同的函数,有 n.种不同的双射.2n2种不同的关系,有nn 种不可编辑资料 - - - 欢迎下载精品_精品资料_n3. 如|X|=m,|Y|=n ,且 m=n ,就从 X 到 Y 有Am 种不同的单射.可编辑资料 - - - 欢迎下载精品_精品资料_4. 单射: f:X-Y ,对任意x1 , x2 属于 X, 且x1 x2 ,如 fx1f x2.可编辑资料 - - - 欢迎下载精品_精品资料_满射: f:X-Y ,对值域中任意
8、一个元素y 在前域中都有一个或多个元素对应.双射: f:X-Y ,如 f 既是单射又是满射,就f 是双射.5. 复合函数: fog=gfx;6. 设函数 f:A-B ,g:B-C ,那么假如 f,g 都是单射,就 fog 也是单射.假如 f,g 都是满射,就 fog 也是满射.假如 f,g 都是双射,就 fog 也是双射.假如 fog 是双射,就 f 是单射, g 是满射.可编辑资料 - - - 欢迎下载精品_精品资料_第七章代数系统1. 二元运算:集合 A 上的二元运算就是A2 到 A 的映射.可编辑资料 - - - 欢迎下载精品_精品资料_2. 集合 A 上可定义的二元运算个数就是从 AA
9、 到A 上的映射的个数, 即从从 AA 到 A 上函数的个数,如 |A|=2, 就集合 A 上的二元运算的可编辑资料 - - - 欢迎下载精品_精品资料_个数为 22* 2 = 24 =16 种.3. 判定二元运算的性质方法:封闭性:运算表内只有所给元素.交换律:主对角线两边元素对称相等.幂等律:主对角线上每个元素与所在行列表头元素相同.有幺元:元素所对应的行和列的元素依次与运算表的行和列相同.有零元:元素所对应的行和列的元素都与该元素相同.4.同态映射:, 满意 fa*b=fafb, 就 f 为由 到的同态映射.如 f 是双射,就称为同构.第八章群1. 广群的性质:封闭性.半群的性质:封闭性
10、,结合律.含幺半群 独异点:封闭性,结合律,有幺元. 群的性质:封闭性,结合律,有幺元,有逆元.2. 群没有零元.3. 阿贝尔群 交换群:封闭性,结合律,有幺元,有逆元,交换律.4. 循环群中幺元不能是生成元.5. 任何一个循环群必定是阿贝尔群.可编辑资料 - - - 欢迎下载精品_精品资料_第十章格与布尔代数1. 格:偏序集合 A 中任意两个元素都有上、下确界.2. 格的基本性质:1) 自反性aa对偶: aa2) 反对称性ab b a= a=b对偶:ab b a= a=b3) 传递性ab b c=ac对偶:ab b c=ac4) 最大下界描述之一ab a对偶 avb a Abb对偶 avb
11、b5)最大下界描述之二c a,c b=cab对偶 ca,c b=cavb6) 结合律abc=abc对偶 avbvc=avbvc7) 等幂律aa=a对偶 ava=a可编辑资料 - - - 欢迎下载精品_精品资料_8) 吸取律aavb=a对偶 avab=a9) ab ab=aavb=b10) ac,bd=ab cdavb cvd11) 保序性bc=ab acavb avc 12 ) 安排不等式avbc avbavc对偶 abvc abvac 13 )模不等式acavbc avbc3. 安排格:满意 abvc=abvac 和 avbc=avbavc .4. 安排格的充要条件:该格没有任何子格与钻石格
12、或五环格同构.5. 链格肯定是安排格,安排格必定是模格.6. 全上界:集合 A 中的某个元素 a 大于等于该集合中的任何元素, 就称 a 为格A, 的全上界,记为 1.如存在就唯独 全下界:集合 A 中的某个元素 b 小于等于该集合中的任何元素, 就称 b 为格A, 的全下界,记为 0.如存在就唯独 7. 有界格:有全上界和全下界的格称为有界格,即有0 和 1 的格.8. 补元:在有界格内,假如 ab=0,avb=1 ,就 a 和 b 互为补元.9. 有补格:在有界格内,每个元素都至少有一个补元.10. 有补安排格 布尔格:既是有补格,又是安排格.可编辑资料 - - - 欢迎下载精品_精品资料
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 2022年离散数学必备知识点总结 2022 离散数学 必备 知识点 总结
![提示](https://www.taowenge.com/images/bang_tan.gif)
限制150内