《离散数学》试卷7.docVIP

《离散数学》试卷 题号 一 二 三 总分 注意：所有答案均写在答题纸上。 得分 评卷人 复核人 一、判断题（每题2分，共10分） （本试卷中，设A, B,C为任意集合, P, Q, R为命题公式） 判断下列各题, 若正确, 则在括号内填入“?”, 否则填入“×”。 ( ) 1. 运算{?, {?}}-{?}的值为 {?}。 ( ) 2. 若|A|=n, 则A到A的单射必为双射。 ( ) 3. 若T是(n, m)树, 则m=n-1。 ( ) 4 . 若G是Euler图, 则G必为连通图。 ( ) 5. 格是偏序集合。 得分 评卷人 复核人 二、单选题（每题2分，共20分） 1. 下列命题公式为重言式的是 。 A) P→ (P∨Q) B) (P∨┐P)→Q C) Q∧┐Q D) P→┐Q 2. 给定A={1、2、3}上的关系如下： R={1, 1, 2, 2, 1, 3, 3, 1, 2, 3,3,3} ,则 。 A ) R是自反且对称； B ) R是自反且反对称； C) R是反自反且传递； D) R是自反且传递。 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|=2, 则A上具有自反性的不同二元关系有 个。 Ａ）1　　　Ｂ）4　　Ｃ）8 D）16 5．设f :R?R, f(x)=x+4, 则f是 . A)满射 B)单射 C)双射 D)都不是 6. 若G,*是循环群，且|G|=4，a是其生成元，则其生成元还可能为 （ ） A）. B）. C）. D）. 7.下列哪些偏序集不是格 。 8. 对下面给出的结点度序列, 能构成简单无向图的是 . A) (0, 1, 1, 2, 3) B) (1, 3, 3, 3) C) (3, 3, 3, 3) D) (2, 2, 4) 9．设无向图G（n, m)是连通图，则m的取值范围是 。 　　Ａ) m ? n-1 B) m ? n-1 C) n-1?m ? D) m? 10. 下面关于平面图的叙述正确的是 . A)在平面图上添一条边仍为平面图 B)在平面图上删一条边仍为平面图 C)若n?3, 有m?3n-6 D)平面图上恒有n-m+k=2 得分 评卷人 复核人 三、解答与证明题(共70分) 1．（10分）设集合A＝{1, 2, 3}，R和S是A上的两个关系，它们的关系矩阵为： (1) 画出R和S的关系图; (2) 说明R和S满足关系的哪些特性。 2．（10分）证明：设G,*是群，x∈G，定义?a,b∈G ,a△b=a*x*b。证明G, △ 也是群。 3.（10分）设A={a,b,c} ，， 问代数系统是否同构，如同构试构造其同构映射。 4. (20分)用构造证明法证明下面的推理。 (1.) 前提组为: (P?(Q?R)), ?S??Q, P??S 结论: R (2.) 前提组为: ?x(F(x)?G(x)), ?x(G(x)??R(x))， ?xR(x) 结论: ?xF(x) 5.（10分）（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分）设G(V, E)是(n, n+1)简单图, 则G中至少有一个结点的度?3.。