《离散数学》试卷8.docVIP

《离散数学》试卷 题号 一 二 三 总分 注意：所有答案均写在答题纸上。 得分 评卷人 复核人 一、判断题（每题2分，共10分） （本试卷中，设A, B,C为任意集合, P, Q, R为命题公式） 判断下列各题, 若正确, 则在括号内填入“?”, 否则填入“×”。 （ ）1. 若A∩B=A∩C，则B=C 。 （ ）2. 一个偏序集如果有多个极大元,则必有最大元。 （ ）3. 若f·g是满射，则g必是满射。 （ ）4.欧拉图中各个结点的度数必为偶数。 （ ）5.格的元素小于或等于3个时，格是一个链。 得分 评卷人 复核人 二、单选题（每题2分，共20分） 1.设命题公式G=?（P?Q）,H=?Q??P，则G与H的关系是 。 A）G B) H C) G=H D) 以上都不是 2. n个命题变元可组成 。 . A )2n种不同的解释 B )个不同的命题公式 C ) -1个非永假的主合取范式 D ) -2个可满足公式 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|=2, 则A上不同的反自反关系有 个。 Ａ）1　　　 Ｂ）2　 Ｃ）4 D）16 5．设|A|=3, |B|=2, 则A到B能定义 个不同函数。 Ａ）6　　　Ｂ）8　　Ｃ）9 D）以上都不是 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) (3,2,1,1,1) B) (1, 2, 3, 4) C) (3,2,1,0) 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 )K5 B ) K3,3 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)). 4532．（10分）（10分）已知有如下图的偏序关系，并求出A={1，2,3, 4, 5 4 5 3 3.（10分）集合A = {1, 2, 3, 4}. 若 R = {1, 1, 1, 2, 2, 3, 2, 4, 3, 4, 4, 1, 4, 2} ， S ={1, 1, 1, 4, 2, 3, 2, 4, 3, 1, 4, 4} (i) 计算 R ? S. (ii) 求解S的对称闭包。. 4.（10分）设A={a,b,c} ，， 问代数系统是否同构，如同构试构造其同构映射。 5.（10分）设A,*是群，且|A|=2n，n∈I+ 。 证明：在A中至少存在a≠e，使得a*a=e。其中e是幺元。 6. （10分）设图G（n,m）是无向简单图。证明当时,G是哈密尔顿图。