合一算法：求非空有限具有相同谓词名的原子公式集的（）。
第1题：
此题为判断题(对，错)。
第2题：
霍夫曼算法是求具有最【 】带权外部路径长度的扩充二叉树的算法。
第3题：
测量6岁儿童200名，求平均身高宜选用的公式是
第4题：
归结方法将所有的谓词公式均化简为子句，致使很多隐含在原来的谓词公式中的、对推理有利的信息得不到充分的利用。
第5题：
/**/doublemysqrt（double，double）；/**/
X1=/**/（x0+a/x0）/2；/**/
Ymysqrt（/**/a，x1/**/）；
第6题：
A.一阶谓词
B.原子公式
C.二阶谓词
D.全称量词
第7题：
数据结构被形式地定义为(K，R)，其中K是( )的有限集，R是K上的关系有限集。
A．算法
B．数据元素
C．数据操作
D．逻辑结构
第8题：
利用几何级数求末项的公式推算若干年后的总人数，这是人口总数预测方法中的（ ）。
A．直接推算法
B．间接推算法
C．要素推算法
D．因素推算法
第9题：
基于规则的演绎系统将所有的谓词公式均化简为子句，致使很多隐含在原来的谓词公式中的、对推理有利的信息得不到充分的利用。
第10题：
仅个体变元被量化的谓词称为（）