正在加载图片...
16.(1)G的图形表示如图三: 图三 (3分) (2)邻接矩阵: 0010 07 00110 11011 (6分) 01100 L00100 (3)1,2,,4,5结点的度数依次为1,2,4,2,1 (9分) (4)补图如图四: 图四 (12分) 17.(1)3x量词的辖域为(A(x,y)∧HxB(x,y,之), (2分) Vx量词的辖域为B(x,y,), (4分) Hy量词的辖域为C(y,~). (6分) (2)自由变元为(A(x,y)AHB(x,y,)中的y,以及C(y,之)中的. (9分) 约束变元为(A(x,y)∧HB(x,y,)中的x与B(x,y,)中的,以及C(y,)中的y.(12分) 六、证明题(本题共8分) 18.证明:设S=AU(B∩C),T=(AUB)∩(AUC),若x∈S,则x∈A或x∈B∩C, (1分) 即x∈A或x∈B且x∈A或x∈C. (2分) 也即x∈AUB且x∈AUC, (3分) 即x∈T,所以S二T. (4分) 反之,若x∈T,则x∈AUB且x∈AUC, (5分) 即x∈A或x∈B且x∈A或x∈C, (6分) 也即x∈A或x∈B∩C,即x∈S,所以ICS. (7分) 因此T=S. (8分) 7316. (1)G 的 图 VI Vs ) V1 V4 图一一一 (3 (2) m O O 。「 O 1 I (6 1 O (3)叭,屿, ,叫, 结点 1, 2, 4, 2, (9 (4) VI V2 Vs V,O V4 (1 (2 (4 (6 (9 (1 2 图四 17. (1 辖域 C: 'if zB(:l' ,y.z» , 'if 辖域 (x , y ,z) , 'if (2) 'if zB(x ,z» 的y ,z) 约束变元为 'if zB(x ,y ,z» .1: 与B(x ,y ,z) 的z ,z) 的y. 六、证明题{本题共 18. A U B> U C) (1分) (2 (3 (4 (5 (6 (7 (8 c. 也即 U B U C 毛丁,所以 I' 反之,若 正AUB ε A Nil ε B ε( 也即 C,即 S,所以 因J1t T=S. 73
<<向上翻页
©2008-现在 cucdc.com 高等教育资讯网 版权所有