离散数学模拟题(开卷)
离散数学模拟试题

离散数学模拟试题填空题30分1. 数理逻辑研究的中⼼问题是推理,命题必须具备:其⼀,语句是_______;其⼆,语句有_______。
命题的真值就是命题的逻辑取值。
若⼀个命题是真命题,其真值为____ ;若⼀个命题是假命题,其真值为___ 。
2. 基本的逻辑联结词包括 ____、____、____、____、____。
含有n 个命题变项的公式A 共有____个赋值。
n 个命题变项只能⽣成____个真值不同的公式。
3. 在⼀阶逻辑中,简单命题被分解成_______和_______。
命题中常出现的量词有_______和_______。
4. 集合是⼀些事物汇集到⼀起组成的⼀个整体,不含任何元素的集合叫做_____,它是所有集合的⼀个⼦集。
设集合}b ,a { A ,它的全体⼦集构成的集合叫做A的_____,P (A )=_______________________________________________。
5. ⼏个集合之间的关系和运算可以⽤⽂⽒图给与形象的描述。
⽤公式表⽰下列阴影部分的集合1=_________________,2=_________________1 .2 .6. ⼀个⾮空集合,且它的元素都是有序对或者集合是空集,则称该集合为⼀个⼆元关系。
任何集合都有三个特殊的⼆元关系________、________、________。
7.关系的运算中R 的逆关系R -1=____________,关系的性质有_____________________________。
如果}a a,,c a,,b ,a {><><><=F ,},c b,,b ,c ,b b,,c c,,a a,,b ,a {><><><><><><=H ,则F?H=____________________________ 8.图论中所说的图是描述事物之间关系的⼀种⼿段,许多事物之间的关系可抽象成点及它们之间的连线,集合论中⼆元关系的关系图就是简单的图。
离散数学模拟试卷(I 卷)

C) *ab aaa baa
D)
*a b aab bb a
(13) 在代数系统中,整环和域的关系是( )
A) 整环一定是域
B) 域不一定是整环
C) 域一定是整环
D) 域一定不是整环
(14) 下列偏序中不能构成格的是( )
A)
B)
C)
D)
第2页共4页
(15) 模格与分配格的关系是:模格( A) 一定是分配格
(3) 设集合 A={a,b,c},A 中的关系 R={<a,a>,<a,c>,<b,c>,<c,c>} (6 分) a) 求 r(R)和 s(R)。 b) 利用矩阵方法求 R 的传递闭包 t(R)。
(4) 在偏序集<A,≤>中,其中 A={1,2,3,4,6,8},≤是 Z 中的整除关系 (7 分) a) 求出 COV A。 b) 画出哈斯图。 c) 求集合 D={2,3,4,6}的极大元,极小元,最大元,最小元,最小上界和最大下界。
)
(4) 有割点的连通图可能是汉密尔顿图。 ( )
(5) 任何一个循环群必定是 Abel 群。 ( )
四、简答题(共 40 分) (1) 用等式演算法求公式 ┐(PÆQ) ↔ (PÆ┐Q))的主析取范式和主合取范式,并写出编码形 式。 (8 分)
(2) 求公式 (∃x)(f (x) ∧ (∀y)G(x, y, z)) → (∃z)H(x, y, z) 的前束范式。 (5 分)
(6) 集合 A 上的关系 R 是相容关系的必要条件是( A) 自反、反对称的
) B) 反自反、对称的
C) 传递、自反的
D) 自反、对称的
(7) 任何无向图中结点间的连通关系是(
离散数学考试模拟试题及详细参考答案共四套

离散模拟答案11命题符号化(共6小题,每小题3分,共计18分)1.用命题逻辑把下列命题符号化a)假如上午不下雨,我去看电影,否则就在家里读书或看报。
b)我今天进城,除非下雨。
c)仅当你走,我将留下。
2.用谓词逻辑把下列命题符号化a)有些实数不是有理数b)对于所有非零实数x,总存在y使得xy=1。
c) f 是从A到B的函数当且仅当对于每个a∈A存在唯一的b∈B,使得f(a)=b.一、简答题(共6道题,共32分)1.求命题公式(P→(Q→R))↔(R→(Q→P))的主析取范式、主合取范式,并写出所有成真赋值。
(5分)2.设个体域为{1,2,3},求下列命题的真值(4分)a)∀x∃y(x+y=4)b)∃y∀x (x+y=4)3.求∀x(F(x)→G(x))→(∃xF(x)→∃xG(x))的前束范式。
(4分)4.判断下面命题的真假,并说明原因。
(每小题2分,共4分)a)(A⋃B)-C=(A-B) ⋃(A-C)b)若f是从集合A到集合B的入射函数,则|A|≤|B|5.设A是有穷集,|A|=5,问(每小题2分,共4分)a)A上有多少种不同的等价关系?b)从A到A的不同双射函数有多少个?6.设有偏序集<A,≤>,其哈斯图如图1,求子集B={b,d,e}的最小元,最大元、极大元、极小元、上界集合、下界集合、上确界、下确界,(5分)f g图17.已知有限集S={a1,a2,…,a n},N为自然数集合,R为实数集合,求下列集合的基数S;P(S);N,N n;P(N);R,R×R,{o,1}N(写出即可)(6分)二、证明题(共3小题,共计40分)1.使用构造性证明,证明下面推理的有效性。
(每小题5分,共10分)a)A→(B∧C),(E→⌝F)→⌝C, B→(A∧⌝S)⇒B→Eb)∀x(P(x)→⌝Q(x)), ∀x(Q(x)∨R(x)),∃x⌝R(x) ⇒∃x⌝P(x)2.设R1是A上的等价关系,R2是B上的等价关系,A≠∅且B≠∅,关系R满足:<<x1,y1>,<x2,y2>>∈R,当且仅当< x1, x2>∈R1且<y1,y2>∈R2。
数理系离散数学模拟试卷

