离散数学复习资料94111.docx
- 文档编号:11902743
- 上传时间:2023-04-08
- 格式:DOCX
- 页数:16
- 大小:150.74KB
离散数学复习资料94111.docx
《离散数学复习资料94111.docx》由会员分享,可在线阅读,更多相关《离散数学复习资料94111.docx(16页珍藏版)》请在冰豆网上搜索。
离散数学复习资料94111
离散数学复习资料
第1章命题逻辑
本章重点:
命题与联结词,公式与解释,真值表,公式的类型及判定,(主)析取(合取)式,命题逻辑的推理理论.
一、重点容
1.命题
命题表述为具有确定真假意义的述句。
命题必须具备二个条件:
其一,语句是述句;其二,语句有唯一确定的真假意义.
2.六个联结词及真值表
“⌝”否定联结词,P是命题,⌝P是P的否命题,是由联结词⌝和命题P组成的复合命题.P取真值1,⌝P取真值0,P取真值0,⌝P取真值1.它是一元联结词.
“∧”合取联结词,P∧Q是命题P,Q的合取式,是“∧”和P,Q组成的复合命题.“∧”在语句中相当于“不但…而且…”,“既…又…”.P∧Q取值1,当且仅当P,Q均取1;P∧Q取值为0,只有P,Q之一取0.
“∨”析取联结词,“⎺∨”不可兼析取(异或)联结词,P∨Q是命题P,Q的析取式,是“∨”和P,Q组成的复合命题.P⎺∨Q是联结词“⎺∨”和P,Q组成的复合命题.联结词“∨”或“⎺∨”在一个语句中都表示“或”的含义,前者表示相容或,后者表示排斥或不相容的或.即“P⎺∨Q”↔“(⌝P∧Q)∨(P∧⌝Q)”.P∨Q取值1,只要P,Q之一取值1,P∨Q取值0,只有P,Q都取值0.
“→”蕴含联结词,P→Q是“→”和P,Q组成的复合命题,只有P取值为1,Q取值为0时,P→Q取值为0;其余各种情况,均有P→Q的真值为1,亦即1→0的真值为0,0→1,1→1,0→0的真值均为1.在语句中,“如果P则Q”或“只有Q,才P,”表示为“P→Q”.
“↔”等价联结词,P↔Q是P,Q的等价式,是“↔”和P,Q组成的复合命题.“↔”在语句中相当于“…当且仅当…”,P↔Q取值1当且仅当P,Q真值相同.
3.命题公式、赋值与解释,命题公式的分类与判别
命题公式与赋值,命题P含有n个命题变项P1,P2,…,Pn,给P1,P2,…,Pn各指定一个真值,称为对P的一个赋值(真值指派).若指定的一组值使P的真值为1,则这组值为P的真指派;若使P的真值为0,则称这组值称为P的假指派.
命题公式分类,在各种赋值下均为真的命题公式A,称为重言式(永真式);在各种赋值下均为假的命题公式A,称为矛盾式(永假式);命题A不是矛盾式,称为可满足式;
判定命题公式类型的方法:
其一是真值表法,任给公式,列出该公式的真值表,若真值表的最后一列全为1,则该公式为永真式;若真值表的最后一列全为0,则该公式是永假式;若真值表的最后一列既非全1,又非全0,则该公式是可满足式.其二是推导演算法.利用基本等值式(教材P.16的十六个等值式或演算律),对给定公式进行等值推导,若该公式的真值为1,则该公式是永真式;若该公式的真值为0,则该公式为永假式.既非永真,也非用假,成为非永真的可满足式.其三主析取(合取)式法,该公式的主析取式有2n个极小项(即无极大项),则该公式是永真式;该公式的主合取式有2n个极大项(即无极小项),则该公式是永假式;该公式的主析取(或合取)式的极小项(或极大项)个数大于0小于2n,,则该公式是可满足式.
等值式A⇔B,命题公式A,B在任何赋值下,它们的真值均相同,称A,B等值。
定理1设Φ(A)是含命题公式A的命题,Φ(B)是用命题公式B置换Φ(A)中的A之后得到的命题公式.如果A⇔B,则Φ(A)⇔Φ(B).
4.式
析取(合取)式,仅有有限个简单合取式(析取式)构成的析取式(合取式),就是析取(合取)式.
极小项(极大项),n个命题变项P1,P2,…,Pn,每个变项或它的否定两者只有其一出现且仅出现一次,第i个命题变项或者其否定出现在从左起第i个位置上(无脚标时,按字典序排列),这样的简单合取式(析取式)为极小项(极大项).
以两个命题变项为例,m00=⌝P∧⌝Q,m01=⌝P∧Q,m10=P∧⌝Q,m11=P∧Q是极小项;M00=P∧Q,M01=P∧⌝Q,M10=⌝P∧Q,M11=⌝P∧⌝Q是极大项.
主析取式(主合取式)含有n个命题变项的命题公式,如果与一个仅有极小项(极大项)的析取(合取)构成的析取(合取)式等值,则该等值式称为原命题公式的主析取(合取)式。
每项含有n个命题变项(变项字母齐全)的合取式(析取式)的析取(合取)为主析取(合取)式.
任意命题公式都存在与之等值的式,存在与之等值的主式,且是惟一的.
求式,包括求析取式、合取式、主析取式和主合取式.关键有两点:
其一是准确掌握式定义;其二是巧妙使用基本等值式中的分配律、同一律和摩根律,结果的前一步适当使用幂等律.
求析取(合取)式的步骤:
①将公式中的联结词都化成⌝,∧,∨(即消去个数中的联结词→,↔,⎺∨);
②将否定联结词⌝消去或移到各命题变项之前;
③利用分配律、结合律等,将公式化为析取(合取)式.
求命题公式A的主析取(合取)式的步骤:
①求公式A的析取(合取)式;
②“消去”析取(合取)式中所有永假式(永真式)的析取项(合取项),如P∧⌝P(P∨⌝P)用0
(1)替代.用幂等律将析取(合取)式中重复出现的合取项(析取项)或相同的变项合并,如P∧P(P∨P)用P替代,mi∨mi(Mi∧Mi)用mi(Mi)替代.
③若析取(合取)式的某个合取项(析取项)B不含有命题变项Pi或⌝Pi,则添加Pi∨⌝Pi(Pi∧⌝Pi),再利用分配律展开,使得每个合取项(析取项)的命题变项齐全;
④将极小(极大)项按由小到大的顺序排列,用∑(∏)表示.
5.命题演算的推理理论
设A1,A2,…,An,C是命题公式,如果
是重言式,称C是前提集合{A1,A2,…,An}的有效结论或{A1,A2,…,An}逻辑地推出C。
记作
掌握演绎或形式证明.要理解并掌握14个重言蕴含式(即I1~I14),17个等值式(E1~E17);二是会使用三个规则(P规则、T规则和CP规则)。
推理方法有:
真值表法;等值演算法;主析取式法,构造证明法(直接证明法、附加前提证明法和间接证明法)
第2章谓词逻辑
本章重点:
谓词与量词,公式与解释,前束式,谓词逻辑推理证明.
一、重点容
1.谓词与量词
谓词,在谓词逻辑中,原子命题分解成个体词和谓词.个体词是可以独立存在的客体,它可以是具体事物或抽象的概念。
谓词是用来刻划个体词的性质或事物之间关系的词.
个体词分个体常项(用a,b,c,…表示)和个体变项(用x,y,z,…表示);谓词分谓词常项(表示具体性质和关系)和谓词变项(表示抽象的或泛指的谓词),用F,G,P,…表示.
注意,单独的个体词和谓词不能构成命题,将个体词和谓词分开不是命题.
量词,是在命题中表示数量的词,量词有两类:
全称量词∀,表示“所有的”或“每一个”;存在量词∃,表示“存在某个”或“至少有一个”.
在谓词逻辑中,使用量词应注意以下几点:
(1)在不同个体域中,命题符号化的形式可能不同,命题的真值也可能会改变.
(2)在考虑命题符号化时,如果对个体域未作说明,一律使用全总个体域.
(3)多个量词出现时,不能随意颠倒它们的顺序,否则可能会改变命题的含义.
谓词公式只是一个符号串,没有什么意义,但我们给这个符号串一个解释,使它具有真值,就变成一个命题.所谓解释就是使公式中的每一个变项都有个体域中的元素相对应.
在谓词逻辑中,命题符号化必须明确个体域,无特别说明认为是全总个体域。
一般地,使用全称量词∀,特性谓词后用→;使用存在量词∃,特性谓词后用∧.
2.公式与解释
谓词公式,由原子公式、联结词和量词可构成谓词公式(严格定义见教材).命题的符号化结果都是谓词公式.
例如∀x(F(x)→G(x)),∃x(F(x)∧G(x)),∀x∀y(F(x)∧F(y)∧L(x,y)→H(x,y))等都是谓词公式.
变元与辖域,在谓词公式∀xA和∃xA中,x是指导变元,A是相应量词的辖域.在∀x和∃x的辖域A中,x的所有出现都是约束出现,即x是约束变元,不是约束出现的变元,就是自由变元.也就是说,量词后面的式子是辖域.量词只对辖域的同一变元有效.
换名规则,就是把公式中量词的指导变元及其辖域中的该变元换成该公式中没有出现的个体变元,公式的其余部分不变.
代入规则,就是把公式中的某一自由变元,用该公式中没有出现的个体变元符号替代,且要把该公式中所有的该自由变元都换成新引入的这个符号.
解释(赋值),谓词公式A的个体域D是非空集合,则
(1)每一个常项指定D中一个元素;
(2)每一个n元函数指定Dn到D的一个函数;
(3)每一个n元谓词指定Dn到{0,1}的一个谓词;
按这个规则做的一组指派,称为A的一个解释或赋值.
在有限个体域下,消除量词的规则为:
如D={a1,a2,…,an},则
谓词公式分类,在任何解释下,谓词公式A取真值1,公式A为逻辑有效式(永真式);在任何解释下谓词公式A取真值0,公式A为永假式;至少有一个解释使公式A取真值1,公式A称为可满足式.
3.前束式一个谓词公式的前束式仍是谓词公式.若谓词公式F等值地转化成
那么
就是F的前束式,其中Q1,Q2,…,Qk只能是∀或∃,x1,x2,…,xk是个体变元,B是不含量词的谓词公式.
每个谓词公式F都可以变换成与它等值的前束式.其步骤如下:
①消去联结词→,↔,⎺∨;
②将联结词⌝移至原子谓词公式之前;
③利用换名或代入规则使所有约束变元的符号均不同,并且自由变元与约束变元的符号也不同;
④将∀x,∃x移至整个公式最左边;
⑤得到公式的前束式.
4.谓词逻辑的推理理论
谓词演算的推理是命题演算推理的推广和扩充,命题演算中的基本等值公式,重言蕴含式以及P,T,CP规则在谓词演算中仍然使用.在谓词演算推理中,某些前提和结论可能受到量词的限制,为了使用这些推理,引入消去和附加量词的规则,有US规则(全称量词消去规则),UG规则(全称量词附加规则),ES规则(存在量词消去规则),EG规则(存在量词附加规则)等,以便使谓词演算公式的推理过程可类似于命题演算的推理进行.
第3章集合与关系
本章重点:
集合概念,集合的运算,集合恒等式的证明,笛卡儿积.
一、重点容
1.集合的概念
集合与元素,具有确定的,可以区分的若干事物的全体称为集合,其中的事物叫元素.集合A中元素的个数为集合的元数∣A∣.
集合的表示方法:
列举法和描述法.
列举集合的元素,元素不能重复出现,集合中的元素无顺序之分.集合与其元素之间存在属于“∈”或不属于“∉”关系.
2.集合的关系:
包含,子集,集合相等.
包含(子集),若
,则B包含A(或A包含于B),称A是B的子集,记
,又A≠B,则A是B的真子集,记A⊂B.
集合相等,若A⊆B,B⊆A,则A=B.
注意:
元素与集合,集合与子集,子集与幂集,∈与⊂(⊆),空集∅与所有集合等的关系.
3.特殊集合:
全集、空集和幂集.
全集合E,在一个具体问题中,所涉及的集合都是某个集合的子集,该集合为全集.
空集∅,不含任何元素的集合为空集.空集是惟一的,它是任何集合的子集.
集合A的幂集P(A),有集合A的所有子集构成的集合
P(A)=
.
若∣A∣=n,则∣P(A)∣=2n.
4.集合的运算
集合A和B的并A⋃B,由集合A和B的所有元素组成的集合.
集合A和B的交A⋂B,由集合A和B的公共元素组成的集合.
集合A的补集~A,属于E但不属于集合A的元素组成的集合,~A.补集总相对于一个全集.
集合A与B的差集A-B,由属于A,而不属于B的所有元素组成的集合..
集合A与B的对称差A⊕B,A⊕B=(A-B)⋃(B-A)或A⊕B=)A⋃B〕-(A⋂B)
应该很好地掌握10条运算律(运算的性质)(教材P71~72),即交换律、结合律、分配律、幂等律、同一律、零律、补余律、吸收律、摩根律和双补律等.
5.恒等式证明
集合运算部分有三个方面的问题:
其一是进行集合的运算;其二是集合运算式的化简;其三是集合恒等式的推理证明.
集合恒等式的证明方法通常有二:
(1)要证明A=B,只需要证明A⊆B,又A⊇B;
(2)通过运算律进行等式推导.
6.有序对与笛卡儿积
有序对,就是有顺序的数组,如
注意:
有序对≠,以a,b为元素的集合{a,b}={b,a};有序对(a,a)有意义,而集合{a,a}是单元素集合,应记作{a}.
笛卡儿积,把集合A,B合成集合A×B,规定
A×B={
由于有序对
笛卡儿积也可以多个集合合成,A1×A2×…×An.
笛卡儿积的运算性质.一般不能交换.
第4章二元关系与函数
本章重点:
关系概念与其性质,等价关系和偏序关系,函数.
一、重点容
1.关系的概念包括定义、关系的表示方法:
集合表示、矩阵表示、图形表示.
二元关系,是一个有序对集合,设集合A,B,
,记作xRy
二元关系的定义域:
Dom(R)
;二元关系的值域:
Ran(R)
关系的表示方法:
集合表示法:
关系是集合,有类似于集合的表示方法.
列举法,如R={<1,1>,<1,2>};描述法:
如
关系矩阵:
R⊆A×B,R的矩阵
关系图:
R是集合上的二元关系,若
2.几个特殊的关系
空关系∅;唯一是任何关系的子集的关系.
全关系
恒等关系
,MI是单位矩阵.
3.关系的运算
关系的集合运算,有并、交、补、差和对称差.
复合关系
,有
复合关系矩阵:
(布尔运算),有结合律:
(R∙S)∙T=R∙(S∙T)
逆关系
,
,(R∙S)-1=S-1∙R-1.
4.关系的性质
自反性
;矩阵
的主对角线元素全为1;关系图的每个结点都有自回路.
反自反性
;矩阵
的主对角线元素全为0;关系图的每个结点都没有自回路.
对称性若
,则
;矩阵
是对称矩阵,即
;关系图中有向弧成对出现,方向相反.
反对称性若
且
,则x=y或若
,则
;矩阵
不出现对称元素.
传递性若
且
,则
;在关系图中,有从a到b的弧,有从b到c的弧,则有从a到c的弧.判断传递性较为困难.
可以证明:
R是集合A上的二元关系,
(1)
(1)R是自反的⇔IA⊆R;
(2)R是反自反的⇔IA⋂R=∅;
(3)R是对称的⇔R=R-1;(4)R是反对称的⇔R⋂R-1⊆IA;
(5)R是传递的⇔R∙R⊆R.
关系的性质所具有的运算见表4-1.
表4-1二元运算的并、交、补、差、逆、复合具有的性质表
运算关系性质
自反性
反自反性
对称性
反对称性
传递性
R-1
√
√
√
√
√
R1⋃R2
√
√
√
⨯
⨯
R1⋂R2
√
√
√
√
√
R1-R2
⨯
√
√
√
⨯
R1∙R2
√
⨯
⨯
⨯
⨯
IA
√
√
√
√
∅
√
√
√
√
由表可见,IA具有自反性,对称性、反对称性和传递性.EA具有自反性,对称性和传递性.故IA,EA是等价关系.∅具有反自反性、对称性、反对称性和传递性。
∅是偏序关系.
关系性质的判定,可以用定义、关系矩阵或关系图.
传递性的判定,难度稍大.也常如下判定:
不破坏传递性的定义,可认为具有传递性.例如∅可认为具有传递性,同时具有对称性和反对称性,但是不具有自反性;
5.关系的闭包
设R是非空集合A上的二元关系,在关系R中,添加最少的有序对,新关系用R'表示,使得R'具有关系的自反(对称、传递)性质,R'就是R的自反(对称、传递)闭包,记作r(R),s(R)和t(R)。
闭包的求法:
定理12:
;定理13:
;定理14的推论:
6.等价关系和偏序关系极大(小)元、最大(小)元问题
等价关系和偏序关系是具有不同性质的两个关系.
等价关系图的特点:
每一个结点都有一个自回路;两个结点间如有有向弧线,则是双向弧线,如果从a到b,从b到c各有一条有向弧线,则从a到c一定有有向弧线。
等价类,若R是等价关系,与R中的某个元素等价的元素组成的集合,就是R的一个等价类,[a]R={b∣b∈A∧aRb}.
偏序集的哈斯图偏序集概念和偏序集的哈斯图。
哈斯图的画法:
(1)用空心点表示结点,自环不画;
(2)若a≤b,则结点b画在上边,a画在下边,并画a到b的无向弧;(3)若,∈,则∈R,此时,a到c的有向弧不画出.
确定任一子集的最大(小)元,极大(小)元.
极大(小)元、最大(小)元、界一个子集的极大(小)元可以有多个,而最大(小)元若有,只能惟一.且极元、最元只在该子集;而上界与下界可在子集之外确定,最小上界是所有上界中最小者,最小上界再小也不会小于子集中的任一元素;可以与某一元素相等,最大下界也是同样.
7.函数
函数,设f是集合A到B的二元关系,∀a∈A,∃b∈B,且∈f,且Dom(f)=A,f是一个函数(映射).函数是一种特殊的关系.
集合A×B的任何子集都是关系,但不一定是函数.函数要求对于定义域A中每一个元素a,B中有且仅有一个元素与a对应,而关系没有这个限制.
二函数相等是指:
定义域相同,对应关系相同,而且定义域每个对应值都相同.
函数的类型
单射若
满射f(A)=B.即
双射单射且满射.
复合函数
即
.复合成立的条件是:
一般
,但
复合函数的性质:
如果f,g都是单射的,则f∙g是单射的;如果f,g都是满射的,则f∙g是满射的;
如果f,g都是双射的,则f∙g是双射的;如果f,g是单射的,则f是单射的;
如果f,g是满射的,则g是满射的;
如果f∙,g是双射的,则f是单射的,g是满射的.
反函数若f:
A→B是双射,则有反函数f-1:
B→A
,
第5章代数结构
本章重点:
代数运算及性质,群的概念,置换和置换群、交换群和循环群.
一、重点容
1.代数运算及其性质
二元运算,非空集合A上的函数(映射)f:
A2→A就是A上的二元代数运算,
就是说二元运算是一个变换(对应关系).
代数运算的性质:
交换律∀x,y∈A,有x¡y=y¡x,¡在A上适合交换律.
结合律∀x,y∈A,有(x¡y)¡z=x¡(y¡z),运算¡在A上适合结合律.
分配律∀x,y,z∈A,有x*(y¡z)=(x*y)¡(x*z)或(y¡z)*x=(y*x)¡(z*x),*对¡适合分配律.
幂等律∀x∈A,有x¡x=x,则运算¡在A上适合幂等律.
吸收律∀x,y∈A,有x*(x¡y)=x,x¡(x*y)=x,¡和*满足吸收律.
单位元el,(或er)∈A,对∀x∈A,有el¡x=x(x¡er=x),el(或er)是A的运算¡的左单位元(或右单位元).e既是右单位元又是左单位元就是单位元.
逆元对x∈A,若x-1∈A,有x-1¡x=x¡x-1=e,x-1是x的逆元.
代数系统在非空集合A上,定义了若干代数运算f1,f2,…,fm,(A,f1,f2,…,fm)称为代数系统.若B⊆A,f1,f2,…,fm在B上成立,(B,f1,f2,…,fm)称为子代数系统.
2.群
代数系统
注意:
由上可见,代数系统、半群、群(子群)是一条线下来,条件逐步加强,半群和群是我们讨论的重点.
群的性质:
(1)(a-1)-1=a;
(2)(a*b)-1=b-1*a-1;(3)am*an=am+n;(4)(am)n=amn;(5)(方程的可解性)方程a*x=b或y*a=b有唯一解;(6)(消去律)由a*c=b*c或c*a=c*b,可得a=b
3.特殊群
交换群,群(G,*)的二元运算*满足交换律,(G,*)是交换群(阿贝尔群).
循环群,群G能表成
G={ak∣k∈Z,a∈G}
G是循环群.记作G=(a),a是群G的生成元.
变换群设A是一个非空集合,A上的所有一一变换构成的集合E(A),对于变换乘法,E(A)构成一个群,称为集合A上的一一变换群.E(A)的子群称为变换群.
置换群,n元集合M上的所有n元置换Sn,关于置换乘法构成n元对换群,它的子群叫置换群.
4.置换,
置换,有限集合M={a1,a2,…,an}上的双射σ:
M→M,n元置换
置换复合(乘法),设
那么
单位置换,
逆置换,σ-1=
n元集合M上的n元置换有n!
个,有n元置换构成的集合,记作Sn.
轮换,满足:
(1)σ(a1)=a2,σ(a2)=a3,…,σ(am)=a1;
(2)σ(a)=a,当a≠ak,(k=1,2,…,m)时.则σ是一个长度为m的轮换,记作(a1,a2,…,am).
重要结论:
置换有结合律;不相交的轮换有交换律;Sn中任一置换都可以唯一地表示成一系列不相交的轮换之积.
5.同态与同构
同态,代数系统(G,*)和(S,︒),f是从G到S上的一个映射.∀a,b∈G,有
f(a*b)=f(a)︒f(b)
则称f是由(G,*)到(S,︒)的一个同态映射.并称G与S同态.如果f是满射,则称G与S是满同态,记作G~S;如果f是单射,则称G与S是单同态.
(f(G),︒)称为(G,*)在f下的同态象..
同构,代数系统(G,*)到(S,︒),如果f是从G到S的一个双射,则称f是从G到S的同构,
群同构,设群(G,*)和(S,︒),存在从(G,*)到(S,︒)的同态双射,则称群(G,*)与(S,︒)同构.
第7章几种特殊的图
本章重点:
欧拉图和哈密顿图、平面图和树的基本概念.
一、重点容
1.欧拉图
欧拉通路(回路)与欧拉图通过图G的每条边一次且仅一次,而且走遍每个结点的通路(回路),就是欧拉通路(回路).存在欧拉回路的图就是欧拉图.
欧拉回路要求边不能重复,结点可以重复.笔不离开纸,不重复地走完所有的边,且走过所有结点,就是所谓的一笔画.
欧拉图或通路的判定
(1)无向连通图G是欧拉图⇔G不含奇数度结点(G的所有结点度数为偶数):
(定理1)
(2)非平凡连通图G含有欧拉通路⇔G最多有两个奇数度的结点;(定理1的推论)
(3)连通有向图D含有有向欧拉回路(即欧拉图)⇔D中每个结点的入度=出度
连通有向图D含有有向欧拉通路⇔D中除两个结点外,其余每个结点的入度=出度,且此两点满足deg-(u)-deg+(v)=±1.(定理2)
2.哈密顿图
哈密顿通路(回路)与哈密顿图通过图G的每个结点一次,且仅一次的通路(
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 离散数学 复习资料 94111
![提示](https://static.bdocx.com/images/bang_tan.gif)