《离散数学》试卷10.docVIP

《离散数学》试卷 题号 一 二 三 总分 注意：所有答案均写在答题纸上。 得分 评卷人 复核人 一、判断题（每题2分，共10分） （本试卷中，设A, B,C为任意集合, P, Q, R为命题公式） 判断下列各题, 若正确, 则在括号内填入“?”, 否则填入“×”。 （ ）1. ?{?} （ ）2. 一个偏序集如果有多个极小元,则必有最小元。 （ ）3. 若f?g是单射，则g必是单射。 （ ）4. 树也是二部图。 （ ）5.格中任一对元素都是可比的。 得分 评卷人 复核人 二、单选题（每题2分，共20分） 1. 命题公式P→(P∨Q∨R)是 。 A. 合取范式 B. 恒假的 C. 可满足的 D. 恒真的 2. n个命题变元可组成 。 . A )2n种不同的解释 B ) -1个非永假的主合取范式 C )-2个可满足公式 D ) 个不同的命题公式 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个元素的集合，则A上不同的二元关系有 个。 (A) (B) (C) n ? n (D). 5．设|A|=2, B={f | f:A×A→A} 则|B|= 。 A ) 4 B) 8 C)16 D)32 6.下列运算中关于整数集不能构成半群的是___ __。 Ａ）a*b=max{a,b} Ｂ）a*b=b Ｃ）a*b=2ab Ｄ）a*b=|a-b| 7.下列整数集对于整除关系都构成偏序集，而能构成格的是 。 Ａ）｛1,2,3,4,5｝ B) {1,2,3,6,12} C) {2,3,7} D) {1,2,3,7} 8. 对下面给出的结点度序列, 能够构成简单无向图的是 . A) (0,0,1) B) (1, 1, 1) C) (1,1,1,1) D) (1,1,0,1) 9．设简单无向图G（n, m)是连通图，则m的取值范围是 。 　　Ａ) m ? n-1 B) m ? n-1 C) n-1?m ? D) m? 10. 对下面给出的图中, 既是Euler图又是Hamilton图的是 . A ) K3,3 B ) K5 C ) 彼得森图 D )顶点序列(2, 4, 4, 4, 2) 得分 评卷人 复核人 三、解答与证明题(共70分) 1．(20分)用构造证明法证明下面的推理。 (1.) 前提组为: P?Q, S??Q, R?S 结论: P?R (2.) 前提组为: ?x(F(x)?G(x)), ?x(F(x)?H(x)) 结论: ?x(G(x)?H(x)). 2．（10分）已知有如下图的偏序关系，并求出A={1，2,3, 4, 5,}的极大元、极小元、最大元、最小元、上界、下界、最小上界及最大下界。 4 4 5 3 3.（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的等价类。 4.（10分）设A={a,b,c} ，， 问代数系统是否同构，如同构试构造其同构映射。 5.（10分）证明群中不可能有零元。 6. （10分）