数理系离散数学模拟试卷一.选择题(每题1分,共10分)1.判断下列语句哪一个是命题:()。
A.请把门关上! B.你喜欢鲁迅的作品吗?C.我在说谎 D.雪是黑色的。
2.命题公式P→(Q→P)为()。
A.重言式 B.可满足式 C.矛盾式 D.等价式3.若个体域为整数域,下列公式中()为假。
A.∀x∃y(x+y=0) B.∃y∃x(x+y=0)C.∀x∀y(x+y=0) D.┐∃y∀x(x+y=0)4.设A,B,C为任意三个集合,下列命题正确的是()。
A.若A∪B=A∪C,则B=C B.若A∩B=A∩C,则B=CC.若~A∪B=E,则A⊆B D.若A-B=∅,则A=B5.设R和S是集合A上的关系,若R和S是传递的,则()。
A.R∩S是传递的 B.R∪S是传递的C.R·S是传递的 D.以上都不对6.若f•g是满射,则()。
A.g必是满射 B.f必是单射C.f必是满射 D.g必是单射7.设G是6个元素的循环群,a是生成元素,则下列为G的子群的是()。
A.{a} B.{e,a3} C.{e, a} D.{e, a ,a2}8.判断下列集合中对所给的二元运算不封闭的是()。
A.整数集合Z上的普通加法运算;B.非零整数集合上的普通除法运算;C.设A={a1,a2,…,an},n≥2,∀a,b∈A,a*b=b;D.设A ={2n│n∈Z},集合A上的普通加法和乘法运算。
9.n阶k度正则图的边数应为()。
A.n(n-1)/2 B.n C.n(n+1) D.nk/210.设G是有n个顶点,m条边的无向简单图,并且m=n-1,则下列()是正确的。
A.G一定是树 B.G不一定是树C.G一定不是树 D.以上说法都不对二.填空题(每空2分,共30分)1.设P:王华是一班的学生;Q:王华是二班的学生。
则:命题“王华要末是一班的学生要末是二班的学生”符号化为____________。
2.谓词公式∀xP(x)→∀xQ(x)∨∃yR(y)的前束范式为:______________________________。
离散数学模拟题3

