常见传感器包括：Z10（），Z05，V05，V04，U31，G77。
举一反三
- 已知z=f(u,v),u=g(x,y),v=h(x,y),则/ananas/latex/p/1998497
- 对公式∀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) ($y)(P(x，z)→Q(y))→S(x，y)中的约束变元进行换名，正确的是 A: ("x) ($y) (P(x，u)→Q(y))→S(x，y) B: ("x) ($v)(P(u，z)→Q(v))→S(u，v) C: ("u) ($v) (P(u，z)→Q(v))→S(x，y) D: ("u) ($v)(P(u，t)→Q(v))→S(u，v)
- 关系模式R(U,V,W,X,Y,Z),函数依赖F={U→V,W→Z,Y→U,WY→X},分解ρ={WZ,VY,WXY,UV}。
- {^1999-05-01}+31的值应为（）. A: 05/31/99 B: 06/01/99 C: 06/02/99 D: 04/02/99