离散数学同步练习册汇总.docx
《离散数学同步练习册汇总.docx》由会员分享,可在线阅读,更多相关《离散数学同步练习册汇总.docx(21页珍藏版)》请在冰豆网上搜索。
离散数学同步练习册汇总离散数学同步练习册汇总离散数学同步练习册学号姓名专业教学中心华南理工大学网络教育学院二OO八年九月第一章命题逻辑一填空题
(1)设:
p:
派小王去开会。
q:
派小李去开会。
则命题:
“派小王或小李中的一人去开会”可符号化为:
pq。
(2)设A,B都是命题公式,AB,则AB的真值是T。
(3)设:
p:
刘平聪明。
q:
刘平用功。
在命题逻辑中,命题:
“刘平不但不聪明,而且不用功”可符号化为:
pq。
(4)设A,B代表任意的命题公式,则蕴涵等值式为ABPQ。
(5)设,p:
径一事;q:
长一智。
在命题逻辑中,命题:
“不径一事,不长一智。
”可符号化为:
pq。
(6)设A,B代表任意的命题公式,则德摩根律为(AB)AB。
(7)设,p:
选小王当班长;q:
选小李当班长。
则命题:
“选小王或小李中的一人当班长。
”可符号化为:
(AB(AB。
(8)设,P:
他聪明;Q:
他用功。
在命题逻辑中,命题:
“他既聪明又用功。
”可符号化为:
PQ。
(9)对于命题公式A,B,当且仅当AB是重言式时,称“A蕴含B”,并记为AB。
(10)设:
P:
我们划船。
Q:
我们跑步。
在命题逻辑中,命题:
“我们不能既划船又跑步。
”可符号化为:
(PQ。
(11)设P,Q是命题公式,德摩根律为:
(PQ)PQ。
(12)设P:
你努力。
Q:
你失败。
在命题逻辑中,命题:
“除非你努力,否则你将失败。
”可符号化为:
PQ。
(13)设p:
小王是100米赛跑冠军。
q:
小王是400米赛跑冠军。
在命题逻辑中,命题:
“小王是100米或400米赛跑冠军。
”可符号化为:
pq。
(4)设A,C为两个命题公式,当且仅当AC为一重言式时,称C可由A逻辑地推出。
二判断题1.设A,B是命题公式,则蕴涵等值式为ABAB。
(F)2.命题公式pqr是析取范式。
(T)3.陈述句“x+y5”是命题。
(T)4.110(p=1,q=1,r=0是命题公式(pqrq的成真赋值。
(T)5.命题公式p(pq是重言式。
(F)6.设A,B都是合式公式,则ABB也是合式公式。
(F)7.A(BC(AB(AC。
(F)8.陈述句“我学英语,或者我学法语”是命题。
(T)9.命题“如果雪是黑的,那么太阳从西方出”是假命题。
(T)10.“请不要随地吐痰!
”是命题。
(F)11.PQPQ。
(F)12.陈述句“如果天下雨,那么我在家看电视”是命题。
(T)13.命题公式(PQ)(RT)是析取范式。
(T)14.命题公式(PQR(PQ是析取范式。
(T)三、选择题:
在每小题的备选答案中只有一个正确答案,将正确答案序号填入下列叙述中的内。
1设:
P:
天下雪。
Q:
他走路上班。
则命题“只有天下雪,他才走路上班。
”可符号化为
(1)。
(1)PQ
(2)QP(3)QP(4)QP2(1明年国庆节是晴天。
(2在实数范围内,x+y3。
(3请回答这个问题!
(4明天下午有课吗?
在上面句子中,是命题的只有(2。
3命题公式A与B是等值的,是指(4。
(1)A与B有相同的命题变元
(2)AB是可满足式(3)AB为重言式(4)AB为重言式4(1雪是黑色的。
(2这朵花多好看呀!
。
(3请回答这个问题!
(4明天下午有会吗?
在上面句子中,是命题的是(1。
5设:
P:
天下大雨。
Q:
他乘公共汽车上班。
则命题“只要天下大雨,他就乘公共汽车上班。
”可符号化为
(2)。
(1)QP
(2)PQ(3)QP(4)QP6设:
P:
你努力;Q:
你失败。
则命题“除非你努力,否则你将失败。
”在命题逻辑中可符号化为(3)。
(1)QP
(2)PQ(3)PQ(4)QP7(1现在开会吗?
(2在实数范围内,x+y5。
(3这朵花多好看呀!
(4离散数学是计算机科学专业的一门必修课。
在上面语句中,是命题的只有(2。
8设:
P:
天气好。
Q:
他去郊游。
则命题“如果天气好,他就去郊游。
”可符号化为
(1)
(1)PQ
(2)QP(3)QP(4)QP9下列式子是合式公式的是(4)。
(1)(PQ)
(2)(P(QR)(3)(PQ)(4)QR10
(1)1101110
(2)中国人民是伟大的。
(3)全体起立!
(4)计算机机房有空位吗?
在上面句子中,是命题的是
(1)。
11设:
P:
他聪明;Q:
他用功。
则命题“他虽聪明但不用功。
”在命题逻辑中可符号化为(4)。
(1)PQ
(2)PQ(3)PQ(4)PQ12(1如果天气好,那么我去散步。
(2天气多好呀!
(3x=3。
(4明天下午有会吗?
在上面句子中(1是命题。
13设:
P:
王强身体很好;Q:
王强成绩很好。
命题“王强身体很好,成绩也很好。
”在命题逻辑中可符号化为(4)。
(1)PQ
(2)PQ(3)PQ(4)PQ四、解答题1设命题公式为(pq)(qp)。
(1)求此命题公式的真值表;
(2)给出它的析取范式;(3)判断该公式的类型。
(1)Pqpqpqqp(pq)(qp)TTFFTFFTFFTTTTFTTFTTTFFTTFTT
(2)(pq)pq(3)可满足式2设命题公式为(pq)(pr)。
(1)求此命题公式的真值表;
(2)给出它的析取范式;(3)判断该公式的类型。
(1)pqrpqpr(pq)(pr)TTTTTTTTFTTTTFTFTFTFFFTFFTTTTTFTFTTTFFTTTTFFFTFF(2(pq(pr(pr(3可满足式3设命题公式为Q(PQ)P。
(1)求此命题公式的真值表;
(2)求此命题公式的析取范式;(3)判断该命题公式的类型。
(1)PQPQPQ(PQ)PQ(PQ)PTTFFTTFTFFTFTTFTTFTTFFFTTTFF(2P(PQ)(3可满足式4完成下列问题
(1)求此命题公式Q(PQ)P的真值表;
(2)求命题公式(P(QR)S的析取范式。
(1)同上表
(2)P(QRS5设命题公式为(P(PQ)Q。
(1)求此命题公式的真值表;
(2)判断该公式的类型。
(1)PQPQP(PQ)(P(PQ)QTTTTTTFFFTFTTFFFFTFF(2可满足式6设命题公式为(PQ)P)Q。
(1)求此命题公式的真值表;
(2)给出它的析取范式;(3)判断该公式的类型。
(1PQPPQ(PQ)P(PQ)P)QTTFTFTTFFTFTFTTTTTFFTFFT(2PQ(PQ(3重言式7用直接证法证明前提:
PQ,PR,QS结论:
SR证明:
8用直接证法证明前提:
P(QR,SQ,P,S。
结论:
R证明:
SQ,S推出Q(假言推论)P(QR,P推出QR(假言推论)Q,QR推出R(析取三段论)第二章谓词逻辑一填空题
(1)若个体域是含三个元素的有限域a,b,c,则A(xA(aA(bA(c
(2)取全总个体域,令F(x:
x为人,G(x:
x爱看电影。
则命题“没有不爱看电影的人。
”可符号化为_(x_(F(x_G(x_。
(3)若个体域是含三个元素的有限域a,b,c,则xA(xA(aA(bA(c。
(4)取全总个体域,令M(x:
x是人,G(y:
y是花,H(x,y:
x喜欢y。
则命题“有些人喜欢所有的花。
”可符号化为_xy(_M(xH(x,yG(y_。
(5)取个体域为全体人的集合。
令F(x:
x在广州工作,G(x:
x是广州人。
在一阶逻辑中,命题“在广州工作的人未必都是广州人。
”可符号化为_x(F(xG(x_。
(6)P(x:
x是学生,Q(x:
x要参加考试。
在谓词逻辑中,命题:
“每个学生都要参加考试”可符号化为:
x(P(xQ(x。
(7)M(x:
x是人,B(x:
x勇敢。
则命题“有人勇敢,但不是所有的人都勇敢”谓词符号化为_x(M(xB(x(x(M(xB(x_。
(8)P(x:
x是人,M(x:
x聪明。
则命题“尽管有人聪明,但不是一切人都聪明”谓词符号化为_x(P(xM(x(x(P(xM(x_。
(9)I(x:
x是实数,R(x:
x是正数,N(x:
x是负数。
在谓词逻辑中,命题:
“任何实数或是正的或是负的”可符号化为:
x(I(xR(xR(x。
(10)P(x:
x是学生,Q(x:
x要参加考试。
在谓词逻辑中,命题:
“每个学生都要参加考试”可符号化为:
x(P(xQ(x。
(11)令M(x:
x是大学生,P(y:
y是运动员,H(x,y:
x钦佩y。
则命题“有些大学生不钦佩所有运动员。
”可符号化为_xy(M(xP(yH(x,y__。
二判断题1.设A,B都是谓词公式,则xAB也是谓词公式。
(T)2.设c是个体域中某个元素,A是谓词公式,则A(cxA(x。
(F)3.xyA(x,yyxA(x,y。
(T)4.xyA(x,yyxA(x,y。
(F)5.取个体域为整数集,则谓词公式xy(xy=y是假命题。
(T)6.(x(P(xQ(x)(x(P(xQ(x)。
(T)7.命题公式(PQR(PQ是析取范式。
(F)8.谓词公式(x(A(xB(x,yR(x的自由变元为x,y。
(F)9.(x)A(x)B)(x)(A(x)B)。
(F)10.R(x:
“x是大学生。
”是命题。
(T)三、选择题:
在每小题的备选答案中只有一个正确答案,将正确答案序号填入下列叙述中的内。
1设F(x):
x是火车,G(x):
x是汽车,H(x,y):
x比y快。
命题“某些汽车比所有火车慢”的符号化公式是(2。
(1)y(G(y)x(F(x)H(x,y)
(2)y(G(y)x(F(x)H(x,y)(3)xy(G(y)(F(x)H(x,y)(4)y(G(y)x(F(x)H(x,y)2设个体域为整数集,下列真值为真的公式是(3。
(1)yx(xy=2
(2)xy(xy=2(3)xy(xy=2(4)xy(xy=23设F(x):
x是人,G(x):
x早晨吃面包。
命题“有些人早晨吃面包”在谓词逻辑中的符号化公式是(4。
(1)(x)(F(x)G(x)
(2)(x)(F(x)G(x)(3)(x)(F(x)G(x)(4)(x)(F(x)G(x)5下列式子中正确的是(4。
(1)(x)P(x)(x)P(x)
(2)(x)P(x)(x)P(x)(3)(x)P(x)(x)P(x)(4)(x)P(x)(x)P(x)6下面谓词公式是永真式的是(d。
aP(x)Q(x)b(x)P(x)(x)P(x)cP(a)(x)P(x)dP(a)(x)P(x)5设S(x):
x是运动员,J(y):
y是教练员,L(x,y):
x钦佩y。
命题“所有运动员都钦佩一些教练员”的符号化公式是(c。
ax(S(x)y(J(y)L(x,y)bxy(S(x)(J(y)L(x,y)cx(S(x)y(J(y)L(x,y)dyx(S(x)(J(y)L(x,y)6下列式子是合式公式的是(2。
(1)(PQ)
(2)(P(QR)(3)(PQ)(4)QR7下列式子中正确的是(4。
(1)(x)P(x)(x)P(x)
(2)(x)P(x)(x)P(x)(3)(x)P(x)(x)P(x)(4)(x)P(x)(x)P(x)四、解答题1构造下面推理的证明:
前提:
xF(x)y(F(y)G(y)R(y),xF(x)。
结论:
xR(x)。
2在一阶逻辑中构造下面推理的证明每个喜欢步行的人都不喜欢坐汽车。
每个人或者喜欢坐汽车或者喜欢骑自行车。
有的人不喜欢骑自行车。
因而有的人不喜欢步行。
令F(x:
x喜欢步行。
G(x:
x喜欢坐汽车。
H(x:
x喜欢骑自行车。
x(F(xG(x,x(G(xH(x,xH(xxF(x3在命题逻辑中构造下面推理的证明:
如果他是理科学生,他必须学好数学。
如果他不是文科学生,他必是理科学生。
他没学好数学,所以他是文科学生。
4用直接证法证明:
前提:
(x)(C(x)W(x)R(x),(x)(C(x)Q(x)结论:
(x)(Q(x)R(x)。
第三章集合与关系一填空题
(1)如果|A|n,那么|AA|n*n。
A上的二元关系有_2_个。
(2)集合A上关系R的自反闭包r(R)=_。
(3)设集合A上的关系R和S,R=(1,2),(1,3),(3,2),S=(1,3),(2,1),(3,2),则SR=(2,2,(1,2。
(4)如果|A|n,那么|P(A|。
(5)设集合A上的关系R和S,R=,S=,则RS=,。
(6)设集合E=a,b,c,E的幂集P(E,a,b,c,a,b,a,c,b,c,a,b,c_。
(7)设R是定义在集合X上的二元关系,如果对于每个x,yX,___,则称集合X上的关系R是对称的。
(8)设关系R和S为,R=,S=,则RS=____。
(9)设R是定义在集合X上的二元关系,如果对于每个x,yX,___,则称集合X上的关系R是自反的。
二判断题1设A、B、C为任意的三个集合,则A(BC=A(BC。
()2设S,T是任意集合,如果ST=,则S=T。
()3集合A=1,2,3,4上的关系,是一个函数。
()4集合A=1,2,3,4上的整除关系是等价关系。
()5集合A的幂集P(A上的包含关系是偏序关系。
()6设A=a,b,c,RAA且R=,则R是传递的。
()6设A,B是任意集合,如果B,则ABA。
()7集合A=1,2,3上的关系,是传递的。
()8集合A=1,2,3,4上的小于关系是等价关系。
()9关系1,x2x1,x2N,x1+x26能构成一个函数。
()10集合A上的恒等关系是偏序关系。
()11集合A=1,2,3上的关系S=,是自反的。
()12设X=1,2,3,Y=a,b,c。
函数F=,是双射。
()13集合A上的关系R的自反闭包r(R=RIA。
()14集合A上的偏序关系R是自反的、对称的、传递的。
()15.设A,B是任意集合,则AB(A-B(B-A。
()三、选择题:
在每小题的备选答案中只有一个正确答案,将正确答案序号填入下列叙述中的内。
1设A=a,b,c,B=a,b,则下列命题不正确的是。
aAB=a,bbAB=a,bcAB=cdBA2设A=a,b,c,d,A上的关系R=,,则它的对称闭包为。
aR=,,bR=,,cR=,,dR=,,3对于集合1,2,3,4上的关系是偏序关系的是。
aR=,bR=,cR=,dR=,4设A=1,2,3,4,5,B=6,7,8,9,10,以下哪个关系是从A到B的单射函数。
af=,bf=,cf=,df=,5设A=a,b,c,要使关系,R具有对称性,则。
aR=,bR=,cR=,dR=,6设S=,1,1,2,则S的幂集P(S)有个元素
(1)3
(2)6(3)7(4)87设R为定义在集合A上的一个关系,若R是,则R为等价关系。
(1)反自反的,对称的和传递的
(2)自反的,对称的和传递的(3)自反的,反对称的和传递的(4)对称的,反对称的和传递的8设S,T,M为任意集合,下列命题正确的是。
a如果ST=SM,则T=Mb如果S-T=,则S=TcS-TSdSS=S9设A=a,b,c,要使关系,R具有对性,则。
(1)R=,
(2)R=,(3)R=,(4)R=,10设A=1,2,3,4,5,B=a,b,c,d,e,以下哪个函数是从A到B的入射函数。
aF=,bF=,cF=,dF=,四、解答题1已知偏序集(A,),其中A=a,b,c,d,e,“”为(a,b),(a,c),(a,d),(c,e),(b,e),(d,e),(a,e)IA。
(1)画出偏序集(A,)的哈斯图。
(2)求集合A的极大元,极小元,最大元,最小元。
2设R是集合A=1,2,3,4,5,6,7,8,9上的整除关系。
(1)给出关系R;
(2)画出关系R的哈斯图;(3)指出关系R的最大、最小元,极大、极小元。
3设R是集合A=1,2,3,4,6,12上的整除关系。
(2)给出关系R;
(2)给出COVA(3)画出关系R的哈斯图;(4)给出关系R的极大、极小元、最大、最小元。
第五章代数结构一填空题
(1)集合S的幂集P(S关于集合的并运算“”的零元为_。
(2)集合S的幂集P(S关于集合的并运算“”的零元为_。
(3)集合S的幂集P(S关于集合的并运算“”的么元为_。
(4)一个代数系统S,*,其中S是非空集合。
*是S上的一个二元运算,如果,则称代数系统S,*为广群。
二判断题1含有零元的半群称为独异点。
()2运算“”是整数集I上的普通加法,则群的么元是1。
()三、填空题:
在每小题的备选答案中只有一个正确答案,将正确答案序号填入下列叙述中的内。
1下列群一定为循环群的是。
e(运算“”是整数集I上的普通加法)f(R是实数集,“”是普通乘法)g(运算“”是有理数集Q上的普通加法)h(P(S)是集合S的幂集,“”为对称差)2运算“”是整数集I上的普通减法,则代数系统满足下列性质。
(1)结合律
(2)交换律(3)有零元(4)封闭性3设I是整数集,N是自然数集,P(S)是S的幂集,“,”是普通的乘法,加法和集合的交运算。
下面代数系统中是群。
(1)
(2)(3)(4)4下列代数系统不是群的是。
(5)(运算“”是整数集I上的普通加法)(6)(P(S)是集合S的幂集,“”为交运算)(7)(运算“”是有理数集Q上的普通加法)(P(S)是集合S的幂集,“”为对称差)第七章图论一填空题
(1)一个无向图G=(V,E)是二部图当且仅当G中无长度的回路。
(2)任何图(无向的或有向的中,度为奇数的顶点个数为。
(3)设D是一个有向图,若D中任意一对顶点都是相互可达的,则称D是_。
(4)既不含平行边,也不含环的图称为。
(5)经过图中一次且仅一次并且行遍图中每个顶点的回路,称为欧拉回路。
(6)一棵有n个顶点的树含有_边。
(7)设G=(V,E),G=(V,E)是两个图,若且,称G是G的生成子图。
(8)经过图中一次且仅一次的回路,称为哈密尔顿回路。
二判断题15个顶点的有向完全图有20条边。
()2连通无向图的欧拉回路经过图中的每个顶点一次且仅一次。
()3图中的初级通路都是简单通路。
()4已知n(n2阶无向简单图G有n1条边,则G一定为树。
()5n阶无向完全图Kn的每个顶点的度都是n。
()6一个无向图是二部图当且仅当它没有奇数度的顶点。
()7任何图都有一棵生成树。
()8连通无向图的哈密尔顿回路经过图中的每条边一次且仅一次。
()9图中的初级回路都是简单回路。
()10任一图G=(V,E)的顶点的最大度数必小于G的顶点数。
()11欧拉图一定是汉密尔顿图。
()12无向连通图G的任意两结点之间都存在一条路。
()13根树中除一个结点外,其余结点的入度为1。
()三、选择题:
在每小题的备选答案中只有一个正确答案,将正确答案序号填入下列叙述中的内。
1下列为欧拉图的是。
2下列各图为简单图的是。
(4(3(2(13设无向图G有12条边,已知G中3度顶点有6个,其余顶点的度数都小于3,则该图至少有个顶点。
(1)6
(2)8(3)9(4)124下列四个有6个结点的图是连通图。
(2(1(3(45称图G=为图G=的生成子图是指_.
(1)VV
(2)VV且EE(3)V=V且EE(4)VV且EE6有向图中结点之间的可达关系是_。
(1)自反的,对称的
(2)自反的,传递的(3)自反的,反对称的(4)反自反的,对称的7在下列关于图论的命题中,为真的命题是。
a完全二部图Kn,m(n1,m1是欧拉图b欧拉图一定是哈密尔顿图c无向完全图Kn(n3)都是欧拉图d无向完全图Kn(n3)都是哈密尔顿图8下列各图为平面图的是。
(4(2(3(19设G为任意的连通的平面图,且G有n个顶点,m条边,r个面,则平面图的欧拉公式为。
(1)nm+r=2
(2)mn+r=2(3)n+mr=2(4)r+n+m=210下列四个图中与其余三个图不同构的图是。
(1)
(2)(3)(4)四、解答题1给定边集:
(1,2),(1,3),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5),(8)画出相应的无向图G(设G无孤立点);(9)画出顶点子集V1=2,3,4,5导出的导出子图;(10)画出图G的一棵生成树。
2如图所示带权图,用避圈法(Kruskal算法求一棵最小生成树并计算它的权值。
3如图所示带权图,用避圈法(Kruskal算法求一棵最小生成树并计算它的权值。
4求带权图G的最小生成树,并计算它的权值。
5给定权为2,6,3,9,4;构造一颗最优二叉树。
6给定权为1,9,4,7,3;构造一颗最优二叉树。
7给定权为2,6,5,9,4,1;构造一颗最优二叉树。