《离散数学》试卷2.docVIP

《离散数学》试卷 题号 一 二 三 总分 注意：所有答案均写在答题纸上。 得分 评卷人 复核人 一、判断题（每题2分，共10分） （本试卷中，设A, B,C为任意集合, P, Q, R为命题公式） 判断下列各题, 若正确, 则在括号内填入“?”, 否则填入“×”。 ( ) 1. ?(A)∩? (B)= ? (A∩B)。 ( ) 2. 若|A|=n, B?A, 则存在B到A的单射。 ( ) 3. 欧拉图必连通。 ( ) 4 .若G=(V, E)是(n, m) 图, 则基本回路长?n-1。 ( ) 5. 格上的关系一定是偏序关系。 得分 评卷人 复核人 二、单选题（每题2分，共20分） 1. 公式(P?Q)?(P?R)的成假指派为 (按(P, Q, R)的顺序)。 Ａ) (0, 1, 0) B) (1, 0, 0) C) (1, 1, 0) D) (1, 1, 1) 2. 3个命题变元可得到 个真值结果不同的命题公式 Ａ)28 Ｂ)28-1 Ｃ)23 Ｄ)23-1 3. 给定解释I: 论域D={a, b}, P(a, a):T, P(a, b):F, P(b, a):F, P(b, b):T, 则谓词公式 G1: (?x)(?y)P(x, y)在I下的真值为 。 Ａ）真　　　Ｂ）假　　　Ｃ）不一定，看具体情况 4．设|A|=n, B={f | f:A×A→A} 则|B|= 。 Ａ）ｎ2　　　Ｂ）n　　Ｃ） D） 5．已知函数f(x)=2x+5，g(x)=x-4，f和g都是实数集上的函数。则fgf= 。 A).4x+7 B). 4x+5. C).2x-7 D) 2x+5 6.下列代数系统哪些不是半群_______。 A)．I，＋ B).Ｎ，· C).I+ ，- D). , 7.下列哪些偏序集不是格 。 8. 对下面给出的结点度序列, 不能构成简单无向图的是 。 Ａ) (1, 1, 1, 2, 3) Ｂ) (1, 3, 3, 3) Ｃ) (3, 3, 3, 3) Ｄ) (1,2, 2, 3, 4) 9．设无向图G（n, m)是连通图，则m的取值范围是 。 　　Ａ) m ? n-1 B) m ? n-1 C) n-1?m ? D) m? 10. k5图不是 。 A).完全图　　　　B).欧拉图　　　 C).哈密尔顿图　　D).平面图 得分 评卷人 复核人 三、解答与证明题(共70分) （10分）设A={1, 2, 3, 4}, R是A上的偏序关系, R的关系图如下所示。 画出A, R的Hass图。 求A, R的最大元, 最小元, 极大元, 极小元.。 2．（10分）已知代数系统S,*,其中*运算定义如下： * 1 2 3 4 1 1 2 3 4 2 2 3 4 1 3 3 4 1 2 4 4 1 2 3 判断该系统是否为群，并给出理由。如果是群，请指出其幺元，并给出每个元素的逆元。 3.（10分）设A={a,b,c} ，， 问代数系统是否同构，如同构试构造其同构映射。 4. (20分)用构造证明法证明下面的推理。 （1） 前提组为: P?Q, P?R, Q?S, 结论: ?S?R （2） 前提组为: ?x(F(x)?G(x)), ?x(R(x)? G(x)), ?x(S(x)??G(x)) 结论: ?x(S(x)??F(x)? ?R(x)) 5.（10分）设A={1,2,3,4,5,6,7,8,9,10}, R?A×A, 定义R={x, y|x, y?A, 且是整数}. （1）证明R是A上的等价关系。 （2）求R的等价类。 6. （10分）n个顶点的简单无向图中，至少存在两个顶点度数相同（n=2）。