东北大学离散数学复习总结满分版)
方法、知识点总结(知识重点和考题重点)
前三章重点内容(知识重点):
1、蕴含(条件)“→”的真值
P→Q的真值为假,当且仅当P为真,Q为假。
2、重言(永真)蕴涵式证明方法
<1>假设前件为真,推出后件也为真。
<2>假设后件为假,推出前件也为假。
易错
3、等价公式和证明中运用
4、重要公式
重言蕴涵式:P∧Q => P or Q
P or Q => p∨Q
A->B =>(A∧or∨C)->(B∧or∨C)
其他是在此基础上演变
等价公式:幂等律P∧P=P P∨P=P
吸收律P∧(P∨Q)=P P∨(P∧Q)=P
同一律P∨F=P P∧T=P
P∨T=T P∧F=F
P <-> Q = (P->Q)∧(Q->P) = (P∧Q)∨(﹁P∧﹁Q)
5、范式的写法(最方便就是真值表法)
6、派遣人员、课表安排类算法:
第一步:列出所有条件,写成符号公式
第二步:用合取∧连接
第三步:求上一步中的析取范式即可
7、逻辑推理的写法
直接推理论证:其中I公式是指重言蕴涵式那部分
其中E公式是指等价公式部分
条件论证: 形如~ , ~, ~ => R->S
R P(附加条件)
... ...
S T
R->S CP
8、谓词基本内容
注意:任意用—> 连接
存在用∧连接
量词的否定公式
量词的辖域扩充公式
量词分配公式
其他公式
9、带量词的公式在论域内的展开
10、量词辖域的扩充公式
11、前束范式的写法
给定一个带有量词的谓词公式,
1)消去公式中的联接词→和←→(为了便于量词辖域的扩充);
2)如果量词前有“﹁?”,则用量词否定公式﹁?”后移。再用摩根定律或求公式的否定公式,将“﹁?”后移到原子谓词公式之前;
3)用约束变元的改名规则或自由变元的代入规则对变元换名(为量词辖域扩充作准备);
4)用量词辖域扩充公式提取量词,使之成为前束范式形式。
简要概括:1、去-> ,<-> 2、移﹁
3、换元
4、量词辖域扩充
12、谓词演算的推理理论
推理规则:P、T、CP、US、ES、EG、UG 的使用
ES US 去量词
EG UG 添量词
★谨记:ES要在US之前,很重要
添加量词注意事项:
13、集合的幂集(用P表示,也常有花P表示)
A是集合,由A的所有子集构成的集合,称之为A的幂集。记作P(A)或2的A次方
给定有限集合A,如果|A|=n, 则|P(A)|=2的n次方
14、求集合的划分数与等价关系数——相同
15、三种重要集合运算
一、差运算- (相对补集)
二、绝对补集~
三、对称差
前三章重点内容(考题重点):最常考
内容和方法需要看自己课件,前三章考试内容不多且简单
1、命题符号化(包括第一章简单的命题和第二章谓词的命题)
2、逻辑推理(命题逻辑和谓词逻辑两种推理,每章书最后部分)
3、主析取范式与主合取范式(命题逻辑和谓词逻辑中的两种范式写法)
4、真值的判断
后五章重点内容(知识重点):
1、笛卡尔积
定义:设A、B是集合,由A的元素为第一元素,B的元素为第二元素组成序偶的集合,称为A和B 的笛卡尔积,记作A×B
如果A、B都是有限集,且|A|=m, |B|=n,则|AXB |=mn.
2、域的表示:
定义域dom(关系的第一个元素的范围)
值域Ran(关系的第二个元素的范围)
3、空关系、完全关系、A上的恒等关系IA的定义
空关系只有点,没有一条边。
4、关系的个数
5、对称、反对称、自反、反自反、传递的判定
6、等价关系、等价类
定义:设R是A上关系,若R是自反的、对称的和传递的,则称R是A中的等价关系
等价关系的个数:划分数;
由等价关系图求等价类:
R图中每个独立子图上的结点,构成一个等价类。
不同的等价类个数=独立子图个数
7、相容关系、相容类
特点:自反、对称。
图的简化:⑴不画环;
⑵两条对称边用一条无向直线代替
相容类:设r是集合X上的相容关系,C?X,如果对于C 中任意两个元素x,y有
最大相容类的意义是——一个相容类加多一个点就不是相容类了,所以最大相容类可以是多个而不是唯一的“最大”的概念,定义类似极大线性无关组,但元素个数不同------找最大完全多边形。最大完全多边形:含有结点最多的多边形中,每个结点都与其它结点相联结。
通过最大相容类求完全覆盖:
完全覆盖就是指所有最大相容类构成的集合。
8、关系的分类:
偏序关系定义:R是A上自反、反对称和传递的关系,则称R 是A上的偏序关系。并称是偏序集。
全序关系定义:是偏序集,任何x,y∈A,如果x与y都是可比较的,则称≤是全序关系(线序、链)。
9、偏序集Hasse图的画法
1).用“。”表示A中元素。
2).如果x≤y,且x≠y,则结点y要画在结点x的上方。
3). 如果x≤y,且y盖住x,x与y之间连一直线。
4). 一般先从最下层结点(全是射出的边与之相连(不考虑环)),逐层向上画,直到最上层结点(全是射入的边与之相连)。(采用抓两头,带中间的方法)
10、重要元素定义(极大小元、最大小元、上下界、最大下界与最小上界)
11、如何求映射是入(单)、满、双射?
第一步:分别求出定义域和值域
第二步:比较就出来了,就那么简单
但是要证明的话:
两者结合得:双射成立
12、复合函数中的重要性质(常考):
f:X→Y, g:Y→Z是两个函数, 则
⑴如果f和g是满射的,则g。f 也是满射的;
⑵如果f和g是入射的,则g。f 也是入射的;
⑶如果f和g是双射的,则g。f 也是双射的
⑴如果g。f 是满射的,则g是满射的;
⑵如果g。f 是入射的,则 f 是入射的;
⑶如果g。f 是双射的,则f是入射的和g是满射的
13、函数种类个数的求法
14、逆函数(性质)
设f:X→Y是双射的函数,f C:Y?X 也是函数, 称之为 f 的逆函数。
设f:X→Y是双射的函数,则有
15、第六章基础知识重点
幂等元、幺元e、零元0、逆元的概念
同态同构:f(x)满射、并且满足
*不是双射就一定复合同构的条件:
必须具有幺元对幺元、零元对零元......
代数系统(重点)
半群:封闭、可逆独异点:有幺元
群:可逆交换群:可交换
群的特征:1.消去律 2.无零元 3.除幺元外无其他幂等元
运算表中:每个元素在每一行、列必须出现仅出现一次!16、第七章基础知识重点
格:是偏序集,如果任何a,b∈A,使得{a,b}都有最大下界和最小上界,则称是格
平凡格:所有全序都是格,称之为平凡格。
分配格:(判定定理)
所有链均为分配格。
设是分配格,对任何a,b,c∈A, 如果有a∧b=a∧c及a ∨b=a∨c则必有b=c .
有界格:(判定定理)
有界格定义:如果一个格存在全上界1与全下界0,则称此格为有界格。
从格的图形看:全上界1,就是图的最上边元素(只一个)。全
下界0,就是图的最下边元素(只一个)。
有补格:(判定定理:根据定义看是不是每个中间元素都有补元)
补元:设是个有界格,a∈A, 如果存在b∈A, 使得a∨b=1 a∧b=0 则称a与b互为补元(其中∨是求最小上界,∧求最大下界)
有补格的定义:一个有界格中,如果每个元素都有补元,则称之为有补格
布尔格:如果一个格既是分配格又是有补格,则称之为布尔格。
*重要定理:
在有界分配格中,如果元素有补元,则补元是唯一的。17、格的同构条件(特别)需同时满足:
钻石定律:
一个布尔代数的所有原子(直接覆盖最小元0的元素)构成的布尔代数一定与元代数同构
18、布尔代数表达式和布尔函数
是布尔代数的形式
含有变元x1,x2,…,xn 的布尔表达式记作E(x1,x2,…xn),也可以看成是一个函数f:Bn→B, 称之为布尔函数
布尔表达式的范式的写法(很重要,与第一第二章的方法类似)19、第八章图论的重要知识点(好多好多的定义自己记吧)
图的同构:
两个图同构的必要条件:
1.结点个数相等.
2.边数相等.
3.度数相同的结点数相等.
4.对应的结点的度数相等.
图的连通:强连通、单侧连通和弱连通(一般不考)
如果任何两个结点间相互可达, 则称G是强连通. 如果任何一对结点间, 至少有一个结点到另一个结点可达, 则称G是单侧连通. 如果将G看成无向图后(即把有向边看成无向边)是连通的,则称G是弱连通
强分图、单侧分图和弱分图
在简单有向图中,具有强连通的最大子图,称为强分图.
具有单侧连通的最大子图,称为单侧分图.
具有弱连通的最大子图,称为弱分图.
图的矩阵表示和写法(前两个有点重要):
一、邻接矩阵
每一行的1:在无向图中代表一条线
有向图中代表—>出线
列中的1代表<—入线
二、可达性矩阵
三、完全关系矩阵
图中结点的度与个数、边的关系:
考试需要两则结合
20、欧拉图与H(汉密尔)图(重点)
定义:
在无孤立结点的图G中,若存在一条回路,它经过图中每条边一次且仅一次,称此回路为欧拉回路. 称此图为欧拉图
汉密尔顿回路(H回路):通过G中每个结点恰好一次的回路.具有汉密尔顿回路(H回路)的图.
欧拉回路的判定:(充要条件)
无向图G具有欧拉路,当且仅当G是连通的,且有零个或两个奇数度的结点.
汉密尔顿图的判定: (只有充分条件)
(充分条件)设G是有n个结点的简单图,若G中每对结点度数之
和大于等于n,则G有一条H回路
欧拉回路的算法(重重重!虽然可能不考)
(记做闭迹交集法)
H回路的算法(重重重!虽然可能不考)
(记做相邻最小权法)
21、树中的重要方法:
树的结点与边数:边数=结点数-1 e = v-1
m叉有序树转化成二叉树的方法:
赋权图的最小生成树的求法(记做相邻最小权不回路法):定义:一棵生成树中的所有边的权之和称为该生成树的权. 具有最小权的生成树,称为最小生成树.
最优树求法:定义
***后五章重点内容(考题重点):
<精华看完绝对不亏>
1、求逆元(例如a逆)
第一步:求出幺元e
第二步:a逆与a进行所定义的运算,写出等式:如a*a逆=e,求解
2、群的阶性质
*有一个群G,a属于G,a元素的阶为n,当且仅当k=mn(n的整数倍),a 的k次方=e.
*n阶群中的元素x,x的n次方等于e
3、树的边数e与叶结点t的关系
e=2t-2
4、图的画法与格的判断
画法在前面总结过:偏序集Hasse图的画法
3).用“。”表示A中元素。
4).如果x≤y,且x≠y,则结点y要画在结点x的上方。
3). 如果x≤y,且y盖住x,x与y之间连一直线。
4). 一般先从最下层结点(全是射出的边与之相连(不考虑环)),逐层向上画,直到最上层结点(全是射入的边与之相连)。(采用抓两头,带中间的方法)
判断——
格:看是否任意都有最小上界、最大下界;
分配格:跟那俩个特别的格比较,没有那样的子格就是分配格;链一定是分配格
有界格:有无最大最小元(1,0表示),有限个元素的格一定是有界格;
有补格:看是否每个元素都有补元
若有补元,补元唯一的是有界分配格!
布尔格:分配、有补
5、复合函数的性质
f:X→Y, g:Y→Z是两个函数, 则
⑴如果f和g是满射的,则g。f 也是满射的;
⑵如果f和g是入射的,则g。f 也是入射的;
⑶如果f和g是双射的,则g。f 也是双射的
⑴如果g。f 是满射的,则g是满射的;
⑵如果g。f 是入射的,则 f 是入射的;
⑶如果g。f 是双射的,则f是入射的和g是满射的
6、完全图的边数
无向完全图:边数为n(n-1)/2
有向完全图:边数为2的n次方
7、欧拉图、H图
完全图Kn,n为奇数时,完全图既是欧拉图又是H图;
8、证明子格
证明从封闭性入手,若对∨,∧(取最小下界、最大上界运算)运算封闭则为子格。
9、证明子群
第一步:证明非空集合;
第二步:在集合中任取两个进行自定义的运算,证明封闭性;
第三步:任意取一个集合中的数a,证a逆属于集合即证明可逆性。
10、证明等价关系
证明三点:自反、对称、传递
11、证明同态、同构(或者自同构)
第一步:证明f(x)双射,①先证入射(单射),②再证满射,则为双射
第二步:证类似如下式子成立
12、求图定点数与欧拉握手定理
形如:“一个图,边12,有6个3度结点,其他结点度数都小于3,求最少有几个结点”的问题
用欧拉握手定理:边数|E|为m,则所有结点度数累加起来等于2m
任何图中都有:奇数度顶点个数为偶数。
13、布尔表达式的析取范式、合取范式的求法
和前面说的一样,与第一第二章的范式写法类似,最好列真值表
14、分清叶结点、分支节点、树中节点数与边的关系、度数和与节点数的关系
15、Δ(G),k(G),δ(G),λ(G),W(G),x(G) 分别表示图G的( 最大度),( 点连通度),( 最小度),( 边连通度),( 连通分支数),( 最小着色数)
K(G)表示点连通度λ(G)表示边连通度d(u,v)表示最短两点距离deg(v)表示度degi 表示入度dego 表示出度
16、代数系统的证明
半群——》独异点——》群——》交换群
对应证明顺序:
封闭、可结合——》有幺元——》可逆性——》可交换
!!!当复杂时,可以用画出运算表的方法,就可以证明是否运算封闭、有幺元、有逆元。
17、循环群、生成元( g )与交换群(循环群属于需要了解)
循环群一定是交换群
素数阶群一定是循环群
证明交换群:证任意X、Y,对运算X * Y = Y * X 成立。循环群周期:g的N次方等于e(幺元),则n为周期
无限循环群与同构,K阶有限循环群与同构+4、+6运算的意义:模加运算,将两个数相加后取模
p为素数,p阶循环群有p-1个生成元。
18、图的面与欧拉公式
欧拉公式:对于一个平面图
V - e + r = 2
v为顶点数,e为边数,r为面的数量。
19、完全二叉图的顶点、边数与叶的关系(理解性记忆)
叶子结点:n
顶点数:2n-1
边数:2(n-1)
m叉图:叶子结点:t 分支结点:i 则有(m-1)i = t-1
20、二元关系种数
若A有n个元素,B有m个元素,A→B有2的nm次方种关系。
21、三叉树
叶结点为n,边数为3(n-1)/2
22、证明图不连通、其补图一定连通
任取u,v∈V(G), 如果u与v不邻接,则在G中有边(u,v),所以在G中u与v是连通的;如果在G中u与v邻接, 则u与v在G的同一个连通分支, 由于G是不连通的,所以G必有另一个连通分支G(V1), 设w∈V1(G), 于是在G中必有边(u,w),(w,v),于是在G中必有路uwv, 所以G是连通的。
23、最优树问题
在第八章知识点最后一个方法,考试考的可能性还算大
东北大学 19春学期《离散数学》在线作业2 答案
试卷总分:100 得分:0 一、单选题(共10 道试题,共50 分) 1.单选题。一棵树有7片树叶,3个3度结点,其余都是4度结点,该树有()个4度结点。 A.4; B.3; C.2; D.1; E.不在给定的选择的范围内。 正确答案:D 2. A.B:①:⑵⑶⑺⑻ B.B:②:⑶⑷⑻ C.B:③:⑶⑹⑺⑻ D.B:④:⑶⑺ 正确答案:D 3.单选题。一棵根树是完全m叉树,当且仅当该图()。 A.每个结点的度数是m; B.每个结点的出度都是m; C.每个结点的出度不是0就是m; D.恰有一个结点入度为0:其余结点入度为1。 正确答案:C 4.令命题P表示“没有大学生不懂外语。”下面命题( )与P等价。 A.有些大学生懂一些外语。 B.所有大学生都懂一些外语。 C.有些大学生懂所有外语。 D.没有大学生懂所有外语。 正确答案:B 5. A.矛盾式 B.重言式 C.无法确定 D.不知道
正确答案:B 6.7.选择题:在一次集会中,与奇数个人握手的人数共有()个。 A.奇数 B.不能确定 C.偶数 D.不知道 正确答案:C 7.下面是 "xC(x), $x(A(x)ÚB(x)), "x(B(x)?ØC(x)) Þ $xA(x) 的谓词推理过程。在这个过程中每一步中的()处是此步所用的推理规则。请写出这些推理规则。 ⑴$x(A(x)ÚB(x)), ( ) ⑵A(a)ÚB(a) ( ) ⑴ ⑶"xC(x) ( ) ⑷C(a) ( ) ⑶ ⑸"x(B(x)→ØC(x)) ( ) ⑹B(a)→ØC(a) ( ) ⑸ ⑺ØB(a) ( ) ⑷⑹I12 ⑻A(a) ( ) ⑵⑺I10 ⑼$xA(x)) ( ) ⑻ A.⑴P;⑵T;⑶T;⑷UG;⑸P;⑹US;⑺P;⑻T;⑼ES。 B.⑴P;⑵EG;⑶T;⑷UG;⑸P;⑹UG;⑺P;⑻T;⑼EG。 C.⑴P;⑵ES;⑶P;⑷US;⑸P;⑹US;⑺T;⑻T;⑼EG。 D.⑴P;⑵US;⑶T;⑷UG;⑸P;⑹UG;⑺P;⑻T;⑼UG。 正确答案:C 8. 选择填空。如果集合X满足XÍD 且XÇB=Ф,则X可能与下面给定的集合( ) 相等。 A.A={1,2,3,4,5,6,7,8,9}, B.B={2,4,6,8}, C.C={1,3,5,7,9}, D.D={3,4,5}, E.E={3,5}, 正确答案:E
离散数学必备知识点总结
离散数学必备知识点总 结 Document number:NOCG-YUNOO-BUYTT-UU986-1986UT
总结离散数学知识点 第二章命题逻辑 1.→,前键为真,后键为假才为假;<—>,相同为真,不同为假; 2.主析取范式:极小项(m)之和;主合取范式:极大项(M)之积; 3.求极小项时,命题变元的肯定为1,否定为0,求极大项时相反; 4.求极大极小项时,每个变元或变元的否定只能出现一次,求极小项时变元不够合取真,求极大项时变元不够析取假; 5.求范式时,为保证编码不错,命题变元最好按P,Q,R的顺序依次写; 6.真值表中值为1的项为极小项,值为0的项为极大项; 7.n个变元共有n2个极小项或极大项,这n2为(0~n2-1)刚好为化简完后的主析取加主合取; 8.永真式没有主合取范式,永假式没有主析取范式; 9.推证蕴含式的方法(=>):真值表法;分析法(假定前键为真推出后键为真,假定前键为假推出后键也为假) 10.命题逻辑的推理演算方法:P规则,T规则 ①真值表法;②直接证法;③归谬法;④附加前提法; 第三章谓词逻辑 1.一元谓词:谓词只有一个个体,一元谓词描述命题的性质; 多元谓词:谓词有n个个体,多元谓词描述个体之间的关系;
2.全称量词用蕴含→,存在量词用合取^; 3.既有存在又有全称量词时,先消存在量词,再消全称量词; 第四章集合 1.N,表示自然数集,1,2,3……,不包括0; 2.基:集合A中不同元素的个数,|A|; 3.幂集:给定集合A,以集合A的所有子集为元素组成的集合,P(A); 4.若集合A有n个元素,幂集P(A)有n2个元素,|P(A)|=||2A=n2; 5.集合的分划:(等价关系) ①每一个分划都是由集合A的几个子集构成的集合; ②这几个子集相交为空,相并为全(A); 6.集合的分划与覆盖的比较: 分划:每个元素均应出现且仅出现一次在子集中; 覆盖:只要求每个元素都出现,没有要求只出现一次; 第五章关系 1.若集合A有m个元素,集合B有n个元素,则笛卡尔A×B的基 2种不同的关系; 数为mn,A到B上可以定义mn 2.若集合A有n个元素,则|A×A|=2n,A上有22n个不同的关系;
离散数学期末练习题-(带答案)
离散数学复习注意事项: 1、第一遍复习一定要认真按考试大纲要求将本学期所学习内容系统复习一遍。 2、第二遍复习按照考试大纲的要求对第一遍复习进行总结。把大纲中指定的例题及书后习题认真做一做。检验一下主要内容的掌握情况。 3、第三遍复习把随后发去的练习题认真做一做,检验一下第一遍与第二遍复习情况,要认真理解,注意做题思路与方法。 离散数学综合练习题 一、选择题 1.下列句子中,()是命题。 A.2是常数。B.这朵花多好看呀! C.请把门关上!D.下午有会吗? 2.令p: 今天下雪了,q:路滑,r:他迟到了。则命题“下雪路滑,他迟到了” 可符号化为()。 A. p q r ∨→ ∧→ B. p q r C. p q r ∨? ∧∧ D. p q r 3.令:p今天下雪了,:q路滑,则命题“虽然今天下雪了,但是路不滑”可符号化为()。 A.p q ∧ ∧? B.p q C.p q →? ∨? D. p q 4.设() Q x:x会飞,命题“有的鸟不会飞”可符号化为()。 P x:x是鸟,() A. ()(()()) Q x ??∧()) x P x Q x ??→ B. ()(() x P x C. ()(()()) Q x ??∧()) x P x Q x ??→ D. ()(() x P x 5.设() L x y:x大于等于y;命题“所有整数 f x:x的绝对值,(,) P x:x是整数,() 的绝对值大于等于0”可符号化为()。 A. (()((),0)) ?→ x P x L f x ?∧B. (()((),0)) x P x L f x C. ()((),0) ?→ xP x L f x ?∧ D. ()((),0) xP x L f x 6.设() F x:x是人,() G x:x犯错误,命题“没有不犯错误的人”符号化为()。 A.(()()) ??→? x F x G x ?∧B.(()()) x F x G x C.(()()) ??∧? x F x G x ??∧D.(()()) x F x G x 7.下列命题公式不是永真式的是()。 A. () p q p →→ →→ B. () p q p C. () →∨ p q p p q p ?∨→ D. () 8.设() R x:x为有理数;() Q x:x为实数。命题“任何有理数都是实数”的符号化为()
离散数学谓词逻辑课后总结
第二章谓词逻辑 2—1基本概念 例题1. 所有的自然数都是整数。 设N(x):x是自然数。I(x):x是整数。此命题可以写成?x(N(x)→I(x)) 例题2. 有些自然数是偶数。 设E(x):x是偶数。此命题可以写成?x(N(x)∧E(x)) 例题3. 每个人都有一个生母。 设P(x):x是个人。M(x,y):y是x的生母。此命题可以写 成:?x(P(x)→?y(P(y)∧M(x,y))) 2-2 谓词公式及命题符号化 例题1. 如果x是奇数,则2x是偶数。 其中客体x与客体2x之间就有函数关系,可以设客体函数g(x)=2x, 谓词O(x):x是奇数,E(x):x是偶数, 则此命题可以表示为:?x(O(x)→E(g(x))) 例题2 小王的父亲是个医生。 设函数f(x)=x的父亲,谓词D(x):x是个医生,a:小王,此命题可以表示为D(f(a))。 例题3 如果x和y都是奇数,则x+y是偶数。 设h(x,y)=x+y ,此命题可以表示为:?x?y((O(x)∧O(y))→E(h(x,y)) 命题的符号表达式与论域有关系 两个公式:一般地,设论域为{a1,a2,....,an},则有 (1). ?xA(x)?A(a1)∧A(a2)∧......∧A(an) (2). ?xB(x)?B(a1)∨B(a2)∨......∨B(an) 1.每个自然数都是整数。该命题的真值是真的。 表达式?x(N(x)→I(x))在全总个体域的真值是真的, 因?x(N(x)→I(x))?(N(a1)→I(a1))∧(N(a2)→I(a2))∧…∧(N(an)→I(an)) 式中的x不论用自然数客体代入,还是用非自然数客体代入均为真。例如(N(0.1)→I(0.1))也为真。 而?x(N(x)∧I(x))在全总个体域却不是永真式。
东北大学离散数学复习总结(满分版)
方法、知识点总结(知识重点和考题重点) 前三章重点内容(知识重点): 1、蕴含(条件)“→”的真值 P→Q的真值为假,当且仅当P为真,Q为假。 2、重言(永真)蕴涵式证明方法 <1>假设前件为真,推出后件也为真。 <2>假设后件为假,推出前件也为假。 易错 3、等价公式和证明中运用
4、重要公式 重言蕴涵式:P∧Q => P or Q P or Q => p∨Q A->B =>(A∧or∨C)->(B∧or∨C) 其他是在此基础上演变 等价公式:幂等律P∧P=P P∨P=P 吸收律P∧(P∨Q)=P P∨(P∧Q)=P 同一律P∨F=P P∧T=P P∨T=T P∧F=F P <-> Q = (P->Q)∧(Q->P) = (P∧Q)∨(﹁P∧﹁Q) 5、范式的写法(最方便就是真值表法) 6、派遣人员、课表安排类算法: 第一步:列出所有条件,写成符号公式 第二步:用合取∧连接 第三步:求上一步中的析取范式即可 7、逻辑推理的写法 直接推理论证:其中I公式是指重言蕴涵式那部分 其中E公式是指等价公式部分 条件论证: 形如~ , ~, ~ => R->S
R P(附加条件) ... ... S T R->S CP 8、谓词基本内容 注意:任意用—> 连接 存在用∧连接 量词的否定公式 量词的辖域扩充公式
量词分配公式 其他公式 9、带量词的公式在论域内的展开 10、量词辖域的扩充公式 11、前束范式的写法 给定一个带有量词的谓词公式, 1)消去公式中的联接词→和←→(为了便于量词辖域的扩充); 2)如果量词前有“﹁ ”,则用量词否定公式﹁ ”后移。再用摩根定律或求公式的否定公式,将“﹁ ”后移到原子谓词公式之前; 3)用约束变元的改名规则或自由变元的代入规则对变元换名(为量词辖域扩充作准备); 4)用量词辖域扩充公式提取量词,使之成为前束范式形式。 简要概括:1、去-> ,<-> 2、移﹁ 3、换元 4、量词辖域扩充
离散数学第二章一阶逻辑知识点总结
数理逻辑部分 第2章一阶逻辑 2.1 一阶逻辑基本概念 个体词(个体): 所研究对象中可以独立存在的具体或抽象的客体个体常项:具体的事物,用a, b, c表示 个体变项:抽象的事物,用x, y, z表示 个体域: 个体变项的取值范围 有限个体域,如{a, b, c}, {1, 2} 无限个体域,如N, Z, R, … 全总个体域: 宇宙间一切事物组成 谓词: 表示个体词性质或相互之间关系的词 谓词常项:F(a):a是人 谓词变项:F(x):x具有性质F 一元谓词: 表示事物的性质 多元谓词(n元谓词, n≥2): 表示事物之间的关系 如L(x,y):x与y有关系L,L(x,y):x≥y,… 0元谓词: 不含个体变项的谓词, 即命题常项或命题变项 量词: 表示数量的词 全称量词?: 表示任意的, 所有的, 一切的等 如?x 表示对个体域中所有的x
存在量词?: 表示存在, 有的, 至少有一个等 如?x表示在个体域中存在x 一阶逻辑中命题符号化 例1 用0元谓词将命题符号化 要求:先将它们在命题逻辑中符号化,再在一阶逻辑中符号化(1) 墨西哥位于南美洲 在命题逻辑中, 设p:墨西哥位于南美洲 符号化为p, 这是真命题 在一阶逻辑中, 设a:墨西哥,F(x):x位于南美洲 符号化为F(a) 例2 在一阶逻辑中将下面命题符号化 (1)人都爱美; (2) 有人用左手写字 分别取(a) D为人类集合, (b) D为全总个体域 . 解:(a) (1) 设G(x):x爱美, 符号化为?x G(x) (2) 设G(x):x用左手写字, 符号化为?x G(x) (b) 设F(x):x为人,G(x):同(a)中
(完整word版)离散数学必备知识点总结.docx
总结离散数学知识点 第二章命题逻辑 1.→,前键为真,后键为假才为假;<—>,相同为真,不同为假; 2.主析取范式:极小项 (m) 之和;主合取范式:极大项(M)之积; 3.求极小项时,命题变元的肯定为1,否定为 0,求极大项时相反; 4.求极大极小项时,每个变元或变元的否定只能出现一次,求极小项 时变元不够合取真,求极大项时变元不够析取假; 5.求范式时,为保证编码不错,命题变元最好按P,Q,R 的顺序依次写; 6.真值表中值为 1 的项为极小项,值为0 的项为极大项; 7.n 个变元共有2n个极小项或极大项,这2n为(0~ 2n -1)刚好为化简完 后的主析取加主合取; 8.永真式没有主合取范式,永假式没有主析取范式; 9.推证蕴含式的方法 (=>) :真值表法;分析法 (假定前键为真推出后键 为真,假定前键为假推出后键也为假) 10.命题逻辑的推理演算方法:P 规则, T 规则 ①真值表法;②直接证法;③归谬法;④附加前提法; 第三章谓词逻辑 1.一元谓词:谓词只有一个个体,一元谓词描述命题的性质; 多元谓词:谓词有n 个个体,多元谓词描述个体之间的关系; 2.全称量词用蕴含→,存在量词用合取 ^;
3.既有存在又有全称量,先消存在量,再消全称量; 第四章集合 1.N ,表示自然数集, 1,2,3 ??,不包括 0; 2.基:集合 A 中不同元素的个数, |A|; 3.集:定集合 A,以集合 A 的所有子集元素成的集合,P(A) ; 4.若集合 A 有 n 个元素,集 P(A) 有2 n个元素, |P(A)|= 2| A| = 2 n; 5.集合的分划: (等价关系 ) ①每一个分划都是由集合 A 的几个子集构成的集合; ② 几个子集相交空,相并全(A); 6.集合的分划与覆盖的比: 分划:每个元素均出且出一次在子集中; 覆盖:只要求每个元素都出,没有要求只出一次; 第五章关系 1.若集合 A 有 m 个元素,集合 B 有 n 个元素,笛卡 A×B 的基数mn, A 到 B 上可以定2mn种不同的关系; 2.若集合 A 有 n 个元素, |A ×A|= n2,A 上有2n2个不同的关系; 3.全关系的性:自反性,称性,性; 空关系的性:反自反性,反称性,性;
离散数学课程总结
离散数学课程总结 姓名: 学号: 班级:级计科系软件工程()班 近年来,计算机科学与技术有了飞速发展,在生产与生活的各个领域都发挥着越来越重要的作用。离散数学是研究离散量的结构及其相互关系的数学学科,是现代数学的一个重要分支。它在各学科领域,特别在计算机科学与技术领域有着广泛的应用,同时离散数学也是计算机专业的许多专业课程。 一、课程总结 本书的主要内容有数理逻辑、集合论、代数结构、组合数学、图论以及初等数论六部分,而我们主要学习的有第一部分数理逻辑、第二部分集合论以及第五部分图论,第三部分代数结构也学习了一部分。第一部分:数理逻辑 数理逻辑是研究推理的数学分支,推理有一些列的陈述句组成。在数理逻辑中,主要学习了命题逻辑的基本概念、命题逻辑的等值演
算、命题逻辑的推理理论、一阶逻辑基本概念、一阶逻辑等值演算与推理。 1.在命题逻辑的基本概念中学习了命题的真值及真值表、命题与联 结词、命题及其分类、联结词与复合命题、命题公式及其赋值。2.在命题逻辑的等值演算中主要学习了等值式与基本的等值式模式、 等值演算与置换规则、析取范式与合取范式,极大值和极小值,主析取范式与主合取范式、联结词完备集。 3.在命题逻辑的推理理论中主要学习了推理的正确与错误、推理的 形式结构、判断推理正确的方法、推理定律;自然推理系统P、形式系统的定义与分类、自然推理系统P,在P中构造证明:直接证明法、附加前提证明法、归谬法。 4.在一阶逻辑基本概念中主要学习了一阶逻辑命题符号化、个体词、 谓词、量词、一阶逻辑公式及其解释、一阶语言、合式公式及合式公式的解释、永真式、矛盾式、可满足式。 5.在一阶逻辑等值演算与推理中主要学习了一阶逻辑等值式与基本 等值式、置换规则、换名规则、代替规则、前束范式、自然推理系统N及其推理规则。 第二部分:集合论 在集合论中,主要学习了集合代数、二元关系和函数。 1.在集合代数中,学习了集合的基本概念:属于、包含、空集、元 集、幂集、全集;集合的基本运算:并、交、补相对、对称差等; 集合恒等式:集合运算的主要算律、恒等式的证明方法。
离散数学部分概念和公式总结
离散数学部分概念和公式总结 命题:称能判断真假的陈述句为命题。 命题公式:若在复合命题中,p、q、r等不仅可以代表命题常项,还可以代表命题变项,这样的复合命题形式称为命题公式。 命题的赋值:设A为一命题公式,p ,p ,…,p 为出现在A中的所有命题变项。给p ,p ,…,p 指定一组真值,称为对A的一个赋值或解释。若指定的一组值使A的值为真,则称成真赋值。真值表:含n(n≥1)个命题变项的命题公式,共有2^n组赋值。将命题公式A在所有赋值下的取值情况列成表,称为A的真值表。 命题公式的类型:(1)若A在它的各种赋值下均取值为真,则称A为重言式或永真式。 (2)若A在它的赋值下取值均为假,则称A为矛盾式或永假式。 (3)若A至少存在一组赋值是成真赋值,则A是可满足式。 主析取范式:设命题公式A中含n个命题变项,如果A得析取范式中的简单合取式全是极小项,则称该析取范式为A的主析取范式。 主合取范式:设命题公式A中含n个命题变项,如果A得析取范式中的简单合析式全是极大项,则称该析取范式为A的主析取范式。 命题的等值式:设A、B为两命题公式,若等价式A?B是重言式,则称A与B是等值的,记作A<=>B。 约束变元和自由变元:在合式公式?x A和?x A中,称x为指导变项,称A为相应量词的辖域,x称为约束变元,x的出现称为约束出现,A中其他出现称为自由出现(自由变元)。一阶逻辑等值式:设A,B是一阶逻辑中任意的两公式,若A?B为逻辑有效式,则称A与B是等值的,记作A<=>B,称A<=>B为等值式。 前束范式:设A为一谓词公式,若A具有如下形式Q1x1Q2x2Q k…x k B,称A为前束范式。集合的基本运算:并、交、差、相对补和对称差运算。 笛卡尔积:设A和B为集合,用A中元素为第一元素,用B中元素为第二元素构成有序对组成的集合称为A和B的笛卡尔积,记为A×B。 二元关系:如果一个集合R为空集或者它的元素都是有序对,则称集合R是一个二元关系。特殊关系:(1)、空关系:Φ(2)全域关系:EA={
大学离散数学期末重点知识点总结(考试专用)
1.常用公式 p ∧(P →Q)=>Q 假言推论 ┐Q ∧(P →Q)=>┐P 拒取式 ┐p ∧(P ∨Q)=>Q 析取三段式 (P →Q) ∧(Q →R)=>P →R 条件三段式 (PQ) ∧(QR)=>PR 双条件三段式 (P →Q)∧(R →S)∧(P ∧R)=>Q →S 合取构造二难 (P →Q)∧(R →S)∧(P ∨R)=>Q ∨S 析取构造二难 (?x)((Ax)∨(Bx)) <=>( ?x)(Ax)∨(?x)(Bx) (?x)((Ax)∧(Bx)) <=>(?x)(Ax)∧(?x)(Bx) —┐(?x)(Ax) <=>(?x)┐(Ax) —┐(?x)(Ax) <=>(?x)┐(Ax) (?x)(A ∨(Bx)) <=>A ∨(?x)(Bx) (?x)(A ∧(Bx)) <=>A ∧(?x)(Bx) (?x)((Ax)→(Bx)) <=>(?x)(Ax)→(?x)(Bx) (?x)(Ax) →B <=>(?x) ((Ax)→B) (?x)(Ax) →B <=>(?x) ((Ax)→B) A →(?x)(Bx) <=>(?x) (A →(Bx)) A →(?x)(Bx) <=>(?x) (A →(Bx)) (?x)(Ax)∨(?x)(Bx) =>(?x)((Ax)∨(Bx)) (?x)((Ax)∧(Bx)) =>(?x)(Ax)∧(?x)(Bx) (?x)(Ax)→(?x)(Bx) =>(?x)((Ax)→(Bx)) 2.命题逻辑 1.→,前键为真,后键为假才为假;<—>,相同为真,不同为假; 2.主析取范式:极小项(m)之和;主合取范式:极大项(M)之积; 3.求极小项时,命题变元的肯定为1,否定为0,求极大项时相反; 4.求极大极小项时,每个变元或变元的否定只能出现一次,求极小项时变元不够合取真,求极大项时变元不够析取假; 5.求范式时,为保证编码不错,命题变元最好按P ,Q,R 的顺序依次写; 6.真值表中值为1的项为极小项,值为0的项为极大项; 7.n 个变元共有n 2个极小项或极大项,这n 2为(0~n 2-1)刚好为化简完后的主析取加主合取; 8.永真式没有主合取范式,永假式没有主析取范式; 9.推证蕴含式的方法(=>):真值表法;分析法(假定前键为真推出后键为真,假定前键为假推出后键也为假) 10.命题逻辑的推理演算方法:P 规则,T 规则 ①真值表法;②直接证法;③归谬法;④附加前提法; 3.谓词逻辑 1.一元谓词:谓词只有一个个体,一元谓词描述命题的性质; 多元谓词:谓词有n 个个体,多元谓词描述个体之间的关系; 2.全称量词用蕴含→,存在量词用合取^; 3.既有存在又有全称量词时,先消存在量词,再消全称量词; 4.集合 1.N ,表示自然数集,1,2,3……,不包括0; 2.基:集合A 中不同元素的个数,|A|; 3.幂集:给定集合A ,以集合A 的所有子集为元素组成的集合,P(A); 4.若集合A 有n 个元素,幂集P(A)有n 2个元素,|P(A)|=||2A =n 2; 5.集合的分划:(等价关系) ①每一个分划都是由集合A 的几个子集构成的集合; ②这几个子集相交为空,相并为全(A); 6.集合的分划与覆盖的比较: 分划:每个元素均应出现且仅出现一次在子集中; 覆盖:只要求每个元素都出现,没有要求只出现一次; 5.关系 1.若集合A 有m 个元素,集合B 有n 个元素,则笛卡尔A ×B 的基数为mn ,A 到B 上可以定义mn 2种不同的关系; 2.若集合A 有n 个元素,则|A ×A|=2n ,A 上有22n 个不同的关系; 3.全关系的性质:自反性,对称性,传递性; 空关系的性质:反自反性,反对称性,传递性; 全封闭环的性质:自反性,对称性,反对称性,传递性; 4.前域(domR):所有元素x 组成的集合; 后域(ranR):所有元素y 组成的集合; 5.自反闭包:r(R)=RU Ix ; 对称闭包:s(R)=RU 1-R ; 传递闭包:t(R)=RU 2R U 3R U …… 6.等价关系:集合A 上的二元关系R 满足自反性,对称性和传递性,则R 称为等价关系; 7.偏序关系:集合A 上的关系R 满足自反性,反对称性和传递性,则称R 是A 上的一个偏序关系; 8.covA={
东大20春学期《离散数学X》在线平时作业2【标准答案】
20春学期《离散数学X》在线平时作业2 试卷总分:100 得分:100 一、单选题 (共 10 道试题,共 40 分) 1.单选填空题。E是全集,E={a,b},E的幂集P(E)上的交运算Ç的有逆元的元素是()。 A.不存在。 B.{b}; C.{a} ; D.{a,b}; E.Φ; 答案:D 2.{图} A.{图} B.{图} C.{图} D.{图} 答案:B 3.下面是 "xC(x), $x(A(x)ÚB(x)), "x(B(x)?ØC(x)) Þ $xA(x) 的谓词推理过程。在这个过程中每一步中的()处是此步所用的推理规则。请写出这些推理规则。 ⑴ $x(A(x)ÚB(x)), ( ) ⑵ A(a)ÚB(a) ( ) ⑴ ⑶ "xC(x) ( ) ⑷ C(a) ( ) ⑶ ⑸ "x(B(x)→ØC(x)) ( ) ⑹ B(a)→ØC(a) ( ) ⑸ ⑺ ØB(a) ( ) ⑷⑹ I12 ⑻ A(a) ( ) ⑵⑺ I10 ⑼ $xA(x)) ( ) ⑻ A.⑴ P;⑵ US;⑶ T;⑷ UG;⑸ P;⑹ UG;⑺ P;⑻ T;⑼ UG。 B.⑴ P;⑵ T;⑶ T;⑷ UG;⑸ P;⑹ US;⑺ P;⑻ T;⑼ ES。 C.⑴ P;⑵ ES;⑶ P;⑷ US;⑸ P;⑹ US;⑺ T;⑻ T;⑼ EG。 D.⑴ P;⑵ EG;⑶ T;⑷ UG;⑸ P;⑹ UG;⑺ P;⑻ T;⑼ EG。 答案:C 4.{图} A.{图} B.{图} C.{图} D.{图} 答案:D
完整word版,离散数学知识汇总,推荐文档
离散数学笔记 第一章命题逻辑 合取 析取 定义 1. 1.3否定:当某个命题为真时,其否定为假,当某个命题为假时,其否定为真定义 1. 1.4条件联结词,表示“如果……那么……”形式的语句 定义 1. 1.5双条件联结词,表示“当且仅当”形式的语句 定义 1.2.1合式公式 (1)单个命题变元、命题常元为合式公式,称为原子公式。 (2)若某个字符串A 是合式公式,则?A、(A)也是合式公式。 (3)若A、B 是合式公式,则A ∧B、A∨B、A→B、A?B 是合式公式。 (4)有限次使用(2)~(3)形成的字符串均为合式公式。 1.3等值式 1.4析取范式与合取范式
将一个普通公式转换为范式的基本步骤
1.6推理 定义 1.6.1 设 A 与 C 是两个命题公式, 若 A → C 为永真式、 重言式,则称 C 是 A 的有 效结论,或称 A 可以逻辑推出 C ,记为 A => C 。(用等值演算或真值表) 第二章 谓词逻辑 2.1、基本概念 ?:全称量词 ?:存在量词 一般情况下, 如果个体变元的取值范围不做任何限制即为全总个体域时, 带 “全称量词”的谓词公式形如"?x(H(x)→B(x)),即量词的后面为条件式,带“存在量词”的谓词公式形如?x(H(x)∨WL(x)),即量词的后面为合取式 例题 R(x)表示对象 x 是兔子,T(x)表示对象 x 是乌龟, H(x,y)表示 x 比 y 跑得快,L(x,y)表示x 与 y 一样快,则兔子比乌龟跑得快表示为: ?x ?y(R(x)∧T(y)→H(x,y)) 有的兔子比所有的乌龟跑得快表示为:?x ?y(R(x)∧T(y)→H(x,y)) 2.2、谓词公式及其解释 定义 2.2.1、 非逻辑符号: 个体常元(如 a,b,c)、 函数常元(如表示22 y x 的 f(x,y))、 谓词常元(如表示人 类的 H(x))。 定义 2.2.2、逻辑符号:个体变元、量词(??)、联结词(﹁∨∧→?)、逗号、括号。 定义 2.2.3、项的定义:个体常元、变元及其函数式的表达式称为项(item)。 定义 2.2.4、原子公式:设 R(n x x ... 1)是 n 元谓词,n t t ...1是项,则 R(t)是原子公式。原子公式中的个体变元,可以换成个体变元的表达式(项),但不能出现任何联结词与量词,只能为单个的谓词公式。 定义 2.2.5 合式公式:(1)原子公式是合式公式;(2)若 A 是合式公式,则(﹁A)也是合式公式;(3)若 A,B 合式,则 A ∨B, A ∧B, A →B , A ?B 合式(4)若 A 合式,则?xA 、?xA 合式(5)有限次使用(2)~(4)得到的式子是合式。 定义 2.2.6 量词辖域:?xA 和?xA 中的量词?x/?x 的作用范围,A 就是作用范围。 定义 2.2.7 约束变元:在?x 和?x 的辖域 A 中出现的个体变元 x ,称为约束变元,这是与量词相关的变元,约束变元的所有出现都称为约束出现。 定义 2.2.8 自由变元:谓词公式中与任何量词都无关的量词,称为自由变元,它的每次出现称为自由出现。一个公式的个体变元不是约束变元,就是自由变元。 注意:为了避免约束变元和自由变元同名出现,一般要对“约束变元”改名,而不对自由变元改名。 定义 2.2.9 闭公式是指不含自由变元的谓词公式