2、ce第5题图5.给定无向图如第5题图所示，下面给出的顶点集子集中，不是点割集的为（）(A){b,d}(B){d}(C){a,c}(D){g,e}二、填空题(每小题3分，共15分)6.设F(x)：x是素数，E(x)：x是偶数，命题“不是所有的素数都不是偶数”符号化为：7.设A,B为任意集合，命题A-B=ÆÛA=B的真值为．8.设A、B为有限集，且
3、A
4、=m,
5、B
6、=n,那末A与B间存在双射，当且仅当．9.在有向图的邻接矩阵中，第i行元素之和与第j列元素之和分别为．10.无向图G为欧拉图，当且仅当G是连通的，且G中无结点．三、化简解答题(每小题8分，共32分)11.指出谓
7、词公式中"x和$x的辖域，并指出该公式的约束变元和自由变元以及约束出现次数和自由出现次数．聞創沟燴鐺險爱氇谴净。12.化简集合表达式：((AÈBÈC)Ç(AÈB))－((BÈ(B－C))－A)13.设集合A={0,1,2,3,4}，定义A上的二元关系R为：R＝{÷x,yÎAÙ(x=yÚx+yÎA)}0··21·第14题图试写出二元关系R的集合表达式，并指出R具有的性质．残骛楼諍锩瀨濟溆塹籟。14.(1)求命题公式(PÚØQ)®(PÙQ)的成真赋值(2)已知集合A上的二元关系R的关系图如第14题图，试写出R的·192·8·7·4·3·第15题图5610集合表达
8、式和R的关系矩阵．酽锕极額閉镇桧猪訣锥。四．计算题(每小题8分，共24分)15.已知带权图G，如第15题图所示．试求图G的最小生成树，并计算该生成树3的权．16.设R是实数集，在R上定义二元运算*，"x,yÎR，定义x*y=x+y+2xy试说明*是否满足结合律、交换律？是否存在单位元？若存在请求出．17.已知(L，*，°)是格，且二元运算*和°满足分配律，"a,b,cÎL，化简表达式((a*b)°(a*c))*((a*b)°(b*c))五、证明题(第18题10分，第19题9分)18.证明命题公式(P®(QÚØR))ÙØPÙQ与Ø（PÚØQ）等值．19.证明在任何有向完
9、全图中，所有结点的入度平方之和等于所有结点的出度平方之和．《计算机数学基础(1)》离散数学试题答案一、单项选择题(每小题2分，共10分)1.A2.B3.C4.D5.A二、填空题(每小题3分，共15分)6.Ø"x(F(x)®ØE(x))或$x（F（x）ÙE（x））7.08.m=n彈贸摄尔霁毙攬砖卤庑。9.结点vi的出度与结点vj的入度10.奇数度三、化简解答题(每小题8分，共32分)11."x的辖域为：(P(x)®Q(x))Ù$xR(x)$x的辖域为：R(x)x既是约束变元，也是自由变元，约束出现3次，自由出现1次．y是自由变元，自由出现1次．.12.((AÈBÈC)Ç
10、(AÈB))－((BÈ(B－C))－A)＝(AÈB)－(B－A）=(AÈB)Ç(～BÈA)=AÈ(BÇ～B)=AÈÆ=A13.由题设，R＝IAÈ{<0,1>,<1,0>,<0,2>,<2,0>,<0,3>,<3,0>,<0,4>,<4,0>,<1,2>,<2,1>,<1,3>,<3,1>}易知，R具有自反性和对称性．14.(1)(PÚØQ)®(PÙQ)Û(ØPÙQ)Ú(PÙQ)Û(ØPÚP)ÙQÛQ可见(PÚØQ)®(PÙQ)的成真赋值为(0,1)，(1,1)．(2)·192·8·7·4·3·第15题答案图5610四．计算题(每小题8分，共24分)謀荞抟箧飆鐸怼类蒋薔
11、。15.做法如下：①选边1；②选边2；③选边3；④选边5；⑤选边7最小生成树为{1,2,3,5,7}．如第15题答案图中粗线所示．3权数为18．16."x,y,zÎR，①(x*y)*z=(x+y+2xy)*z=(x+y+2xy)+z+2(x+y+2xy)z=x+(y+z+2yz)+2x(y+z+2yz)=x*(y*z)可结合.②x*y=x+y+2xy=y*x可交换.③设单位元为e，"xÎR,e*x=x*e=x+e+2xe=x，由x的任意性,得e=0ÎR,单位元为0.17.((a*b)°(a*c))*((a*b)°(b*c))＝(a*b)°((a*c)
