离散数学复习题参考带答案.docx
- 文档编号:7547964
- 上传时间:2023-01-24
- 格式:DOCX
- 页数:14
- 大小:121.12KB
离散数学复习题参考带答案.docx
《离散数学复习题参考带答案.docx》由会员分享,可在线阅读,更多相关《离散数学复习题参考带答案.docx(14页珍藏版)》请在冰豆网上搜索。
离散数学复习题参考带答案
一、选择题:
(每题2’)
1、下列语句中不就是命题的有()。
A.离散数学就是计算机专业的一门必修课。
B.鸡有三只脚。
C.太阳系以外的星球上有生物。
D.您打算考硕士研究生不?
2、命题公式A与B就是等价的,就是指()。
A.A与B有相同的原子变元B.A与B都就是可满足的
C.当A的真值为真时,B的真值也为真D.A与B有相同的真值
3、所有使命题公式P∨(Q∧¬R)为真的赋值为()。
A.010,100,101,110,111B.010,100,101,111
C.全体赋值D.不存在
4、合式公式⌝(P∧Q)→R的主析取范式中含极小项的个数为()。
A.2B.3C.5D.0
5、一个公式在等价意义下,下面哪个写法就是唯一的()。
A.析取范式B.合取范式C.主析取范式D.以上答案都不对
6、下述公式中就是重言式的有()。
A.(P∧Q)→(P∨Q)B.(P↔Q)↔((P→Q)∧(Q→P))
C.⌝(P→Q)∧QD.P→(P∧Q)
7、命题公式(⌝P→Q)→(⌝Q∨P)中极小项的个数为(),成真赋值的个数为()。
A.0B.1C.2D.3
8、若公式(P∧Q)∨(⌝P∧R)的主析取范式为m001∨m011∨m110∨m111则它的主合取范式为()。
A.m001∧m011∧m110∧m111B.M000∧M010∧M100∧M101
C.M001∧M011∧M110∧M111D.m000∧m010∧m100∧m101
9、下列公式中正确的等价式就是()。
A.⌝(∃x)A(x)⇔(∃x)⌝A(x)B.(∀x)(∀y)A(x,y)⇔(∃y)(∀x)A(x,y)
C.⌝(∀x)A(x)⇔(∃x)⌝A(x)D.(∀x)(A(x)∧B(x))⇔(∀x)A(x)∨(∀x)B(x)
10、下列等价关系正确的就是()。
A.∀x(P(x)∨Q(x))⇔∀xP(x)∨∀xQ(x)B.∃x(P(x)∨Q(x))⇔∃xP(x)∨∃xQ(x)
C.∀x(P(x)→Q)⇔∀xP(x)→QD.∃x(P(x)→Q)⇔∃xP(x)→Q
11、设个体域为整数集,下列真值为真的公式就是()。
A.∀x∃y(x·y=1)B.∃x∀y(x·y=0)C.∀x∀y(x·y=y)D.∃x∀y(x+y=2y)
12、设S={∅,{1},{1,2}},则有()⊆S。
A.{{1,2}}B.{1,2}C.{1}D.{2}
13、下列就是真命题的有()。
A.{a}⊆{{a}}B.{{∅}}∈{∅,{∅}}C.∅∈{∅,{∅}}D.{∅}∈{∅,{∅}}
14、设S={∅,{1},{1,2}},则2S有()个元素。
A.3B.6C.7D.8
15、已知幂集的基数|ρ(A)|=2048,则集合A的基数|A|为()。
A.11B.12C.10D.9
16、设A={1,2,3},则A上的二元关系有()个。
A.23B.32C.23⨯3D.32⨯2
17、设A={a,b,c,d},A上的等价关系R={,,
A.{{a},{b,c},{d}}B.{{a,b},{c},{d}}C.{{a},{b},{c},{d}}D.{{a,b},{c,d}}
18、设R,S就是集合A上的关系,则下列说法正确的就是()。
A.若R、S就是自反的,则R︒S就是自反的B.若R、S就是反自反的,则R︒S就是反自反的
C.若R、S就是对称的,则R︒S就是对称的D.若R、S就是传递的,则R︒S就是传递的
19、集合A上的相容关系R的关系矩阵M(R)的对角线元素()。
A.全就是1B.全就是0C.有的就是1,有的就是0D.有的就是2
20、设集合A={1,2,3},A上的关系R={<1,1>,<1,2>,<2,2>,<3,3>,<3,2>},则R不具备()。
A.自反性B.传递性C.对称性D.反对称性
21、设
S上关系R的关系图为(如图所示),
则R具有()性质。
A.自反性、对称性、传递性B.反自反性、反对称性
C.反自反性、反对称性、传递性D.自反性
22、设S={1,2,3},R为S上的关系,其关系图为
则R具有()的性质。
A.自反、对称、传递B.什么性质也没有
C.反自反、反对称、传递D.自反、对称、反对称、传递
23、设A={1,2,3},B={a,b},下列各二元关系中就是A到B的函数的就是()。
A.R={<1,a>,<2,a>,<3,a>}B.R={<1,a>,<2,a>,<2,b>,<3,a>}
C.R={<1,a>,<2,b>}D.R={<2,a>,<2,b>}
24、设R为实数集,映射f:
R→R,f(x)=-x2+2x-1,则f就是()。
A.单射而非满射B.满射而非单射
C.双射D.既不就是单射,也不就是满射
25、设A={Φ,{1},{1,3},{1,2,3}}则A上包含关系“⊆”的哈斯图为()。
A.B.C.D.
26、N就是自然数集合,定义f:
N→N,f(x)=xmod3(即x除以3的余数),则f就是()。
A.满射不就是单射B.单射不就是满射
C.双射D.不就是单射也不就是满射
27、设S={∅,{1},{1,2}},则有()⊆S。
A.{{1,2}}B.{1,2}C.{1}D.{2}
28、集合A={x|x=2n∧n∈N}对()运算封闭。
A.加法B.减法C.乘法D.|x-y|
29、设*就是集合A上的二元运算,称Z就是A上关于运算*的零元,若()。
A.∀x∈A,有x*Z=Z*x=ZB.Z∈A,且∀x∈A有x*Z=Z*x=Z
C.Z∈A,且∀x∈A有x*Z=Z*x=xD.Z∈A,且∃x∈A有x*Z=Z*x=Z
30、下面偏序集()能构成格。
31、在()中,补元就是唯一的。
A.有界格B.有补格C.分配格D.有补分配格。
32、下面四组数能构成无向简单图的度数序列的有()。
A.(2,2,2,2,2)B.(1,1,2,2,3)C.(1,1,2,2,2)D.(1,1,3,3,3)
33、无向图结点之间的连通性,就是结点集之间的一个()。
A.连通关系B.偏序关系C.等价关系D.函数关系
34、已知图G的相邻矩阵为:
则G有( )。
A.5点,8边B.6点,7边C.5点,7边D.6点,8边
35、下列四组数为结点度序列,能构成无向图的就是()。
A.2,3,4,5,6,7B.1,2,2,3,4
C.2,1,1,1,2D.3,3,5,6,0
36、下列几个图就是简单图的有()。
A.G1=(V1,E1),其中V1={a,b,c,d,e},E1={(a,b),(b,e),(e,b),(a,e),(d,e)}
B.G2=(V2,E2),其中V2=V1,E2={,,
C.G3=(V3,E3),其中V3=V1,E3={(a,b),(b,e),(e,d),(c,c)}
D.G4=(V4,E4),其中V4=V1,E4={,,,
37、在一棵树中有7片树叶,3个3度结点,其余都就是4度结点则该树有()个4度结点。
A.1B.2C.3D.4
38、一棵树有2个4度结点,3个3数度结点,其余就是树叶,则该树中树叶的个数就是()。
A.8B.9C.10D.11
39、设图G就是有6个顶点的连通图,总度数为20,则从G中删去()边后使之变成树。
A.10B.5C.3D.2
40、下面那一个图可一笔画出()。
41、在如下各图中()欧拉图。
42、下图中既不就是欧拉图,也不就是哈密尔顿图的就是()。
43、在如下的有向图中,从V1到V4长度为3的道路有()条。
A.1B.2C.3D.4
44、图中从v1到v3长度为3的通路有()条。
A.0B.1C.2D.3
二、判断题(每题1分)
1.
。
(Y)
2.设A,B,C就是任意三个集合。
(1)若A∈B且B⊆C,则A∈C。
(Y)
(2)若A⊆B且B∈C,则A∈C。
(N)
(3)若A∈B且B⊄C,则A∉C。
(N)(4)(A⊕B)
C=(A×C)⊕(B×C)。
(Y)
(5)A⊕∪(B⊕C)=(A∪B)⊕(A∪C)。
(N)
3.A,B,C为任意集合,若A∪B=A∪C,则B=C。
(N)
4.可能有某种关系,既不就是自反的,也不就是反自反的。
(Y)
5.可能有某种关系,既就是对称的,又就是反对称的。
(Y)
6.设R就是实数集,R上的关系S={
(Y)
7.若集合A上的关系R就是对称的,则Rc也就是对称的。
(Y)
8.数集合上的不等关系(≠)可确定A的一个划分(N)
9.设集合A、B、C为任意集合,若A×B=A×C,则B=C。
(N)
10.函数的复合运算“︒”满足结合律。
(Y)
11.集合A上的恒等关系就是一个双射函数。
(Y)
12.任何一个循环群必定就是阿贝尔群。
(Y)
13.任何循环群必定就是阿贝尔群,反之亦真。
(N)
就是偏序集,B⊆A,则B的极大元b∈B且唯一。
(N)
15.群就是每个元素都有逆元的半群。
(N)
16.在代数系统中,若一个元素的逆元就是唯一的,其运算必就是可结合的。
(N)
17.每一个有限整环一定就是域,反之也对。
(N)
(Y)
19.若平面图共有v个结点,e条边与r个面,则v–e+r=2。
(N)
20.任何有向图中各结点入度之与等于边数。
(Y)
21.若两图结点数相同,边数相等,度数相同的结点数目相等,则两图就是同构的。
(N)
22.一个图就是平面图,当且仅当它包含与K3,3或K5在2度结点内同构的子图。
(N)
23.有割点的连通图可能就是哈密尔顿图。
(N)
24.无多重边的图就是简单图。
(N)
25.根树中最长路径的端点都就是叶子。
(N)
26.在完全二叉树中,若有
片叶子,则边的总数e=2t-1。
(N)
27.群中可以有零元(对阶数大于1的群)。
(N)
28.任何循环群必定就是阿贝尔群,反之亦真。
(N)
29.每一个链都就是分配格。
(Y)
30.不可能有偶数个结点,奇数条边的欧拉图。
(N)
31.集合A上的恒等关系就是一个双射函数。
(Y)
32.设Q为有理数集,Q上运算*定义为
则
就是半群。
(Y)
33.在完全二元树中,若有
片叶子,则边的总数
。
(N)
34.能一笔画出的图不一定就是欧拉图。
(Y)
35.根树中最长路径的端点都就是叶子。
(N)
36.命题公式(A∧(A→B))→B就是一个矛盾式。
(N)
37.设R就是实数集,R上的关系F={
(Y)
(N)
39.无多重边的图就是简单图。
(N)
40.谓词公式∃xP(x)→∀xQ(x)∨∃yR(y)的前束范式就是∀x∀z∃y(P(x)→Q(z)∨R(y))。
(Y)
三、解答题(本题分4小题,共计35分)
1、试求
的主析取范式。
2、用真值表判断下列公式就是永真式?
永假式?
可满足式?
(1)(P∧⌝P)↔Q
(2)⌝(P→Q)∧Q(3)((P→Q)∧(Q→R))→(P→R)
解:
(1)真值表:
PQ
⌝PP∧⌝P(P∧⌝P)↔Q
00
101
01
100
10
001
11
000
因此公式
(1)为可满足。
(2)真值表
PQ
P→Q⌝(P→Q)⌝(P→Q)∧Q
00
100
01
100
10
010
11
100
因此公式
(2)为永假式。
(3)真值表
PQR
P→QQ→RP→R((P→Q)∧(Q→R))→(P→R)
000
1111
001
1111
010
1011
011
1111
100
0101
101
0111
110
1001
111
1111
因此公式(3)为永真式。
3、设个体域就是D={2,3,6},F(x):
x≤3,G(x):
x>5,消去公式∀x(F(x)∧∃yG(y))中的量词,并讨论其真值。
解:
∀x(F(x)∧∃yG(y))⇔∀x(F(x))∧∃yG(y)⇔(F
(2)∧F(3)∧F(6))∧(G
(2)∨G(3)∨G(6))
⇔F∧T⇔F
4、求下列公式的前束范式:
(1)∀xF(x)∧﹁∃xG(x)
(2)(∀xF(x,y)→∃yG(y))→∀xH(x,y)
5、通过求主析取范式判断下列命题公式就是否等值:
(P∨Q)∧(⌝P∨Q∨R)与
(P∧(Q∨R))∨(Q∧(⌝P∨R))。
解:
(P∨Q)∧(⌝P∨Q∨R)
⇔(P∨Q∨(⌝R∧R))∧(⌝P∨Q∨R)
⇔(P∨Q∨⌝R)∧(P∨Q∨R)∧(⌝P∨Q∨R)
⇔M1∧M0∧M4⇔M0∧M1∧M4⇔∏(0,1,4)⇔∑(2,3,5,6,7)
(P∧(Q∨R))∨(Q∧(⌝P∨R))
⇔(P∧Q)∨(P∧R)∨(⌝P∧Q)∨(Q∧R)
⇔(P∧Q∧R)∨(P∧Q∧⌝R)∨(P∧Q∧R)∨(P∧⌝Q∧R)
∨(⌝P∧Q∧R)∨(⌝P∧Q∧⌝R)∨(P∧Q∧R)∨(⌝P∧Q∧R)
⇔(P∧Q∧R)∨(P∧Q∧⌝R)∨(P∧⌝Q∧R)∨(⌝P∧Q∧R)∨(⌝P∧Q∧⌝R)
⇔m7∨m6∨m5∨m3∨m2⇔∑(2,3,5,6,7)
由此可见(P∨Q)∧(⌝P∨Q∨R)⇔(P∧(Q∨R))∨(Q∧(⌝P∨R))
6、设个体域为D={-2,3,6},谓词
求谓词公式的真值:
7、若集合A={a,{b,c}}的幂集为ρ(A),集合B={∅,{∅}}的幂集为ρ(B),求:
ρ(A)⊕ρ(B)。
解:
ρ(A)={∅,{a},{{b,c}},{a,{b,c}}}
ρ(B)={∅,{∅},{{∅}},{{∅,{∅}}}
ρ(A)⊕ρ(B)={{a},{{b,c}},{a,{b,c}},{∅},{{∅}},{{∅,{∅}}}
8、设集合A={2,3,4,6,8,12,24},R为A上的整除关系,
(1)画出偏序集的哈斯图;
(2)写出集合A中的最大元、最小元、极大元、极小元;
(3)写出A的子集B={2,3,6,12}的上界、下界、最小上界、最大下界。
9、集合S={1,2,3,4,5},找出S上的等价关系,此关系能产生划分{{1,2},{3},{4,5}},并画出关系图。
10、已知A={a,b,c,d},A上的关系R定义为:
求:
r(R),s(R),t(R)。
11、已知A={1,2,3,4,5},A上的关系R定义为:
R={<1,2>,<2,1>,<1,3>,<2,4>,<4,1>,<5,5>,<5,3>,<5,4>},
求:
r(R),s(R),t(R)。
12、集合
上的关系R={<1,1>,<1,3>,<2,2>,<3,3>,<3,1>,<3,4>,<4,3>,<4,4>},写出关系矩阵MR,画出关系图并讨论关系R的性质。
13、设集合A={2,3,4,6,8,12,24},R为A上的整除关系,画出偏序集的哈斯图。
14、已知G={1,2,3,4,5,6},×7为模7乘法。
试说明
就是否为循环群?
若就是,生成元就是什么?
15、一棵树T中,有3个2度结点,一个3度结点,其余结点都就是树叶。
(1)T中有几个结点;
(2)画出具有上述度数的所有非同构的无向图。
16、设A={1,2,3,4,5},A上的偏序关系如右图所示,
求:
A的子集{3,4,5}与{1,2,3}的上界,下界,上确界与下确界。
17、求图中A到其余各顶点的最短路径,并写出它们的权。
18、设带权无向图如下,求其最小生成树T及该树的总权值。
19、权数1,4,9,16,25,36,49,64,81,100构造一棵最优二叉树。
20、如下图所示的赋权图表示某七个城市v1,v2,……,v7及预先算出它们之间的一些直接通信线路造价,试给出一个设计方案,使得各城市之间能够通信而且总造价最小。
四、写出对应下面推理的证明:
(本题10分,1*10’=10’)
1、(A→B)∧(C→D),B→E,D→F,¬(E∧F),A→C⇒¬A
2、P∨W→R,R→S∨T,S→T,¬T∧Q⇒¬W
3、如果小张与小王去瞧电影,则小李也去瞧电影;小赵不去瞧电影或小张去瞧电影;小王去瞧电影。
所以,当小赵去瞧电影时,小李也去瞧电影。
4、如果小张去瞧电影,则当小王去瞧电影时,小李也去。
小赵不去瞧电影或小张去瞧电影。
小王去瞧电影。
所以当小赵去瞧电影时,小李也去。
5、如果我学习(P),那么我数学不会不及格。
如果我不热衷于玩扑克(R),那么我将学习。
但我数学不及格(Q)。
因此我热衷于玩扑克。
(注:
请按括号中提示的字母翻译并进行论证。
)
6、或者就是天晴,或者就是下雨。
如果就是天晴,我去瞧电影。
如果我去瞧电影,我就不瞧书。
所以,如果我在瞧书,则天在下雨。
7、所有牛都有角,有些动物就是牛;所以,有些动物有角。
(P(x):
x就是牛;Q(x):
x有角;R(x):
x就是动物)
8、每个喜欢步行的人都不喜欢坐汽车;每个人或者喜欢坐汽车或者喜欢骑自行车;有的人不喜欢骑自行车。
因而有的人不喜欢步行。
(先将推理在一阶逻辑中符号化,随后验证其正确性)
五、解答题(本题10分,1*10’=10’)
1、某班有25个学生,其中14人会打篮球,12人会打排球,6人会打篮球与排球,5人会打篮球与网球,还有2人会打这三种球。
而6个会打网球的人都会打另外一种球(指篮球或排球),求不会打这三种球的人数。
2、120名学生参加考试,这次考试有A、B与C共3道题,考试结果如下:
12名学生3道题都做对了;20名学生做对A与B;16名学生做对A与C;28名学生做对B与C;做对A题的有48名学生;做对B题的有56名学生;还有16名学生一道题也没做对。
试求做对了C题的学生有多少名。
3、已知100个学生中有32人学数学,20人学物理,45人学生物,15人学数学与生物,7人学数学与物理,10学物理与生物,30人这三门课一门也没学。
问三门课程全部都学的学生人数就是多少?
4、设A={a,b,c},求A上所有的等价关系。
5、给定权1,4,9,16,25,36,49,64,81,100;构造一棵最优二叉树。
6、画出哈斯图:
设B={a,b,c},R={
7、偏序集
的关系图如下图所示,
(1)画出
的哈斯图;
(2)设B={b,c},求B的所有上界、上确界,下界与下确界。
8、给定算式[(a+b)*c*(d+e)]-[f-g*h],试用根树表示。
六、证明题:
(本题10分,1*10’=10’)
1、R就是A上的二元关系,证明:
如果R就是对称的,当且仅当R=R-1,且R-1也就是对称的。
2、设R就是A上的二元关系,试证:
R就是传递的当且仅当R2⊆R。
3、设R就是A上一个二元关系,S={|a,b∈A∧(对于某一个c∈A,有∈R且
试证:
若R就是A上一个等价关系,则S也就是A上的一个等价关系。
4、设R1就是非空集合A上的自反与传递的二元关系,R2也就是A上的二元关系,且有
证明:
R2就是A上的等价关系。
5、设f:
A→B,g:
B→C,证明
(1)若f,g都就是满射,则g◦f:
A→C也就是满射;
(2)若f,g都就是单射,则g◦f:
A→C也就是单射;
6、若f:
A→B就是从A到B的函数,定义一个函数g:
B→2A对任意b∈B有g(b)={x|(x∈A)∧(f(x)=b)},
证明:
若f就是A到B的满射,则g就是从B到
的单射。
7、给定代数系统U=
设f:
X→Y就是从U到V的同态,g:
Y→Z就是从V到W的同态。
证明:
g︒f:
X→Z就是从U到W的同态。
8、设
求证:
9、设
10、证明:
f就是一个从V1到V2的同态映射。
令V1=,V2=
⊕6:
a,b∈Z6,a⊕6b=(a+b)mod6,f:
I→Z6,f(j)=j(mod6),j∈I
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 离散数学 复习题 参考 答案