离散数学B卷及答案.doc

武汉理工大学 离散数学考试试题 (B卷) 站点： 姓名： 专业： 层次一、单项选择题（本大题共15小题，每小题1分，共15分）在每小题列出的四个备选项中只有一个是符合题目要求的，请将其代码填写在题后的括号内。错选、多选或未选均无分。1令P：今天下雪了，Q：路滑，则命题“虽然今天下雪了，但是路不滑”可符号化为（）APQBPQCPQDPQ2下列命题公式为重言式的是（）AQ（PQ）BP（PQ）C（PQ）PD（PQ）Q3下列4个推理定律中，不正确的是（）AA（AB）B（AB）ABC（AB）ABD（AB）BA4谓词公式x(P(x)yR(y)Q(x)中量词的辖域是（）ABP（x）C(P(x)yR(y)DP(x), Q(x)5设个体域A=a,b，公式xP(x)xS(x)在A中消去量词后应为（）AP(x)S(x)BP(a)P(b)(S(a)S(b)CP(a)S(b)DP(a)P(b)S(a)S(b)6下列选项中错误的是（）ABCD7设A=a,b,c,d，A上的等价关系R=, , , IA，则对应于R的A的划分是（）Aa,b, c,dBa, b,c, dCa,b,c,dDa, b, c,d8设R为实数集，函数f：RR，f(x)=2x，则f是（）A满射函数B入射函数C双射函数D非入射非满射9设R为实数集，R+=x|xRx0，*是数的乘法运算，是一个群，则下列集合关于数的乘法运算构成该群的子群的是（）AR+中的有理数BR+中的无理数CR+中的自然数D1，2，310下列运算中关于整数集不能构成半群的是（）Aab=maxa, bBab=bCab=2abDab=|a-b|11设Z是整数集，+，分别是普通加法和乘法，则（Z，+，）是（）A域B整环和域C整环D含零因子环12设A=a, b, c，R是A上的二元关系，R=, , , ，那么R是（）A反自反的B反对称的C可传递的D不可传递的13设D=为有向图，V=a, b, c, d, e, f, E=, , , , 是（）A强连通图B单向连通图C弱连通图D不连通图14在有n个结点的连通图中，其边数（）A最多有n-1条B至少有n-1条C最多有n条D至少有n条15连通图G是一棵树，当且仅当G中（）A有些边不是割边B每条边都是割边C无割边集D每条边都不是割边二、填空题（本大题共10小题，每小题2分，共20分）请在每小题的空格中填上正确答案。错填、不填均无分。16任意两个不同的小项的合取为_式，全体小项的析取式必为_式。17公式x(P(x)Q(x,y)zR(y, z)S(x)中的自由变元为_，约束变元为_。18设集合M=x|1x12,x被2整除，xZ,N=x|1x12,x被3整除，xZ，则 MN=_，MN=_。19设X=1，2，3，f：XX，g：XX，f=,g=,，则fg=_，gf=_。20设A=a,b,c，R是A上的二元关系，且给定R=,，则R的自反闭包r(R)= _，对称闭包s(R)= _。21设Q为有理数集，笛卡尔集S=QQ，*是S上的二元运算，,S, *=, 则*运算的幺元是_。S, 若a0，则的逆元是_。22设*是集合S上的二元运算，若运算*满足_且存在_，则称为独异点。23令A=a, b, c，是循环群，a是单位元，则b2=_，c的阶是_。24如下无向图割点是_，割边是_。25无向图G具有生成树，当且仅当_。G的所有生成树中_的生成树称为最小生成树。三、计算题（本大题共5小题，第26、27小题各5分，第28、29小题各6分，第30小题8分，共30分）26集合A=a, b, c, d, e上的二元关系R为R=, , , , , , , , , , , , , （1）写出R的关系矩阵；（2）判断R是不是偏序关系，为什么？27利用真值表判断公式（PQ）（QR）（PR）是否为重言式。28给定图G如下所示，（1）写出G的可达矩阵；（2）G中长度为4的路有几条？29求下列公式的主析取范式和主合取范式：（PQ）（QR）30设A为54的因子构成的集合，RAA，x,yA, xRyx整除y。画出偏序集的哈斯图，并求A中的最大元，最小元，极大元，极小元。五、证明题（本大题共3小题，第31、32小题各6分，第33小题8分，共20分）31设R是A上的一个自反关系，证明：R是一个等价关系，当且仅当若R，R，则R。32设是一个群，xG，定义：ab=a*x*b，a,bG。证明：也是一个群。33设图G是具有6个结点，12条边的无向简单图，证明图G是汉密尔顿图。五、应用题（本大题共2小题，第34小题8分，第35小题7分，共15分）34构造下面推理的证明。 如果今天是星期六，我们就要到颐和园或圆明园去玩。如果颐和园游人太多，我们就不去颐和园玩。今天是星期六，颐和园游人太多，所以我们去圆明园玩。35n个城市用k条公路的网络连结。一条公路定义为两个城市间的一条不穿过任何中间城市的道路。任意两个城市之间至多修一条公路。证明如果k(n-1)(n-2)，则人们总能通过连结的公路，在任何两个城市间旅行。武汉理工大学 离散数学考试试题 (B卷)答案站点： 姓名： 专业： 层次