G90 X_Z_F_；(FANUC系统)中X，Z为( )切削终点坐标值。 A: 圆柱面 B: 圆锥面 C: 圆弧面 D: 端面

G32 X_Z_F_指令格式中参数X表示（ ）。 A: Z轴螺纹的起点坐标值 B: X轴螺纹的起点坐标值 C: X轴螺纹的终点坐标值 D: Z轴螺纹的终点坐标值

【简答题】指出下列关系模式是第几范式?并说明理由。 1 R (X,Y,Z) F={XY →Z} 1 R (X,Y,Z) F={Y →Z,XZ→Y} 1 R (X,Y,Z) F={Y →Z,Y→X,X→Y , X→ Z} 1 R (X,Y,Z) F={X →Y,X→Z} 1 R (W,X,Y,Z) F={X →Z,WX→Y}

判断下列关系模式可以达到的范式级别：1）R（X，Y，Z）F={XY→Z}2）R（X，Y，Z）F={Y→Z，XZ→Y}3）R（X，Y，Z）F={Y→Z，Y→X，X→YZ}4）R（X，Y，Z）F={X→Y，X→Z}

G01 X_Z_F_；中X，Z可表示( )的终点的坐标值。 A: 圆柱面 B: 圆锥面 C: 圆柱面和圆锥面 D: 圆弧面

以下关系模式中属于BCNF的是（ ） A: R(X,Y,Z) F={Y→Z, XZ→Y} B: R(X,Y,Z) F={XY→Z} C: R(X,Y,Z) F={X→Y} D: R(X,Y,Z) F={X→Y, Y→Z}

公式"x ( F(x,y,z ) → "y ( G(x,y,z) → "z H(x,y,z) ) )的前束范式为 A: "x$y$z (F(x,t,w) → ( G(x,y,w ) → H(x,y,z) ) ) B: $x$y$z (F(x,t,w) → ( G(x,y,w ) → H(x,y,z) ) ) C: "x"y$z (F(x,t,w) → ( G(x,y,w ) → H(x,y,z) ) ) D: "x$y"z (F(x,t,w) → ( G(x,y,w ) → H(x,y,z) ) )

设f:Z→Z, f(x)= ∣x∣-2x, 则f 是单射

对公式∀x（F(x)→G(x,y))∧H(x,y)做代替，则下面公式中正确的是（ ）。 A: ∀x（F(x)→G(x,y))∧H(z,y) B: ∀x（F(x)→G(y,z))∧H(u,y) C: ∀z（F(z)→G(x,y))∧H(y,y) D: ∀z（F(x)→G(z,y))∧H(x,y)

设函数z＝z（x，y）由方程F（y/x，z/x）＝0确定，其中F为可微函数，且F₂′≠0，则x∂z/∂x＋y∂z/∂y＝（）。 A: x B: z C: －x D: －z