《离散数学》试卷9.docVIP

《离散数学》试卷 题号 一 二 三 总分 注意：所有答案均写在答题纸上。 得分 评卷人 复核人 一、判断题（每题2分，共10分） （本试卷中，设A, B,C为任意集合, P, Q, R为命题公式） 判断下列各题, 若正确, 则在括号内填入“?”, 否则填入“×”。 （ ）1. 。 （ ）2. 偏序集中极大元和极小元都是常存的。 （ ）3. 空关系也可以看作空函数。 （ ）4. K5图不是平面图。 （ ）5. 格中任一对元素都是可比的。 得分 评卷人 复核人 二、单选题（每题2分，共20分） 1. 命题公式P→(P∨Q∨R)是 。 A） 合取范式 B） 恒假的 C） 可满足的 D） 恒真的 2. 设A为有限集，元素个数为n个，ρ(A)为A的幂集，则ρ(A)的元素个数及的元素个数为 。 A） 　 B） 及 　 C） 及 　　D）以上全不对 3. 给定解释I: 论域D={a, b}, P(a, a):T, P(a, b):F, P(b, a):T, P(b, b):F, 则在解释I下取真值的公式为 。 Ａ）　　　 Ｂ）　　　　 Ｃ） D) 4．设A是非空集合，则A上的空关系不具有 。 A）自反性 B）反自反性　　 C）对称性 D）传递性 5．设|A|=2, |B|=3, 则A到B能定义 个不同函数。 Ａ）6　　　Ｂ）8　　Ｃ）9 D）以上都不是 6. 下列代数系统哪些不是半群_______。 A)．I，＋ B).Ｎ，· C).I+ ，- D). , 7.下列整数集对于整除关系都构成偏序集，而能构成格的是 。 Ａ）｛1,2,3,4,5｝ B) {1,2,3,6,12} C) {2,3,7} D) {1,2,3,7} 8. 下列结点度序列，能够成简单无向图的是 。 A. (1,1,1,2,3) B. (1,2,3,4,5,5) C. (1,2,2,3,4,5) D. (2,3,3,4,5,6). 9．设简单无向图G（n, m)是连通图，则m的取值范围是 。 　　Ａ) m ? n-1 B) m ? n-1 C) n-1?m ? D) m? 10. 对下面给出的图中, 既是Euler图又是Hamilton图的是 . A )K5 B ) K3,3 C ) 彼得森图 D )顶点序列(2, 4, 4, 4, 2) 得分 评卷人 复核人 三、解答与证明题(共70分) 1．(20分)用构造证明法证明下面的推理。 (1.) 前提组为: Q?P, S?Q, S?T, T?R 结论: P?Q?S?R. (2.) 前提组为: ?x((F(x)?G(x))?H(x)), ?x(F(x)?R(x)) 结论: ?x(F(x)?R(x)?G(x)) 4532．（10分）（10分）已知有如下图的偏序关系，并求出A={1，2,3, 4, 5 4 5 3 3.（10分）设R是非空集合A上的自反关系, 若R是A上的等价关系。 证明: 若a, b, a, c?R, 有 b, c?R. 4.（10分）设A={a,b,c} ，， 问代数系统是否同构，如同构试构造其同构映射。 5.（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 判断该系统是否为群，并给出理由。如果是群，请指出其幺元，并给出每个元素的逆元。 6. （10分）设G=(V, E) 是（n, m）简单图，且m ，则G是连通的。