V={7, 2, 3, 11, 17, 5, 19, 13} After two scan exchange of V, V[6] = V={7, 2, 3, 11, 17, 5, 19, 13}，对V进行两次扫描交换后V[6] =

已知列表x=[3, 5, 6, 7, 9]，那么x[::-1]的结果是 A: [3, 9] B: [3, 5, 6, 7, 9] C: [3, 5, 6, 7] D: [9, 7, 6, 5, 3]

用谓词逻辑推理证明:有理数都是实数,有的有理数是整数,因此有的实数是整数。判断推理证明是否正确。 证明:设Q(x):x为有理数;R(x):x为实数;Z(x):x为整数; 前提:∀x(Q(x)→R(x)),∃x(Q(x)∧Z(x)); 结论:∃x(R(x)∧Z(x))。 (1)∃x(Q(x)∧Z(x)) 前提引入 (2)Q(c)∧Z(c) (1)∃- (3)∀x(Q(x)→R(x)) 前提引入 (4)Q(c)→R(c) (3)∀- ( 5 )Q(c) (2) 化简 ( 6 )R(c) (4)(5) 假言推理 ( 7 )Z(c) (2) 化简 (8)R(c)∧ Z(c) (6)(7) 合取引入 (9)∃x(R(x)∧Z(x)) (8)∃+

公式("x) ($y)(P(x，z)→Q(y))→S(x，y)中的约束变元进行换名，正确的是 A: ("x) ($y) (P(x，u)→Q(y))→S(x，y) B: ("x) ($v)(P(u，z)→Q(v))→S(u，v) C: ("u) ($v) (P(u，z)→Q(v))→S(x，y) D: ("u) ($v)(P(u，t)→Q(v))→S(u，v)

构造下式的推理证明：有理数都是实数，有的有理数是整数，因此有的实数是整数。证明设Q（x）：x为有理数；R（x）：x为实数；Z（x）：x为整数；前提：∀x(Q(x)→R(x))，∃x(Q(x)⋀Z(x))；结论：∃x(R(x)⋀Z(x))。（1）∃x(Q(x)⋀Z(x)) P（2）Q(c)⋀Z(c) ES（1）（3）∀x(Q(x)→R(x)) P（4）Q(c)→R(c) US（3）（5）Q(c) T（2）I（6）R(c) T（2）（4）I（7）Z(c) T（2）I（8）R(c)⋀Z(c) T（6）（7）I（9）∃x(R(x)⋀Z(x)) EG（8）以上推理是有效的。 A: 正确 B: 错误

采用基2时间抽取FFT算法流图计算8点序列的DFT，第一级的数据顺序为 A: x[0],x[2],x[4],x[6],x[1],x[3],x[5],x[7] B: x[0],x[1],x[2],x[3],x[4],x[5],x[6],x[7] C: x[0],x[4],x[2],x[6],x[1],x[5],x[3],x[7] D: x[0],x[2],x[1],x[3],x[4],x[6],x[5],x[7]

采用基2频率抽取FFT算法计算点序列的DFT,以下()流图是对的。 A: x[0]，x[1]，x[2]，x[3]，x[4]，x[5]，x[6]，x[7] B: x[0]，x[2]，x[4]，x[6]，x[1]，x[3]，x[5]，x[7] C: x[0]，x[2]，x[1]，x[3]，x[4]，x[6]，x[5]，x[7] D: x[0]，x[4]，x[2]，x[6]，x[1]，x[5]，x[3]，x[7]

用谓词逻辑推理证明:有理数都是实数,有的有理数是整数,因此有的实数是整数。证明:设Q(x):x为有理数;R(x):x为实数;Z(x):x为整数;前提:∀x(Q(x)→R(x)),∃x(Q(x)∧Z(x));结论:∃x(R(x)∧Z(x))。(1)∃x(Q(x)∧Z(x))P(2)Q(c)∧Z(c)ES(1)(3)∀x(Q(x)→R(x))P(4)Q(c)→R(c)US(3)(5)Q(c)T(2)I(6)R(c)T(2)(4)I(7)Z(c)

假设一个卖方拥有一个商品，记为x。有三个买方a、b、c，它们对商品x的估价分别为6、3、1。; ; ; 1）已知卖方采用次价拍卖原则出售x，则a会支付p而获得x；; ; ; 2）已知卖方采用VCG机制出售x，则a会支付q而获得x；请选择以下正确的选项。<img src="http://edu-image.nosdn.127.net/E9535AAD1932DC7293E37928BEA808B3.png?imageView&thumbnail=890x0&quality=100" /><br />? p=6，q=3|p=6，q=6|p=3，q=3|p=3，q=6

设(X,Y)的分布律为[img=317x47]18039fa216cb556.png[/img]V=max(X,Y), 则P(V=1)等于 A: 1/7 B: 2/7 C: 3/7 D: 4/7