第1题:
A.线性输入策略,支持集策略
B.线性输入策略,单文字策略
C.支持集策略,祖先过滤策略
D.单文字策略,祖先过滤策略
答案:C
第2题:
归结策略中,()是完备的。 Ⅰ.线性输入策略 Ⅱ.支持集策略 Ⅲ.单文字策略 Ⅳ.祖先过滤策略
第3题:
什么是法律责任的归结?试述公正归结原则的含义和要求。
法律责任的归结,指由特定国家机关或国家授权的机关依法对行为人的法律责任进行判断和确认。
公正归结原则的含义:公正原则包括分配的公正和矫正的公正,实质公正和形式公正。
法律制度在利益分配和保护方面,在法律的实施过程中应当体现公正和公平。因此,在追究法律责任方面应当坚持公正原则。
公正归结原则的要求:在追究法律责任方面的公正要求是:
第一,对任何违法、违约的行为都应依法追究相应的责任。
第二,要求法律责任的性质、种类、轻重要与违法行为或违约行为以及对他人造成的损害相适应,即责任与违法或损害相均衡。
第三,公正要求综合考虑使行为人承担责任的多种因素,做到合理的区别对待。
第四,公正要求在追究法律责任时依据法律程序追究法律责任,非依法律程序,不得追究法律责任。
第五,坚持法律面前人人平等,对任何公民的违法犯罪行为,都必须同样地追究法律责任。
第4题:
几种常用的归结策略()策略、支持集策略、线形归结策略、输入归结策略、单元归结策略。
第5题:
软件故障产生的原因可归结为哪几种?
第6题:
利用归结原理证明定理时,若得到的归结式为(),则结论成立。
第7题:
什么是归结控制策略?什么样的归结控制策略是完备的?
第8题:
A.谓词逻辑
B.限制逻辑
C.删除逻辑
D.线性输入
第9题:
用归结反演方法进行定理证明时,可采取的归结策略有()、()、()、()和()
第10题:
支持集策略对参加归结的子句提出了什么限制?