利用计算机证明非数值性的结果，处理如医疗诊断、信息检索、难题求解等方面的技术是（）。

遗传算法中的交叉算子、选择算子和变异算子属于（）。A.遗传算子B.种群算子C.编码算子D.控制算子

单项选择题遗传算法中的交叉算子、选择算子和变异算子属于（）。

谓词公式取真值为1的充分必要条件是（）。A.对任意y，使p（y）都取真值1B.存在一个y0，使p（y0）取真值...

单项选择题谓词公式取真值为1的充分必要条件是（）。

用归结反演证明定理时，若当前归结式为（），则定理得证。A.永真式B.包孕式C.原子谓词D.空子句

单项选择题用归结反演证明定理时，若当前归结式为（），则定理得证。