模拟试题 3一. 有两个小题1.分别说明联结词、∧、∨、→以及的名称,以及在自然语言中表示什么含义。
2.分别列出P Q、P Q、P Q、P Q的真值表(填下表)。
P Q P Q P Q P Q P Q二.有三个问题1.先说明什么叫永真式(也叫重言式)。
2.指出下面的命题公式中哪些是永真式(只写题号即可)。
(1). (P∨Q)→P (2). P→(P∨Q)(3). (P∧(P→Q))→Q (4). (P∧Q)→Q3.然后对上面的永真式任选其中一个给予证明(方法不限)。
三.判断下面命题的真值。
对你的回答,给予证明或者举反例。
(1).如果A∈B,B C,则 A C 。
(2).空集是唯一的。
四.R是实数集合,给定R上的五个关系如下:R1={<x,y>|x=y2} R2={<x,y>|y=x+6}R3={<x,y>|y=(x+1)-1} R4={<x,y>|y=2x}R5={<x,y>|x2+y2=4}上述五个关系中,哪些不是从R到R的函数,为什么如果是函数,则哪些是从R到R的入射函数哪些是从R到R的双射函数五.用谓词逻辑推理的方法证明下面推理的有效性。
要求按照推理的格式书写推理过程。
xP(x), x(Q(x) R(x)), x(P(x) R(x))x Q(x)六.给定集合A={1,2,3},定义A上的关系如下:R={<1,1>,<1,2>,<1,3>,<3,3>}S={<1,1>,<1,2>,<2,1>,<2,2>,<3,3>}T={<1,1>,<2,1>,<2,2>,<2,3>,<3,3>}M=Ф(空关系)N=A×A(完全关系(全域关系))1.分别画出上述各个关系的有向图。
专科离散数学模拟试题(一)

