1.(每题2分,共10分)判断题(若正确,则在题前的括号中打√;否则,打): (a)()若合式公式A是永真式当且仅当合式公式B是永真式,则AB是永真式。 (b)()若合式公式A是可满足的,则~A是不可满足的。 (c)()v((,x)y~(,y)是可满足的 (d)()设P是一个由P系统增加单个合式公式pq作为公理所得到的系统,则P是协调的

一 、 选 择 题 （ 选 择 一 个 确 切 的 答 案 ） 1、波 相 色 谱 分 离 效 果 好 的 一 个 主 要 原 因 是 ： Ａ、压 力 高 Ｂ、吸 附 剂 的 颗 粒 小 Ｃ、流 速 快 Ｄ、有 自 动 记 录 2、 蛋 白 质 等 高 分 子 化 合 物 在 水 中 形 成 ： Ａ、真 溶 液 Ｂ、胶 体 溶 液 Ｃ、悬 浊 液 Ｄ、乳 状 液

一、选择题 2．能使α－葡萄糖苷键水解的酶（ ） A．麦芽糖酶 B．苦杏仁苷酶 C．均可以 D．均不是 6．糖的纸层析显色剂是（ ） A．α－萘酚－浓硫酸试剂 B．邻苯二甲酸－苯胺试剂 C．均是 D．均不是

1.将下列各组化合物按碱性强弱排列成序 (1)苯甲酰胺(A),苯胺(B),环已胺(C),苄胺(D) (2)甲胺(A);苯胺(B);对硝基苯胺(C);2,4-二硝基苯胺(D)

16.322 Stochastic Estimation and Control Professor Vander Velde 1. P(ABCD.=P(A)P(B A)P(C|AB)P(D 1 ABC) Derive this by letting A=CD. Then P(BCD)= P(CD)P(B ICD)= P(C)P(DIC)P(DICD) 2. If A,, A2r.. is a set of mutually exclusive and collectively exhaustive events, then

利用系数矩阵A和增广矩阵B的秩可方便地 数讨论线性方程组Ax=b的解其结论是: 定理2n元齐次线性方程组Amnx=0有 非零解的充分必要条件是系数矩阵的秩R(4)