若要求多项式P和Q的商的导函数，可以用语句p=polyder(P,Q)来实现
×
举一反三
- 有变量定义及语句“inta=3,b=5,*p,*q;p=&a;q=&b;”,若要让p也指向b,则可以实现的赋值语句是()。 A: *p=*q; B: p=q; C: p=*q; D: *p=q;
- 必要条件假言推理的肯定后件式的推理格式可以表示为（） A: （（p←q）∧q）→p B: （（p←q）∧p）→q C: （（p←q）∨q）→p D: （（p←q）∨p）→q
- 多项式时间近似方案的时间复杂度是P(n, 1/ q) ， P是多项式函数, q>0。
- 下列公式是矛盾式的是( )。 A: (P∧(P→Q))∧﹁P B: P∧(P→Q) →P C: (﹁P∧(P∨Q))∨Q) D: (Q∨﹁(P→Q))∧﹁Q
- 充分条件假言推理的有效式是()。 A: (p→q)∧q→p B: (p→q)∧p→q C: (q→p)∧﹁q→﹁p D: (p→q)∧﹁q→﹁p
内容
- 0
充分条件假言推理的有效式是( )。 A: (p→q)∧q→p B: (q→p)∧q→p C: (q→p)∧p→q D: (q→p)∧﹁q→p
- 1
下列假言推理为有效式的有（）。 A: （﹁p→q）∧p├﹁q B: （p→﹁q）∧q├﹁p C: （﹁p←﹁q）∧﹁p├q D: （p←﹁q）∧﹁q├p E: （p→﹁q）∧p├﹁q
- 2
下列假言推理为有效式的有（ ） A: ((﹁p→q)∧p)→﹁q B: （(p→﹁q) ∧q）→﹁p C: （(﹁q→﹁p)∧﹁）p→q D: （(﹁q→p)∧﹁q）→p E: （(p→﹁q)∧p）→﹁q
- 3
P→Q的等值式是( ) A: Q→┐P B: P→┐Q C: Q→┐P D: ┐Q→┐P
- 4
下列判断中违反矛盾律要求的是（ ）。 A: (p∨﹁q)∧(﹁p∧q) B: (p→﹁q) ∧(﹁p∨q) C: (p→q) ∧(﹁p∨q) D: (p∨q) ∧(﹁p∨﹁q) E: (﹁p∧﹁q)∧(﹁p→q)