请在 下方输入 要搜索的题目：
推荐参考答案 (
由 搜题小帮手 官方老师解答 )
答案：
以下文字与答案无关
提示：有些试题内容 显示不完整,文字错误 或者 答案显示错误等问题，这是由于我们在扫描录入过程中 机器识别错误导致,人工逐条矫正总有遗漏，所以恳请 广大网友理解。
相关试题
- 1.表达式P(x,f(y),B)是一个谓词，如果用s1={z/x}，表示用z变量替换变量x,一般可以用：P(x,f(y),B)s1表示这样的替换，它的结果是P(x,f(y),B)s1=P(z,f(y),B)，替换是可以结合的，如s2={C/y},那么P(x,f(y),B)(s1s2)=P(z,f(y),B)s2=P(z,f(C),B)。按照这样的思路，如果s3={M/y},P(x,f(y),B)(s1s3)的结果是（ ）。 选项： A、P(z,f(y),B) B、P(z,f(x),B) C、P(z,f(C),B) D、P(z,f(M),B)
- 2.把下列谓词公式分别化为相应的子句集： (1)( ?z)( ?y)(P(z，y)∧Q(z，y)) (2)( ?x)( ?y)(P(x，y)→Q(x，y)) (3)( ?x)( ?y)(P(x，y)∨(Q(x，y)→R(x，y))) (4)( ?x)( ?y)( ?z)(P(x，y)∨Q(x，y)∨R(x，z)) (5)( ?x)( ?y)( ?z)( ?u)( ?v)( ?w)(p(x，y，z，u，v，w)∧(Q(x，y，z，u，v，w)∨～R(x，z，w)))
- 3. (单选题)W={P(x,f(y,z)),P(x,a),P(x,g(h(k(x))))}的差异集为： 选项： A: {f(y,z),a,g(h(k(x)))} B: {a,g(h(k(x)))} C: {f(y,z),g(h(k(x)))} D: {f(y,z),a}
- 4.公式"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) ) )
- 5.公式∀x∀y(P(x,y)∨Q(y,z))∧∃xP(x,y)可换名为 选项：A、∀x∀u(P(x,u)∨Q(u,z))∧∃tP(t,y) B、∀x∀y(P(x,u)∨Q(u,z))∧∃xP(x,u) C、∀x∀y(P(x,y)∨Q(y,z))∧∃xP(x,u) D、∀u∀y(P(u,y)∨Q(y,z))∧∃uP(u,y)
- 6.判断 下列公式是否为可合一,若可合一,则求出其最一般合一。 (1) P(a, b), P(x, y) (2) P(f(x), b), P(y, z) (3) P(f(x), y), P(y, f(b)) (4) P(f(y ), y, x), P(x, f(a), f(b )) (5) P(x , y), P(y, x)
- 7.判断下列公式是否为可合一,若可合一,则求出其最一般合一。(1) P(a, b), P(x, y)(2) P(f(x), b), P(y, z)(3) P(f(x), y), P(y, f(b))(4) P(f(y), y, x), P(x, f(a), f(b))(5) P(x, y), P(y, x)
- 8.设有代换：q={f(y)/x,z/y},l={a/x,b/y,y/z}则最一般合一为( )选项： A:{f(b)/x,y/z}; B:{f(b)/x,z/y}; C: {f(y)/x,y/z}; D:{f(b)/x,z/b}
- 9.下列孔加工固定循环指令格式中，属于螺纹加工的指令代码是（ ）。选项： A:G73 X Y Z R Q F B:G74 X Y Z R P F C:G81 X Y Z R F D:G84 X Y Z R P F
- 10.以下公式对哪个是不可合一的（ ）选项： A:P(y, y, b)，P(z, x, z) B:P(x, b, b)，P(a, y, z) C:2+3=x，x=3+3 D:P(f(a), g(s))，P(y, y)
- 11.公式∀x∀y(P(x,y)∨Q(y,z))∧∃xP(x,y)可换名为（对约束变元改名）选项： A:∀x∀u(P(x,u)∨Q(u,z))∧∃tP(t,y); B:∀x∀y(P(x,u)∨Q(u,z))∧∃xP(x,u); C:∀x∀y(P(x,y)∨Q(y,z))∧∃xP(x,u); D:∀u∀y(P(u,y)∨Q(y,z))∧∃uP(u,y)
- 12.如若z=f(x,y)，它在点p(x,y)处的方向导数存在，则z=f(x,y)在点p(x,y)处可微。选项： A:对 B:错
- 13.求?(x)(y)(P(x,y)∨Q(y,z))∧(x)R(x,y)?的前束析取范式过程正确吗？(x)(y)(P(x,y)∨Q(y,z))∧(x)R(x,y)?(x)(u)(P(x,u)∨Q(u,z))∧(v)R(v,y)?(x)(u)(v)((P(x,u)∨Q(u,z))∧R(v,y))?(x)(u)(v)((P(x,u)∧R(v,y))∨(Q(u,z))∧R(v,y)))
- 14.若z=f(x,y)在点p(x,y)处的方向导数存在，则z=f(x,y)在点p(x,y)处的偏导数存在。选项： A:对 B:错
- 15.【简答题】指出下列关系模式是第几范式?并说明理由。 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}
- 16.把下列谓词公式化成子句集: (1) ( x)( y)(P(x, y) ∧ Q(x, y)) (2) ( x)( y)(P(x, y) → Q(x, y)) (3) ( x)( y)(P(x, y) ∨( Q(x, y) → R(x, y))) (4) ( x) ( y) ( z)(P(x, y) → Q(x, y) ∨ R(x, z))
- 17.有以下程序 void f(int v, int w) { int t; t=v; v=w; w=t; } main() { int x=1,y=3,z=2; if(x>y) f(x,y); else if(y>z) f(y,z); else f(x,z); printf("%d,%d,%d ",x,y,z); } 执行后输出结果______
- 18.以下关系模式中属于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}
- 19.【判断题】若z=f(x,y)在点p(x,y)处的方向导数存在,则z=f(x,y)在点p(x,y)处的偏导数存在。 A. 对 B. 错
