离散数学知识点.docx
- 文档编号:26366394
- 上传时间:2023-06-18
- 格式:DOCX
- 页数:42
- 大小:232.23KB
离散数学知识点.docx
《离散数学知识点.docx》由会员分享,可在线阅读,更多相关《离散数学知识点.docx(42页珍藏版)》请在冰豆网上搜索。
离散数学知识点
离散数学知识点
说明:
定义:
红色表示。
定理性质:
橙色表示。
公式:
蓝色表示。
算法:
绿色表示
页码:
灰色表示
数理逻辑:
1.命题公式:
命题,联结词(⌝,∧,∨,→,↔),合式公式,子公式
2.公式的真值:
赋值,求值函数,真值表,等值式,重言式,矛盾式
3.范式:
析取范式,极小项,主析取范式,合取范式,极大项,主合取范式
4.联结词的完备集:
真值函数,异或,条件否定,与非,或非,联结词完备集
5.推理理论:
重言蕴含式,有效结论,P规则,T规则,CP规则,推理
6.谓词与量词:
谓词,个体词,论域,全称量词,存在量词
7.项与公式:
项,原子公式,合式公式,自由变元,约束变元,辖域,换名,代入
8.公式语义:
解释,赋值,有效的,可满足的,不可满足的
9.前束范式:
前束范式
10.推理理论:
逻辑蕴含式,有效结论,∀-规则(US),∀+规则(UG),∃-规则(ES),∃+规则(EG),推理
集合论:
1.集合:
集合,外延性原理,∈,⊆,⊂,空集,全集,幂集,文氏图,交,并,差,补,对称差
2.关系:
序偶,笛卡尔积,关系,domR,ranR,关系图,空关系,全域关系,恒等关系
3.关系性质与闭包:
自反的,反自反的,对称的,反对称的,传递的,自反闭包r(R),对称闭包s(R),传递闭包t(R)
4.等价关系:
等价关系,等价类,商集,划分
5.偏序关系:
偏序,哈斯图,全序(线序),极大元/极小元,最大元/最小元,上界/下界
6.函数:
函数,常函数,恒等函数,满射,入射,双射,反函数,复合函数
7.集合基数:
基数,等势,有限集/无限集,可数集,不可数集
代数结构:
1.运算及其性质:
运算,封闭的,可交换的,可结合的,可分配的,吸收律,幂等的,幺元,零元,逆元
2.代数系统:
代数系统,子代数,积代数,同态,同构。
3.群与子群:
半群,子半群,元素的幂,独异点,群,群的阶数,子群,平凡子群,陪集,拉格朗日(Lagrange)定理
4.阿贝尔群和循环群:
阿贝尔群(交换群),循环群,生成元
5.环与域:
环,交换环,含幺环,整环,域
6.格与布尔代数:
格,对偶原理,子格,分配格,有界格,有补格,布尔代数,有限布尔代数的表示定理
图论:
1.图的基本概念:
无向图、有向图、关联与相邻、简单图、完全图、正则图、子图、补图,握手定理,图的同构
2.图的连通性:
通路,回路,简单通路,简单回路(迹)初级通路(路径),初级回路(圈),点连通,连通图,点割集,割点,边割集,割边,点连通度,边连通度,弱
3.
4.
5.形式系统:
一个形式系统I由下面四个部分组成:
(1)非空的字母表,记作A(I).
(2)A(I)中符号构造的合式公式集,记作E(I).
(3)E(I)中一些特殊的公式组成的公理集,记作AX(I).
(4)推理规则集,记作R(I).
自然推理系统:
无公理,即AX(I)=∅
公理推理系统:
推出的结论是系统中的重言式,称作定理【定义3.2】
P规则:
在推导过程中,可以随时添加前提。
T规则:
在推导过程中,可以引入公式S,它是由其前题的一个或多个公式借助重言、蕴含而得到的。
推理(证明):
从前提A1,A2,⋯,Ak到结论B的推理是一个公式序列C1,C2,⋯,Cl.其中Ci(1≤i≤l)是某个Aj,或者可由序列中前面的公式应用推理规则得到,并且Cl=B。
【定义3.3】
CP规则(演绎定理):
若Γ⋃{R}|-S,则Γ|-R→S,其中Γ为命题公式的集合。
个体词:
用于表示命题中主语部分的符号或符号串。
个体常元表示确指个体。
个体变元表示不确指个体。
个体域:
个体变元的取值范围,常用D表示。
量词:
限定个体数量特性的词。
全称量词∀:
对所有的
存在量词∃:
有些
谓词语言:
用符号串表示个体、谓词、量词和命题
个体变元符号:
x,y,z,…
个体常元符号:
a,b,c,…
函数符号:
f,g,…
⊥
谓词符号:
P,Q,R,…
命题常元符号:
⊥,
量词符号:
∀,∃
连接词符号:
⌝,∧,∨,→,↔
辅助符号:
),(【定义4.1】
项:
(1)个体常元和变元是项;
(2)若f是n元函数符号,t1,…,tn是项,则f(t1,…,tn)是项;
(3)仅仅有限次使用
(1),
(2)产生的符号串是项。
【定义4.2】
原子公式:
若P是一个元谓词符号,t1,…,tn是项,则P(t1,…,tn)是原子公式。
【定义4.3】
合式公式:
(1)原子公式是公式;
(2)若A是合式公式,则(⌝A)是合式公式;
(3)若A,B是公式,则(A∨B),(A∧B),A→B),(A↔B)是公式;
(4)若A是公式,x是变元,则∀xA,∃xA是公式;
(5)仅仅有限次使用1~4得到的符号串才是合式公式。
【定义4.4】
设公式α的一个子公式为∀xA或∃xA。
则称:
指导变元:
x是∀或∃的指导变元。
辖域:
A是相应量词的辖域。
约束出现:
辖域中x的一切出现,以及(∀x)中的x称为x在α中的约束出现。
自由出现:
变元的非约束出现。
约束变元:
约束出现的变元。
自由变元:
自由出现的变元。
【定义4.5】
封闭的:
一个公式A是封闭的,若其中不含自由变元。
【定义4.6】
变元换名:
(1)换名的范围是量词的指导变元,及其相应辖域中的变元,其余部分不变。
(2)换名时最好选用辖域中未出现的变元名。
变元代入:
代入对自由变元进行。
不能改变约束关系。
解释:
谓词语言的一个解释I=(D,ϕ)包括:
(1)非空集合D,称之为论域;
(2)对应于每一个个体常元a,ϕ(a)∈D;
(3)对应于每一个n元函数符号f都有一个函数ϕ(f):
Dn→D;
(4)对应于每一个n元谓词符号A都有一个n元关系ϕ(A)⊆Dn。
【定义4.7】
赋值:
解释I中的赋值v为每一个个体变元x指定一个值v(x)∈D,即设V为所个体变元的集合,则赋值v是函数v:
V→D.
可满足的:
给定公式A,若在某一解释中至少有一种赋值使A取值为1,则称A为可满足的。
否则称A是不可满足的。
等值式A⇔B:
若A↔B是有效的【定义5.1】
几类等值式
(1)命题公式的推广
e.g.P(x)→Q(x)⇔⌝P(x)∨Q(x)
(2)否定深入
⌝∀xP(x)⇔∃x(⌝P(x))
⌝∃xP(x)⇔∀x(⌝P(x))
(3)量词作用域的扩张与收缩
设B中不含x的自由出现,则
∀x(A(x)∨B)⇔∀xA(x)∨B
∀x(A(x)∧B)⇔∀xA(x)∧B
∀x(A(x)→B)⇔∃xA(x)→B
∀x(B→A(x))⇔B→∀xA(x)
∃x(A(x)∨B)⇔∃xA(x)∨B
∃x(A(x)∧B)⇔∃xA(x)∧B
∃x(A(x)→B)⇔∀xA(x)→B
∃x(B→A(x))⇔B→∃xA(x)
(4)量词分配等值式
∀x(A(x)∧B(x))⇔∀xA(x)∧∀xB(x)
∃x(A(x)∨B(x))⇔∃xA(x)∨∃xB(x)
(5)多个量词的使用
∀x∀yA(x,y)⇔∀y∀xA(x,y)
∃x∃yA(x,y)⇔∃y∃xA(x,y)
置换规则:
设Φ(A)是含A的公式,那么,若A⇔B,则Φ(A)⇔Φ(B).
换名规则:
设A为一公式,将A中某量词辖域中个体变项的所有约束出现及相应的指导变元换成该量词辖域中未曾出现过的个体变项符号,其余部分不变,设所得公式为A',则A'⇔A.
前束范式:
如果谓词公式A有如下形状:
Q1x1…QnxnM,其中Qixi或者是∀xi,或者是∃xi,i=1,…,n,M是不含量词的公式,Q1x1…Qnxn称为首标,M称为母式。
【定义5.2】
前束范式存在定理:
对于任意谓词公式,都存在与它逻辑等价的前束范式。
【定理5.1】
前束范式的算法:
步1.对约束出现的变元进行必要的换名,使得约束出现的变元互不相同且不与任何自由变元同名。
步2.将所有的否定号⌝深入到量词后面。
步3.将量词符号移至公式最外层。
逻辑蕴含式A⇒C:
当且仅当A→C是有效的。
几类逻辑蕴涵式
第一组命题逻辑推理定理的代换实例
如,∀xF(x)∧∃yG(y)⇒∀xF(x)
第二组基本等值式生成的推理定理
如,∀xF(x)⇒⌝⌝∀xF(x),⌝⌝∀xF(x)⇒∀xF(x)
⌝∀xF(x)⇒∃x⌝F(x),∃x⌝F(x)⇒⌝∀xF(x)
第三组其它常用推理定律
(1)∀xA(x)∨∀xB(x)⇒∀x(A(x)∨B(x))
(2)∃x(A(x)∧B(x))⇒∃xA(x)∧∃xB(x)
(3)∀x(A(x)→B(x))⇒∀xA(x)→∀xB(x)
(4)∀x(A(x)→B(x))⇒∃xA(x)→∃xB(x)
推理规则
∀-规则(US):
或
x,y个体变项,c个体常项
∀+规则(UG):
x个体变项
∃-规则(ES):
x个体变项,c个体常项
∃+规则(EG):
或
x,y个体变项,c个体常项
或
先用ES,再用US
自然推理系统NL:
1.字母表.同一阶语言L的字母表
2.合式公式.同L的合式公式
3.推理规则:
(1)前提引入规则
(2)结论引入规则
(3)置换规则
(4)假言推理规则
(5)附加规则
(6)化简规则
(7)拒取式
(8)假言三段论规则
(9)析取三段论规则
(10)构造性二难推理规则
(11)合取引入规则
(12)∀-规则
(13)∀+规则
(14)∃-规则
(15)∃+规则【定义5.3】
集合论:
A⊆B⇔∀x(x∈A→x∈B)【定义6.1】
A=B⇔A⊆B∧B⊆A【定义6.2】
A⊂B⇔A⊆B∧A≠B【定义6.3】
A⊈B⇔∃x(x∈A∧x∉B)
空集∅:
不含有任何元素的集合【定义6.4】
空集是任何集合的子集。
【定理6.1】
幂集P(A)={x|x⊆A}【定义6.5】
如果|A|=n,则|P(A)|=2n
全集E:
包含了所有元素的集合【定义6.6】
并A⋃B={x|x∈A∨x∈B}
交A⋂B={x|x∈A∧x∈B}
差(相对补)A-B={x|x∈A∧x∉B}【定义6.7】
对称差A⊕B=(A-B)⋃(B-A)【定义6.8】
补(绝对补)~A=E-A={x|x∉A}【定义6.9】
广义并⋃A={x|∃z(z∈A∧x∈z)}【定义6.10】
广义交⋂A={x|∀z(z∈A→x∈z)}【定义6.11】
集合恒等式
1.只涉及一个运算的算律:
⋃
⋂
⊕
交换
A⋃B=B⋃A
A⋂B=B⋂A
A⊕B=B⊕A
结合
(A⋃B)⋃C=A⋃(B⋃C)
(A⋂B)⋂C=A⋂(B⋂C)
(A⊕B)⊕C=A⊕(B⊕C)
幂等
A⋃A=A
A⋂A=A
2.涉及两个不同运算的算律:
⋃与⋂
⋂与⊕
分配
A⋃(B⋂C)=(A⋃B)⋂(A⋃C)
A⋂(B⋃C)=(A⋂B)⋃(A⋂C)
A⋂(B⊕C)=(A⋂B)⊕(A⋂C)
吸收
A⋃(A⋂B)=A
A⋂(A⋃B)=A
3.涉及补运算的算律:
-
~
D.M律
A-(B⋃C)=(A-B)⋂(A-C)
A-(B⋂C)=(A-B)⋃(A-C)
~(B⋃C)=~B⋂~C
~(B⋂C)=~B⋃~C
双重否定
~~A=A
4.涉及全集和空集的算律:
∅
E
补元律
A⋂~A=∅
A⋃~A=E
零律
A⋂∅=∅
A⋃E=E
同一律
A⋃∅=A
A⋂E=A
否定
~∅=E
~E=∅
序偶(有序对):
由两个元素x和y,按照一定的顺序组成的二元组,记作
笛卡儿积:
设A,B为集合,A与B的笛卡儿积记作A⨯B定义为A⨯B={
笛卡尔积性质:
A=∅或B=∅时,A⨯B=∅
“⨯”不满足结合律
A⨯(B⋃C)=(A⨯B)⋃(A⨯C)
关系:
(两个定义)
(1)序偶的一个集合,确定了一个二元关系R。
R中任一序偶
(2)笛卡尔积的子集:
R⊆A⨯B【定义7.4】
空关系:
∅
全域关系:
A×B
恒等关系IA={
关系矩阵:
若A={x1,x2,…,xm},B={y1,y2,…,yn},R是从A到B的关系,R的关系矩阵是布尔矩阵MR=[rij]m⨯n,其中rij=1⇔
关系图:
若A={x1,x2,…,xm},R是从A上的关系,R的关系图是GR=,其中A为结点集,R为边集.如果
前域(定义域)dom(R)={x|∃y.
值域ran(R)={y|∃x.
域fld(R)=domR⋃ranR【定义7.6】
逆关系R-1={
互逆(R-1)-1=R
(R⋂S)-1=R-1⋂S-1
(R⋃S)-1=R-1⋃S-1
(A⨯B)-1=B⨯A
(R-S)-1=R-1-S-1
复合关系R︒S={
(RS)P=R(SP)
Rm=RR…R
设R⊆X⨯Y,S⊆Y⨯Z,则(RS)-1=S-1R-1【定理7.2】
R在A上的限制R↾A={
A在R下的像R[A]=ran(R↾A)【定义7.9】
自反的:
若∀x∈A,都有
反自反的:
若∀x∈A,都有
对称的:
对任意x,y∈A,满足,若
反对称的:
对任意x,y∈A,满足,若
传递的:
对任意的x,y,z∈A,满足:
若
自反闭包(对称、传递):
设R是A上的二元关系,如果有另一个关系R'满足:
1R'是自反(对称、传递)的;
2R'⊇R;
3对于任何自反的关系R”,若R"⊇R,则有R"⊇R'.
则称关系R'为R的自反闭包.记为r(R)( 对称闭包s(R)和传递闭包t(R))。
【定义7.14】
设R为A上的关系,则有
(1)r(R)=R∪IA
(2)s(R)=R∪R-1
(3)t(R)=R∪R2∪R3∪…(若|A|=n,则t(R)=R∪R2∪…∪Rn)
等价关系:
设R为集合A上的一个二元关系。
若R是自反的,对称的,传递的,则称R为A上的等价关系【定义7.15】
等价类:
设R为集合A上的等价关系,对∀a∈A,定义:
[a]R={x|x∈A且∈R}称之为元素a关于R的等价类。
【定义7.16】
给定A上的等价关系R,对于a,b∈A有当且仅当[a]R=[b]R【定理17.4】
商集:
设R是A上的等价关系,定义A/R={[a]R|a∈A}称之为A关于R的商集.【定义7.17】
划分:
设A为非空集合,若A的子集族π(π⊆P(A))满足:
(1)∅∉π
(2)∀x∀y(x,y∈π∧x≠y→x∩y=∅)
(3)∪π=A
则称π是A的一个划分,称π中的元素为A的划分块.【定义7.18】
给定集合A上的等价关系R,则商集A/R是A的一个划分.
集合A的一个划分π诱导出A上的一个等价关系R.R定义为R={
设R1和R2为非空集合A上的一个等价关系,则R1=R2当且仅当A/R1=A/R2.
偏序:
设A是一个集合.如果A上的二元关系R是自反的,反对称的和传递的,则称R是A上的一个偏序关系.记R为“≤”,且称序偶为偏序集。
【定义7.19】【定义7.22】
全序(线序):
x≤y或y≤x则称≤为全序关系.为全序集.【定义7.21】
覆盖:
设为偏序集,若x,y∈A,x≤y,x≠y且没有其它元素z满足x≤z,z≤y,则称y覆盖x.记covA={
哈斯图:
作图规则
1用小元圈代表元素;
2若x≤y且x≠y,则将代表y的小元圈画在代表x的小元圈之上;
3若
你
极小元/极大元:
(1)对b∈B,若B中不存在x满足:
b≠x且x≤b则称b为B的极小元.
(2)对b∈B,若B中不存在x满足:
b≠x且b≤x则称b为B的极大元.
最小元/最大元:
(1)对于B中每一个元素x都有b≤x,则称b为B的最小元.
(2)对于B中每一个元素x都有x≤b,则称b为B的最大元.【定义7.24】
下界/上界:
(1)若有a∈A,且对∀x∈B满足a≤x,则称a为B的下界。
进一步:
设a为B的下界,若B的所有下界y均有y≤a,则称a为B的下确界,记为glbB。
(2)若有a∈A,且对∀x∈B满足x≤a,则称a为B的上界。
进一步:
设a为B的上界,若B的所有上界y均有a≤y,则称a为B的上确界,记为lubB。
【定义7.25】
函数:
设X,Y为两个集合,f⊆X⨯Y,若对∀x∈X,∃!
(唯一的)y∈Y,满足:
f:
X→Y
定义域:
domf=X
值域:
ranf(有时记为f(X))={f(x)|x∈X}【定义8.1】
函数相等:
设f和g都是从A到B的函数,若对任意x∈A,有f(x)=g(x),则称f和g相等.记为f=g【定义8.2】
函数的个数:
设f:
A→B,|A|=m,|B|=n.记BA={f|f:
A→B},则|BA|=nm
满射(到上映射):
设f:
X→Y,若ranf=Y,则称f为满射的.
入射(单射)(一对一映射):
设f:
X→Y,对∀x1,x2∈X,满足:
若x1≠x2,则f(x1)≠f(x2),称f为入射的.
双射(一一对应映射):
设f:
X→Y,若f既是满射的,又是入射的.则称f是双射的.【定义8.6】
常函数:
设f:
A→B,如果存在c∈B使得对所有的x∈A都有f(x)=c,则称f:
A→B是常函数.
恒等函数:
称A上的恒等关系IA为A上的恒等函数,对所有的x∈A都有IA(x)=x.
单调递增:
A→B,如果对任意的x1,x2∈A,x1≺x2,就有f(x1)≼f(x2),则称f为单调递增的;
严格单调递增:
如果对任意的x1,x2∈A,x1≺x2,就有f(x1)≺f(x2),则称f为严格单调递增的.
类似的也可以定义单调递减和严格单调递减的函数
特征函数:
设A为集合,对于任意的A'⊆A,A'的特征函数χA':
A→{0,1}定义为χA'(a)=1,a∈A';χA'(a)=0,a∈A-A'
自然映射:
设R是A上的等价关系,令g:
A→A/R;g(a)=[a],∀a∈A称g是从A到商集A/R的自然映射【定义8.7】
复合函数:
设f:
X→Y,g:
Y→Z,定义:
fg={
称fg为f与g的复合函数.
设f:
A→B,g:
B→C
(1)如果f:
A→B,g:
B→C是满射的,则f︒g:
A→C也是满射的
(2)如果f:
A→B,g:
B→C是单射的,则f︒g:
A→C也是单射的
(3)如果f:
A→B,g:
B→C是双射的,则f︒g:
A→C也是双射的 【定理8.2】
反函数(逆函数):
设f:
X→Y是一个双射函数,那么f-1是Y→X的双射函数.称f-1为f的反函数.
互逆(f-1)-1=f
设f:
A→B是双射的,则f-1︒f=IB,f︒f-1=IA【定理8.5】
基数:
用来衡量集合大小的一个概念.对于有限集合集来说,集合的基数就是其中所含元素的个数.
等势的:
设A,B是集合,如果存在着从A到B的双射函数,就称A和B是等势的,记作A≈B.如果A不与B等势,则记作A≉B.注:
通常将A的基数记为|A|.【定义8.8】
N≈Z≈Q≈N×N
任何实数区间都与实数集合R等势
{0,1}N≈R
康托定理
(1)N≉R;
(2)对任意集合A都有A≉P(A).【定义8.7】
有限集(有穷集)/无限集(无穷集):
设A为一个集合.若存在某个自然数n,使得A与集合{0,1,…,n-1}等势,则称A是有限的.
若集合A不是有限的,则称A是无限的.【定义8.11】
ℵ:
实数集R的基数记作ℵ,即cardR=ℵ【定义8.12】
可数集(可列集):
设A为集合,若cardA≤ℵ0,则称A为可数集或可列集。
【定义8.14】
与自然数集N等势的任意集合称为可数的.其基数为ℵ0
结论:
(1)A为可数的当且仅当可排列成A={a1,a2,…,an,…}的形式.
(2)任一无限集必含有可数子集.
(3)可数集的任何无限子集是可数的.
(4)
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 离散数学 知识点
![提示](https://static.bdocx.com/images/bang_tan.gif)