迭代法的基本思想是将联立方程组的求解，归结为重复计算一组彼此独立的线性表达式。()
鲁滨逊归结原理可以分为命题逻辑归结原理和()归结原理。 A.谓词逻辑B.限制逻辑C.删除逻辑D.线性输入
利用归结原理证明定理时，若得到的归结式为（），则结论成立。
软件的著作权原理是指保护（）。A、软件的基本思想B、软件涉及的算法C、软件本身D、软件原理
在归结原理中，几种常见的归结策略并且具有完备性的是（）、（）、（）
（）的基本思想是整体性、相关性、目的性、阶层性、综合性、环境适应性。A、系统原理B、整分合原理C、反馈原理D、封闭原理
填空题在归结原理中，几种常见的归结策略并且具有完备性的是（）、（）、（）
填空题利用归结原理证明定理时，若得到的归结式为（），则结论成立。