以下方程为一阶线性微分方程的是 A: y=p(x)y+q(x) B: y'+p(x)y=q(x) C: y''=p(x)y+q(x) D: yy'+x^2=0

二阶常系数线性微分方程标准形式为 A: y''+P(x)y'+Q(x)=0 B: y''+P(x)y+Q(x)=0 C: x''+P(x)x'+Q(x)x=0 D: x''+P(y)x'+Q(y)x=0

一阶非齐次线性微分方程 $y'=p(x)y+q(x)$ 的通解是（ ）. A: $\displaystyle y=e^{-\int p(x)dx}[\int q(x)e^{\int p(x)dx}dx+C]$ B: $\displaystyle y=e^{\int p(x)dx}[\int q(x)e^{\int p(x)dx}dx+C]$ C: $\displaystyle y=e^{\int p(x)dx}[\int q(x)e^{-\int p(x)dx}dx+C]$ D: $y=Ce^{-\int p(x)dx}$

把 "x ( P( x )®$ y Q( x ,y ))化为前束范式，推导过程正确吗？ "x ( P( x )®$y Q( x ,y )) Û"x (¬ P( x ) ∨ $y Q( x ,y )) Û"x$y (¬ P( x ) ∨ Q( x ,y )) Û" x $y ( P( x ) ®Q ( x ,y ))

写出以下程序段的输出结果： voidmain() { SqQueueQ; InitQueue(&Q); charx='e',y='c'; EnQueue(&Q,'h');EnQueue(&Q,'r'); EnQueue(&Q,y);DeQueue(&Q,&x); EnQueue(&Q,x);DeQueue(&Q,&x); EnQueue(&Q,'a'); while(!QueueEmpty(&Q)) { DeQueue(&Q,&y); printf(y); } printf(x); }

（）,为复数，称复导纳 A: Y=G+j(oC-1)=|Y∠q B: Y=G+j(-1/0L)=|Y∠q C: Y=G+j(oC-1/0L)=|Y∠q D: Y=G+j(oC-1/0L)=|Y

将公式∀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)

设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) )

设P(x):x是大象,Q(x):x是老鼠,R(x,y):x比y重,则命题“大象比老鼠重”的符号化为 A: ∀x∀y(P(x)∧Q(y)→R(x,y)) B: P(x)∧Q(y)→R(x,y) C: ∀x∃y(P(x)∧Q(y)∧R(x,y)) D: ∃x∃y(P(x)∧Q(y)∧R(x,y))

【单选题】与公式("x)(P(x)∧Q(x, y))Þ($x)R(x, y)等值的是()。 A. ( " x )( P ( x ) ∧ Q ( x , z )) Þ ( $ x ) R ( x , y ) B. ( " y )( P ( y ) ∧ Q ( y , y )) Þ ( $ x ) R ( x , y ) C. ( " z )( P (z ) ∧ Q ( x , y )) Þ ( $ x ) R ( x , y ) D. ( " u )( P ( u ) ∧ Q ( u , z )) Þ ( $ x ) R ( x , z )