设有关键字序列F={Q，G，M，Z，A，N，P，X，H}，下面( )序列是从上述序列出发建堆的结果。 A: A，G，H，M，N，P，Q，X，Z B: A，G，M，H，Q，N，P，X，Z C: G，M，Q，A，N，P，X，H，Z D: H，G，M，P，A，N，Q，X，Z

设有一个关键码序列：Q，G，M，Z，A，N，P，X，H；下列序列中与上述序列对应的堆是________。 A: A，G H，M，N，P，Q，X，Z B: A，G M，H，Q，N，P，X，Z C: G M，Q，A，N，P，X，H，Z D: H，G M，P，A，N，Q，X，Z

设有关键码序列(q，g，m，z，a，n，p，x，h)，下面的序列()是从上述序列出发建堆的结果。 A: a，g，h，m，n，p，q，x，z B: a，g，m，h，q，n，p，x，z C: g，m，q，a，n，p，x，h，z D: h，g，m，p，a，n，q，x，z

切槽循环指令G75在程序中的书写格式正确的是( ) A: G75 X(d)G75 R(r) Z(z) P(p) Q(q) F(f) B: G75 Z(z)G75 X(d) R(r) P(p) Q(q) F(f) C: G75 P(p)G75 X(d) R(r) Z(z) Q(q) F(f) D: G75 R(r)G75 X(d) Z(z) P(p) Q(q) F(f)

( )不是有效的推理。 A: 前提：("x)(~P(x)ÞQ(x)), ("x)~Q(x)结论：P(a) B: 前提：("x)(P(x)ÞQ) 结论：("x)P(x)ÞQ C: 前提：("x)(P(x)∨Q(x)), ("x)(Q(x)Þ~R(x)) 结论：($x)(R(x)ÞP(x)) D: 前提：("x)(P(x)Þ(Q(x)∧R(x))), ($x)(P(x)∧S(x))结论：("x)(R(x)∧S(x)) E: 前提：("x)($y)P(x, y)结论：("x)($y)($z)(P(x, y)∧P(y, z)) F: 前提：("x)P(x)∨("x)Q(x)结论：("x)(P(x)∨Q(x)) G: 前提：("x)(G(x)ÞH(x))，~($x)(F(x)∧H(x))结论：($x)F(x)Þ($x)G(x) H: 前提：("x)(H(x)ÞM(x))结论：("x)("y)(H(y)∧N(x, y)) Þ ($y)(M(y)∧N(a, y) )

设有关键码序列（Q，G，M，Z，A，N，B，P，X，H，Y，S，T，L，K，E），采用二路归并排序法进行排序，下面哪一个序列是第二趟归并后的结果（） A: G, Q, M, Z, A, N, B, P, H, X, S, Y, L, T, B, K B: G, M, Q, Z, A, B, N, P, H, S, X, Y, E, K, L, T C: G, M, Q, A, N, B, P, X, H, Y, S, T, L, K, E, Z D: A, B, G, M, N, P, Q, Z, E, H, K, L, S, T, X, Y

( )不是有效的推理。 A: 前提：("x)(~P(x)ÞQ(x)), ("x)~Q(x)结论：P(a) B: 前提：("x)(P(x)ÞQ) 结论：("x)P(x)ÞQ C: 前提：("x)(P(x)∨Q(x)), ("x)(Q(x)Þ~R(x)) 结论：($x)(R(x)ÞP(x)) D: 前提：("x)(P(x)Þ(Q(x)∧R(x))), ($x)(P(x)∧S(x))结论：("x)(R(x)∧S(x)) E: 前提：("x)($y)P(x, y)结论：("x)($y)($z)(P(x, y)∧P(y, z)) F: 前提：("x)P(x)∨("x)Q(x)结论：("x)(P(x)∨Q(x)) G: 前提：("x)(G(x)ÞH(x))，~($x)(F(x)∧H(x))结论：($x)F(x)Þ($x)G(x) H: 前提：("x)(H(x)ÞM(x))结论：("x)("y)(H(y)∧N(x, y)) Þ ($y)(M(y)∧N(a, y) )

已知表达式P[x, f(y), B]的两个置换为：s1={z/x, w/y}，s2={q(z)/x, A/y}，则以下选项正确的是（ ） A: P[x,f(y),B]s1= P[z/x,f(w/y),B] B: P[x,f(y),B]s2= P[q(z),A,B] C: P[x,f(y),B]s1= P[z,f(w),B] D: P[x,f(y),B]s2= P[q(z),f(A),B]

3.4对下列各题分别证明G是否为F1,F2,…,Fn的逻辑结论：(1)F:(Ǝx)(Ǝy)(P(x,y)G:(ꓯy)(Ǝx)(P(x,y)(2)F:(ꓯx)(P(x)∧(Q(a)∨Q(b)))G:(Ǝx)(P(x)∧Q(x))(3)F:(Ǝx)(Ǝy)(P(f(x))∧(Q(f(y)))G:P(f(a))∧P(y)∧Q(y)(4)F1:(ꓯx)(P(x)→(ꓯy)(Q(y)→[img=1x1]17e0a6a55067d30.gif[/img]L(x.y)))F2:(Ǝx)(P(x)∧(ꓯy)(R(y)→L(x.y)))G:(ꓯx)(R(x)→[img=1x1]17e0a6a55067d30.gif[/img]Q(x))(5)F1:(ꓯx)(P(x)→(Q(x)∧R(x)))F2:(Ǝx)(P(x)∧S(x))G:(Ǝx)(S(x)∧R(x))

( )不是有效的推理。 A: 前提：("x)(H(x)ÞM(x)) 结论：("x)("y)(H(y)∧N(x, y))Þ($y)(M(y)∧N(a, y)) B: 前提：("x)(G(x)ÞH(x))，~($x)(F(x)∧H(x)) 结论：($x)F(x)Þ($x)G(x) C: 前提：("x)(P(x)ÞQ) 结论：("x)P(x)ÞQ D: 前提：("x)P(x)∨("x)Q(x) 结论：("x)(P(x)∨Q(x))