以下哪几项是前束范式？ A: (∀x)(∀y)(P(x)∧(∃z)Q(y,z)∨R(x,z)) B: (∀z)(∀x)(∃y)(P(x)∧Q(y,z)∨R(x,z)) C: (∀x)(∀y)(P(x)∧Q(y,z)∨(∃z)R(x,z)) D: (∃x)(∃y)(∀z)(P(x)∧Q(y,z)∨R(x,z))

将公式∀x(P(x)→Q(x，y))∧R(x，y)使用改名规则变换后正确的是 。 A: ∀z(P(z)→Q(z，y))∧R(x，y) B: ∀y(P(y)→Q(y，y))∧R(x，y) C: ∀z(P(z)→Q(x，y))∧R(x，y) D: ∀z(P(z)→Q(z，y))∧R(z，y)

自然数集、整数集、实数集、有理数集的符号分别是（ ） A: Z、R、N、Q B: R、Q、 N、Z C: N、Z、R、Q D: Q、N、Z、R

切槽循环指令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: Z=∑Piyi B: Z= ∑qω C: Z=∑Piyi+ ∑qω

图中所示电路,若X=1，Q=0,下一个时钟有效沿后，触发器的新态和输出是[img=630x335]17de7113c8d869e.png[/img] A: Q=0,Z=0 B: Q=0,Z=1 C: Q=1,Z=0 D: Q=1,Z=1

对公式∀x(P(x,y) →Q(x,z)) ∨∃zR(x,z)使用代入和换名规则后得到的公式为 A: ∀x(P(x,y) →Q(x,z)) ∨∃vR(x,v) B: ∀u(P(u,y) →Q(u,z)) ∨∃zR(x,z) C: ∀u(P(u,y) →Q(u,z)) ∨∃vR(x,v) D: ∀u(P(u,y) →Q(u,z)) ∨∃vR(u,v)

图中所示电路,若X(t)=1，Q(t)=0,触发器的新态和输出是[img=187x89]1803df34c2f849f.png[/img] A: Q(t+1)=0,Z(t)=0 B: Q(t+1)=0,Z(t)=1 C: Q(t+1)=1,Z(t)=0 D: Q(t+1)=1,Z(t)=1

用符号“∈”或“∉”填空：（1）−3 N，0.5 N，3 N；（2）1.5 Z，−5 Z，3 Z；（3）−0.2 Q，π Q，7.21 Q；（4）1.5 R，−1.2 R，π R．

设有关键字序列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