《离散数学》试卷6.docVIP

《离散数学》试卷 题号 一 二 三 总分 注意：所有答案均写在答题纸上。 得分 评卷人 复核人 一、判断题（每题2分，共10分） （本试卷中，设A, B,C为任意集合, P, Q, R为命题公式） 判断下列各题, 若正确, 则在括号内填入“?”, 否则填入“×”。 ( ) 1. 若B?C?A, 则B?A, 或C?A。 ( ) 2. 设f:A?B,g:B?C,gof:A?C, 若 f , g是单射, 则g o f也是单射。 ( ) 3. 树是二部图。 ( ) 4 . 若G是Euler图, 则G必连通。 ( ) 5. 格上的关系都是等价的。 得分 评卷人 复核人 二、单选题（每题2分，共20分） 1. 命题公式(P??Q)?Q的成真指派为 (按(P, Q)的顺序). A ) (0, 0) B) (0, 1) C) (1, 0) D) (1, 1) 2. 设R?A×A, 且是自反的, 则下面仅 是正确的. A)R?IA B)MR的对角线均为 “1” C)R-1反自反 D)r(R)=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) (2, 3, 3, 4, 5, 6) B) (1, 3, 3, 4, 4, 5) C) (2, 2, 4) D) (2, 3, 4, 4, 5) 9．设无向图G（n, m)是连通图，则m的取值范围是 。 　　Ａ) m ? n-1 B) n-1?m ? C) m ? n-1 D) m? 10. 下面关于平面图的叙述正确的是 . A)彼得森图是平面图. B)n-m+k=2 C)若n?3, 有m?3n-6 D)平面图的任一子图必为平面图 得分 评卷人 复核人 三、解答与证明题(共70分) 1．（10分）设A={a, b, c, d, e}, R={c, d}?IA. (1)画出A, R的Hass图 (2)求A, R的最大元, 最小元, 极大元, 极小元. （10分）证明：幺元是群中唯一等幂元。 3.（10分）设A={a,b,c} ，， 问代数系统是否同构，如同构试构造其同构映射。 4. (20分)用构造证明法证明下面的推理。 （1）. 前提组为: P?(Q?R), S??Q, P, S 结论: R. （2）. 前提组为: ?x((F(x)?G(x))?H(x)), ?x(F(x)?R(x)) 结论: ?x(F(x)?R(x)?G(x)) 5.（10分）设R是非空集合A上的自反关系, 若R是A上的等价关系。 证明: 若a, b, a, c?R, 有 b, c?R. （10分）