专科《离散数学模拟》试题(一)姓名______________ 学号______________ 成绩______________一、填空(每小题5分,共25分)1.设}41,,3|{≤≤∈==K N k k x x A ,则用列举法表示A =_____________________。
2.设}2,{φ=A ,则A 的幂集=A 2________________________。
3.设)}1,2(),2,4(),3,1{(=ρ是A 到B 的关系,则ρ的逆关系=ρ~_______________。
4.下图G 的邻接矩阵A =__________________________5.设}},3,2{,3,2{φ=A ,则=-}}3,2{{A ____________________________。
二、选择题(将正确答案的编号填入相应题目后面的括号中,每小题5分,共20分) 1.设集合}3,2,1{=A ,A 上的关系)}1,1(),1,2(),1,3(),3,2{(=ρ,则ρ是( )。
A .自反的B .反对称的C .可传递的2.设有函数Z Z Z f →⨯:(Z 表示非负整数集),定义为y x y x f +=),(,则f 是( )。
A .满射B .内射C .双射3.设}4,3,2,1{=A ,则A 的分划有( )。
A .}}3{},4,2{),1{(B .}}4{},3,2{{C .}}4{},3,2,1{{4.设简单图G 所有结点的度之和为12,则G 一定有( )。
A .3条边 B .4条边 C .6条边4v 3v 2v 1v三、问答题(每小题6分,共42分)1.下图G 是否二部图?若是,找出它的互补结点子集。
2.设有命题公式)(Q P P F →⌝∨=,问F 是否求真公式?为什么?3.判断下图是否欧拉图,若是,找出一个欧拉回路。
v 2v 1v 53v 5v4.设1ρ和2ρ是集合A 上的偏序关系,问1ρ-2ρ是A 上的偏序关系吗?为什么?5.判断下述命题公式的等值关系是否成立P Q P Q P Q ∨⌝⇔→∧→)((6.将下一命题符号化。
离散数学模拟试卷和答案

北京语言大学网络教育学院《离散数学》模拟试卷一注意:1.试卷保密,考生不得将试卷带出考场或撕页,否则成绩作废。
请监考老师负责监督。
2.请各位考生注意考试纪律,考试作弊全部成绩以零分计算。
3.本试卷满分100分,答题时间为90分钟。
4.本试卷分为试题卷和答题卷,所有答案必须答在答题卷上,答在试题卷上不给分。
一、【单项选择题】(本大题共15小题,每小题3分,共45分)在每小题列出的四个选项中只有一个选项是符合题目要求的,请将正确选项前的字母填在答题卷相应题号处。
1、在由3个元素组成的集合上,可以有()种不同的关系。
[A]3 [B]8 [C]9 [D]272、设A 1,2,3,5,8,B 1,2,5,7 ,则A B()。
[A] 3,8 [B] 3 [C]8[D] 3,83、若X是Y的子集,则一定有()。
[A]X 不属于Y [B]X ∈Y[C]X 真包含于Y [D]X∩Y=X4、下列关系中是等价关系的是()。
[A]不等关系[B] 空关系[C]全关系[D] 偏序关系5、对于一个从集合A到集合B的映射,下列表述中错误的是()。
[A]对A的每个元素都要有象[B]对A的每个元素都只有一个象[C]对B的每个元素都有原象[D]对B的元素可以有不止一个原象6、设p:小李努力学习,q: 小李取得好成绩,命题“除非小李努力学习,否则他不能取得好成绩”的符号化形式为()。
[A]p→q[B]q→p[C]┐q→┐p[D]┐p→q7、设A={a,b,c}, 则A到A的双射共有()。
[A]3 个[B]6 个[C]8个[D]9 个8、一个连通图 G 具有以下何种条件时,能一笔画出:即从某结点出发,经过图中每边仅一次回到该结点()。
[A]G 没有奇数度结点[B]G有1个奇数度结点[C]G 有2个奇数度结点[D]G 没有或有 2个奇数度结点9、设〈G,*〉是群,且|G|>1 ,则下列命题不成立的是( )。
[A]G 中有幺元 [B]G 中么元是唯一的[C]G 中任一元素有逆元 [D]G 中除了幺元外无其他幂等元10、令 p :今天下雪了, q :路滑,则命题“虽然今天下雪了,但是路不滑”可符号化 为( )[A]p [C]p →┐q ∧q [B]p [D]p ∨┐q∧┐q11、设图 G=<V,E>的结点集为 V={v1,v2,v3}, 边集为 E={<v1,v2>,<v1,v3>}.则G 的割 (点)集是()。
离散数学模拟试卷二答案

《离散数学》模拟试卷二答案一、【单项选择题】(本大题共15小题,每小题3分,共45分)二、【判断题】(本大题共8小题,每小题3分,共24分)三、【解答题】(本大题共3小题,24、25每小题10分,26小题11分,共31分)24、一次学术会议的理事会共有20个人参加,他们之间有的相互认识但有的相互不认识。
但对任意两个人,他们各自认识的人的数目之和不小于20。
问能否把这20个人排在圆桌旁,使得任意一个人认识其旁边的两个人?根据是什么?标准答案:解:可以把这20个人排在圆桌旁,使得任一人认识其旁边的两个人。
根据:构造无向简单图G=<V,E>,其中V={v1,v2,…,V20}是以20个人为顶点的集合,E中的边是若任两个人v i和v j相互认识则在v i与v j之间连一条边。
∀Vi∈V,d(v i)是与v i相互认识的人的数目,由题意知∀vi,v j∈V有d(v i)+d(v j)≥20,于是G中存在汉密尔顿回路。
设C=V i1V i2…V i20V i1是G中一条汉密尔顿回路,按这条回路的顺序按其排座位即符合要求。
复习范围或考核目标:考察无向图中的哈密尔顿图的应用,见课本211页。
25、图G=<V, E>,其中V={a, b, c, d, e, f },E={(a, b), (a, c), (a, e), (b, d), (b, e), (c, e), (d, e), (d, f), (e, f)},对应边的权值依次为5,2,1,2,6,1,9,3及8.(1)画出G的图形;(2)写出G 的邻接矩阵。
标准答案:解:(1)因为V ={a , b , c , d , e , f } E ={(a , b ), (a , c ), (a , e ), (b , d ), (b , e ), (c , e ), (d , e ), (d , f ), (e , f )}, 权值依次为5,2,1,2,6,1,9,3及8 所以,G 的图形如右图所示:(2)分析:定义3.3.1 设G =<V ,E >是一个简单图,其中V ={v 1,v 2,…,v n },则n 阶方阵A (G )=(a ij )称为G 的邻接矩阵,其中⎪⎩⎪⎨⎧==.1j i v v v v a j i j i ij 不相邻或与相邻与邻接矩阵:复习范围或考核目标:考察图的矩阵表示,见课本187页。
- 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。
百度文库 - 让每个人平等地提升自我 1 《离散数学》模拟题(补) 一.单项选择题 1.下面四组数能构成无向图的度数列的有( )。 A、 2,3,4,5,6,7; B、 1,2,2,3,4; C、 2,1,1,1,2; D、 3,3,5,6,0。
2.图 的邻接矩阵为( )。
A、;B、;C、;D、。 3.设S1={1,2,…,8,9},S2={2,4,6,8},S3={1,3,5,7,9},S4={3,4,5},
S5={3,5},在条件下X与( )集合相等。 A、X=S2或S5 ; B、X=S4或S5; C、X=S1,S2或S4; D、X与S1,…,S5中任何集合都不等。 4.下列图中是欧拉图的有( )。
5.下述命题公式中,是重言式的为( )。 A、; B、; C、; D、。 6.的主析取范式中含极小项的个数为( )。 A 、2; B、 3; C、5; D、0
000110111010000111111111111111110001101111000010
0001101110100010
31SXSX且
)()(qpqp))())(()(pqqpqpqqp)(qpp)(rqpwff)(百度文库 - 让每个人平等地提升自我 2 7.给定推理 ① P ② US① ③ P ④ ES③ ⑤ T②④I ⑥ UG⑤
推理过程中错在( )。 A、①->②; B、②->③; C、③->④; D、④->⑤ 8.设S1={1,2,…,8,9},S2={2,4,6,8},S3={1,3,5,7,9},S4={3,4,5},
S5={3,5},在条件下X与( )集合相等。 A、X=S2或S5 ; B、X=S4或S5; C、X=S1,S2或S4; D、X与S1,…,S5中任何集合都不等。
9.设R和S是P上的关系,P是所有人的集合,,则表示关系 ( )。 A、; B、; C、 ;
D、。 10.下面函数( )是单射而非满射。
A、; B、; C、; D、。
))()((xGxFx)()(yGyF)(xxF)(yF)(yG)(xxG)())()((xxGxGxFx
31SXSX且},|,{的父亲是yxPyxyxR},|,{的母亲是yxPyxyxSRS1
},|,{的丈夫是yxPyxyx},|,{的孙子或孙女是yxPyxyx},|,{的祖父或祖母是yxPyxyx
12)(,:2xxxfRRfxxfRZfln)(,:的最大整数表示不大于xxxxfZRf][],[)(,:12)(,:xxfRRf百度文库 - 让每个人平等地提升自我 3 11.其中R为实数集,Z为整数集,R+,Z+分别表示正实数与正整数集。 1、 设S={1,2,3},R为S上的关系,其关系图为
则R具有( )的性质。 A、自反、对称、传递; B、什么性质也没有; C、反自反、反对称、传递; D、自反、对称、反对称、传递。
12.设,则有( )。 A、{{1,2}} ;B、{1,2 } ; C、{1} ; D、{2} 。 13.设A={1 ,2 ,3 },则A上有( )个二元关系。
A、23 ; B、32 ; C、; D、
二.填空题 1.任何(n,m) 图G = (V,E) , 边与顶点数的关系是 。 2.当n为 时,非平凡无向完全图Kn是欧拉图。 3.已知一棵无向树T有三个3顶点,一个2度顶点,其余的都是1度顶点, 则T中有 个1度顶点。 阶完全图Kn的点色数X(KN)= 。 5.设集合A={1,2,3,4,5,6,7,8,9,10},定义A上的二元关系“≤”为
x ≤ y = x|y , 则= 。 6.设,定义A上的二元运算为普通乘法、除法和加法,则代数系统中运算*关于 运算具有封闭性。 7.在群坯、半群、独异点、群中 满足消去律。 8.设是由元素生成的循环群,且|G|=n,则G = 。 三.证明题
1. 设G为具有n个结点的简单图,且则G是连通图。 2. 设G是(n,m)简单二部图,则。
}}2,1{},1{,{SS
322232
yx},2|{NnxxAn
Ga)2)(1(21nnm42n
m百度文库 - 让每个人平等地提升自我 4 3.证明:在6个结点12条边的连通平面简单图中,每个面的面度都是3。 4.对代数系统,*是A上二元运算,e为A中幺元,如果*是可结合的且每个元素都有右逆元,则(1)中的每个元素在右逆元必定也是左逆元。 (2)每个元素的逆元是唯一的。 5.证明任一环的同态象也是一环。
四.中国邮递员问题 求带权图G中的最优投递路线。邮局在v1点。
五.应用题 某年级共有9门选修课程,期末考试前必 须提前将这9门课程考完,每人每天只在下午考一门课,若以课程表示结点,有一人同时选两门课程,则这两点间有边(其图如右),问至少需几天?
参考答案: 一、 单项选择题 题目 1 2 3 4 5 6 7 8 9 答案 B C B B C C C C A 题目 10 11 12 13 答案 A B D D
二.填空题 百度文库 - 让每个人平等地提升自我 5 .奇数 (x,y) 6.乘法 7.群 8.
三.证明题 1、反证法:若G不连通,不妨设G可分成两个连通分支G1、G2,假设G1和G2的顶点数分别
为n1和n2,显然。
与假设矛盾。所以G连通。 2、设G=(V,E),
对完全二部图有 当时,完全二部图的边数m有最大值。 故对任意简单二部图有。 3、证:n=6,m=12 欧拉公式n-m+f=2知 f=2-n+m=2-6-12=8
由图论基本定理知:,而,所以必有,即每个面用3条边围成。 4.证明:
(1)设,b是a的右逆元,c是b的右逆元,由于,
所以b是a的左逆元。 (2)设元素a有两个逆元b、c,那么
a的逆元是唯一的。 5.证明:
设是一环,且是关于同态映射f的同态象。
Vvmvd2)(
},,{12eaaaaGnn,
nnn21
11112121nnnnnn
2)2)(1(2)2)(1(2)1(2)1(212211nnnnnnnnnm
nnnnYnXYXV2121,,,则4)2()(2211211121nnnnnnnnnnnm
21nn),(mn4
2n
),(mn4
2n
m
242)deg(mF3)deg(iF3)deg(iF
Acba,,bebbab*)*(*abeabcbabcbabcbe**)*()*(*)*(*)*(**
ccecabcabebb**)*()*(**•,,A,,)(Af百度文库 - 让每个人平等地提升自我 6 由是Abel群,易证也是Abel群。 是半群,易证也是半群。 现只需证:对是可分配的。 于是
同理可证 因此也是环。
四.中国邮递员问题 解:图中有4个奇数结点, (1) 求任两结点的最短路
再找两条道路使得它们没有相同的起点和终点,且长度总和最短: (2) 在原图中复制出,设图G‘,则图G‘中每个结点度数均为偶数的图G‘存在欧拉回路
,欧拉回路C权长为43。
五.应用题 解:即为最少考试天数。 用Welch-Powell方法对G着色: 第一种颜色的点 ,剩余点 第二种颜色的点 ,剩余点 第三种颜色的点
,A,)(Af•,A,)(Af3,2,1,)(:,,),(,,321321ibafaaaAfbbbii使得则必有相应的
)()())()(())()(()()())()(())(())(()())()(()()(3121312131213121321321321321bbbbafafafafaafaafaaaafaaafaafafafafafbbb
)()()(1312132bbbbbbb,,)(Af
5)(, 3)( ,5)( ,3)(5321vdvdvdvd5321,,,vvvv
5736562532457133212211535232513221 , , , , ,4)( , 3)( ,2)( ,4)(, 5)( ,3)(vvvpvvvpvvpvvvpvvvpvvpvvdvvdvvdvvdvvdvvd
, ,3245713vvpvvvp43 ,pp
157123.5726542371vvvvvvvvvvvvvvvvC
)(G685421739vvvvvvvvv
6419vvvv85273vvvvv
573vvv82vv
82vv