离散数学必备知识点总结.pdf
![资源得分’ 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)
《离散数学必备知识点总结.pdf》由会员分享,可在线阅读,更多相关《离散数学必备知识点总结.pdf(18页珍藏版)》请在淘文阁 - 分享文档赚钱的网站上搜索。
1、离散数学必备知识点总结 Document number:NOCG-YUNOO-BUYTT-UU986-1986UT总结离散数学知识点第二章 命题逻辑1.,前键为真,后键为假才为假;,相同为真,不同为假;2.主析取范式:极小项(m)之和;主合取范式:极大项(M)之积;3.求极小项时,命题变元的肯定为 1,否定为 0,求极大项时相反;4.求极大极小项时,每个变元或变元的否定只能出现一次,求极小项时变元不够合取真,求极大项时变元不够析取假;5.求范式时,为保证编码不错,命题变元最好按 P,Q,R 的顺序依次写;6.真值表中值为 1 的项为极小项,值为 0 的项为极大项;7.n 个变元共有2n个极小项
2、或极大项,这2n为(02n-1)刚好为化简完后的主析取加主合取;8.永真式没有主合取范式,永假式没有主析取范式;9.推证蕴含式的方法(=):真值表法;分析法(假定前键为真推出后键为真,假定前键为假推出后键也为假)10.命题逻辑的推理演算方法:P 规则,T 规则真值表法;直接证法;归谬法;附加前提法;第三章 谓词逻辑1.一元谓词:谓词只有一个个体,一元谓词描述命题的性质;多元谓词:谓词有 n 个个体,多元谓词描述个体之间的关系;2.全称量词用蕴含,存在量词用合取;3.既有存在又有全称量词时,先消存在量词,再消全称量词;第四章集合1.N,表示自然数集,1,2,3,不包括 0;2.基:集合 A 中不
3、同元素的个数,|A|;3.幂集:给定集合 A,以集合 A 的所有子集为元素组成的集合,P(A);4.若集合 A 有 n 个元素,幂集 P(A)有2个元素,|P(A)|=2|A|=2;5.集合的分划:(等价关系)每一个分划都是由集合 A 的几个子集构成的集合;这几个子集相交为空,相并为全(A);6.集合的分划与覆盖的比较:分划:每个元素均应出现且仅出现一次在子集中;覆盖:只要求每个元素都出现,没有要求只出现一次;第五章关系1.若集合 A 有 m 个元素,集合 B 有 n 个元素,则笛卡尔 AB 的基数为 mn,A 到 B 上可以定义2种不同的关系;2.若集合 A 有 n 个元素,则|AA|=n2
4、,A 上有2n个不同的关系;2nnmn3.全关系的性质:自反性,对称性,传递性;空关系的性质:反自反性,反对称性,传递性;全封闭环的性质:自反性,对称性,反对称性,传递性;4.前域(domR):所有元素 x 组成的集合;后域(ranR):所有元素 y 组成的集合;5.自反闭包:r(R)=RUIx;对称闭包:s(R)=RUR-1;传递闭包:t(R)=RURURU6.等价关系:集合 A 上的二元关系 R 满足自反性,对称性和传递性,则 R 称为等价关系;7.偏序关系:集合 A 上的关系 R 满足自反性,反对称性和传递性,则称 R 是 A 上的一个偏序关系;8.covA=|x,y属于 A,y 盖住
5、x;9.极小元:集合 A 中没有比它更小的元素(若存在可能不唯一);极大元:集合 A 中没有比它更大的元素(若存在可能不唯一);最小元:比集合 A 中任何其他元素都小(若存在就一定唯一);最大元:比集合 A 中任何其他元素都大(若存在就一定唯一);10.前提:B 是 A 的子集上界:A 中的某个元素比 B 中任意元素都大,称这个元素是 B 的上界(若存在,可能不唯一);下界:A 中的某个元素比 B 中任意元素都小,称这个元素是 B 的下界(若存在,可能不唯一);23上确界:最小的上界(若存在就一定唯一);下确界:最大的下界(若存在就一定唯一);第六章函数1.若|X|=m,|Y|=n,则从 X
6、到 Y 有2种不同的关系,有n种不同的函数;2.在一个有 n 个元素的集合上,可以有2种不同的关系,有nn种不同的函数,有 n!种不同的双射;3.若|X|=m,|Y|=n,且 m=n,则从 X 到 Y 有Am种不同的单射;n4.单射:f:X-Y,对任意x1,x2属于 X,且x1x2,若 f(x1)f(x2);满射:f:X-Y,对值域中任意一个元素 y 在前域中都有一个或多个元素对应;双射:f:X-Y,若 f 既是单射又是满射,则 f 是双射;5.复合函数:fog=g(f(x);6.设函数 f:A-B,g:B-C,那么如果 f,g 都是单射,则 fog 也是单射;如果 f,g 都是满射,则 fo
7、g 也是满射;如果 f,g 都是双射,则 fog 也是双射;如果 fog 是双射,则 f 是单射,g 是满射;第七章代数系统n2mnm1.二元运算:集合 A 上的二元运算就是A2到 A 的映射;2.集合 A 上可定义的二元运算个数就是从AA 到 A 上的映射的个数,即从从 AA 到 A 上函数的个数,若|A|=2,则集合 A 上的二元运算的个数为22*2=24=16 种;3.判断二元运算的性质方法:封闭性:运算表内只有所给元素;交换律:主对角线两边元素对称相等;幂等律:主对角线上每个元素与所在行列表头元素相同;有幺元:元素所对应的行和列的元素依次与运算表的行和列相同;有零元:元素所对应的行和列
8、的元素都与该元素相同;4.同态映射:,满足 f(a*b)=f(a)f(b),则 f 为由到的同态映射;若 f 是双射,则称为同构;第八章群1.广群的性质:封闭性;半群的性质:封闭性,结合律;含幺半群(独异点):封闭性,结合律,有幺元;群的性质:封闭性,结合律,有幺元,有逆元;2.群没有零元;3.阿贝尔群(交换群):封闭性,结合律,有幺元,有逆元,交换律;4.循环群中幺元不能是生成元;5.任何一个循环群必定是阿贝尔群;第十章格与布尔代数1.格:偏序集合 A 中任意两个元素都有上、下确界;2.格的基本性质:1)自反性 aa对偶:aa 2)反对称性 ab ba =a=b对偶:ab ba =a=b 3
9、)传递性 ab bc =ac对偶:ab bc =ac 4)最大下界描述之一 aba对偶 avba Abb对偶 avbb 5)最大下界描述之二 ca,cb =cab对偶 ca,cb =?cavb 6)结合律 a(bc)=(ab)c对偶 av(bvc)=(avb)vc 7)?等幂律 aa=a对偶 ava=a 8)吸收律 a(avb)=a 对偶 av(ab)=a 9)ab ab=a avb=b 10)ac,bd =abcd avbcvd 11)保序性 bc =abac avbavc 12)分配不等式 av(bc)(avb)(avc)对偶 a(bvc)(ab)v(ac)13)模不等式 ac?av(bc
10、)(avb)c3.分配格:满足 a(bvc)=(ab)v(ac)和 av(bc)=(avb)(avc);4.分配格的充要条件:该格没有任何子格与钻石格或五环格同构;5.5.链格一定是分配格,分配格必定是模格;6.全上界:集合 A 中的某个元素 a 大于等于该集合中的任何元素,则称 a 为格A,的全上界,记为 1;(若存在则唯一)全下界:集合 A 中的某个元素 b 小于等于该集合中的任何元素,则称 b 为格A,的全下界,记为 0;(若存在则唯一)7.有界格:有全上界和全下界的格称为有界格,即有0 和 1 的格;8.补元:在有界格内,如果 ab=0,avb=1,则 a 和 b 互为补元;9.有补格
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 离散数学 必备 知识点 总结
![提示](https://www.taowenge.com/images/bang_tan.gif)
限制150内