图中所示电路,若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(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

图中所示电路,若X(t)=1，Q(t)=0,触发器的新态和电路的输出是[img=187x89]1803551900467bc.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．

PDA=({p,q}, {0,1}, {X, Z}, δ, q, z)，其中δ为： δ(q,1,Z)={(q,XZ)}, δ(q,1,X)={(q,XX)}, δ(q,e,X)={(q,e)} δ(p,1,X)={(p,e)}, δ(p,0,Z)={(q,Z)}, δ(q,0,X)={(p,X)} 将该PDA转CFG时，其中状态转移函数δ(q,0,X)={(p,X)}对应的产生式为（），其中e为空串。 A: [qXq]->0[pXq], [qXp]->0[pXp] B: [pXq]->0[qXq], [qXp]->0[pXp] C: [qXq]->[pXq]0, [qXp]->0[pXp] D: [qXq]->0[pXq], [qXp]->[pXp]0

用谓词逻辑推理证明:有理数都是实数,有的有理数是整数,因此有的实数是整数。证明:设Q(x):x为有理数;R(x):x为实数;Z(x):x为整数;前提:∀x(Q(x)→R(x)),∃x(Q(x)∧Z(x));结论:∃x(R(x)∧Z(x))。(1)∃x(Q(x)∧Z(x))P(2)Q(c)∧Z(c)ES(1)(3)∀x(Q(x)→R(x))P(4)Q(c)→R(c)US(3)(5)Q(c)T(2)I(6)R(c)T(2)(4)I(7)Z(c)

用谓词逻辑推理证明:有理数都是实数,有的有理数是整数,因此有的实数是整数。证明:设Q（x）:x为有理数;R（x）:x为实数;Z（x）:x为整数;前提:∀x（Q（x）→R（x））,∃x（Q（x）∧Z（x））;结论:∃x（R（x）∧Z（x））。（1）∃x（Q（x）∧Z（x））P（2）Q（c）∧Z（c）ES（1）（3）∀x（Q（x）→R（x））P（4）Q（c）→R（c）US（3）（5）Q（c）T（2）I

以下哪几项是前束范式？ 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