1 / 5
文档名称:

模拟试题1.doc

格式:doc   大小:93KB   页数:5页
下载后只包含 1 个 DOC 格式的文档,没有任何的图纸或源代码,查看文件列表

如果您已付费下载过本站文档,您可以点这里二次下载

分享

预览

模拟试题1.doc

上传人:iris028 2020/8/8 文件大小:93 KB

下载得到文件列表

模拟试题1.doc

文档介绍

文档介绍:。(3,4题要使用句后给定的谓词。),则小王与小李都不去,否则小王与小李不都去。。。(L(x):x是运动员;,S(x):x是大学生。)。(L(x):x是运动员,A(x,y):x钦佩y,J(x):x是教练。)(Q→ØP)→Q的主合取范式。(要求有解题过程)={1,{1}},B={1},P(A)。并说明原因,否则不给分。(1)B∈A,(2)P(B)ÍP(A)(3){Φ}ÍP(A)(4){1}∈P(B):(1)A×P(B)(2)A⊕B(3)P(A)-P(B)。$x(A(x)Ù(B(x)®ØC(x))),"x(A(x)®(C(x)ÚØD(x))),"x(A(x)®D(x))Þ$x(A(x)ÙØB(x))={1,2,3,4},给出A中关系R1,R2,R3,R4如下:R2:1234R3={<1,2>,<2,2>,<1,3>,<2,4>,<1,1>,<1,4>,<3,3>,<4,4>}R4={<2,2>,<3,2>,<4,1>,<2,1>,<1,4>,<2,3>,<2,4>,<1,2>,<3,3>,<3,4>,<4,2>,<4,4>,<4,3>,<1,1>}~R4oR2c。、R3、R4关系的有向图。、反自反性、对称性、反对称性、传递性。,哪些是等价关系?哪些是偏序关系?哪些是从A到A的函数?如果是等价关系,请写出该等价关系的各个等价类。如果是函数,请指出该函数的类型。,在I上定义二元运算*如下:对于任何a,b∈Ia*b=a+b+4求证<I,*>是个交换群。,有几个不是分配格?请画出这些非分配格的图。八,,设边数为e,叶结点数为t,求证e=2(t-1)。:1,6,2,5,3,4,1,6,2画出一棵最优完全二叉树。要求有画图的过程。:小张去。Q:小王去。R:小李去。表达式为:(P→(ØQ∧ØR))∧(ØP→Ø(Q∧R)):我们划船。Q:我们跑步。表达式为Ø(P∧Q)3.$x(L(x)∧S(x))4."x(L(x)→$y(J(y)∧A(x,y)))(Q®ØP)®QÛØ(ØQ∨ØP)∨QÛ(Q∧P)∨QÛQÛ(P∧ØP)∨QÛ(P∨Q)∧(ØP∨Q)(A)={Φ,{1},{{1}},{1,{1}}P(B)={Φ,{1}}⑴:T;因为A={1,{1}},B={1},B是A中一个元素,所以B∈A。⑵:T;因为P(B)={Φ,{1}},P(B)中两个元素Φ和{1}都属于P(A),所以P(B)ÍP(A)。⑶:T;因为集合{Φ}中只有一个元素Φ,而P(A)中也有元素Φ,所以{Φ}ÍP(A)。⑷:T。因为{1}是P(B)中一个元素,所以{1}∈P(B)。2.⑴A×P(B)={<1,Φ>,<1,{1}>,<{1},Φ>,<{1},{1}>}⑵A⊕B=(AÈB)-(AÇ