• 2022-06-29
    无符号数X减去无符号数Y,结果的进位标志为0表明 (112) 。
    A: X≥Y
    B: X<Y
    C: X=Y
    D: X>Y
  • A

    内容

    • 0

      设R(x):x是兔子,T(y):y是乌龟,Q(x , y):x比y跑得快,命题“兔子比乌龟跑得快”符号化为( )。 A: ∀x(R(x)→Q(x,y)) B: ∀x(R(x)→∃y ( T(y) ∧Q(x,y) ) ) C: ∀x∃y (R(x) ∧ T(y) ∧Q(x,y) ) D: ∀x∀y (R(x) ∧ T(y) →Q(x,y) )

    • 1

      设个体域为整数集,对任一整数x存在整数y满足x+y=0符号化为 。 A: ∀x∃y(x+y=0) B: ∃x∀y(x+y=0) C: ∃x∃y(x+y=0) D: ∀x∀y(x+y=0)

    • 2

      取个体域为整数集,下列公式为真的有? A: ∃x∃y(x⋅y=2) B: ∃y∀x(x⋅y=0) C: ∀x∀y(x⋅y=y) D: ∀x(x⋅y=x)

    • 3

      求解常微分方程初值问题[img=224x61]1803072f6b2a05a.png[/img]应用的语句是 A: DSolve[2y[x]y"[x]==1+(y'[x])^2,y[0]==1,y'[0]==0,y[x],x B: DSolve[{2y[x]y" [x]==1+(y'[x])^2,y[0]==1,y'[0]==0},y[x],x] C: DSolve[{2y[x]y" [x]==1+(y^' [x])^2;y[0]==1;y'[0]==0},y[x],x] D: DSolve[{2yy"==1+(y^' )^2&&y[0]==1&&y'[0]==0},y[x],x]

    • 4

      下列哪些指令定义了符号函数y(x)? A: syms y(x) B: syms x; y=symfun(x^3,x) C: syms x y D: syms x; y=x^3