首页学历类考试大学计算机科学
(单选题)

反演归结(消解)证明定理时,若当前归结式是()时,则定理得证。

A永真式

B包孕式

C空子句

正确答案

来源:www.examk.com

答案解析

相似试题

  • (填空题)

    用归结反演方法进行定理证明时,可采取的归结策略有()、()、()、()和()

    答案解析

  • (填空题)

    利用归结原理证明定理时,若得到的归结式为(),则结论成立。

    答案解析

  • (简答题)

    如何通过消解反演求取问题的答案?

    答案解析

  • (填空题)

    几种常用的归结策略()策略、支持集策略、线形归结策略、输入归结策略、单元归结策略。

    答案解析

  • (简答题)

    什么是归结控制策略?什么样的归结控制策略是完备的?

    答案解析

  • (填空题)

    在归结原理中,几种常见的归结策略并且具有完备性的是()、()、()

    答案解析

  • (简答题)

    命题逻辑的归结法与谓词逻辑的归结法的不同之处是什么?

    答案解析

  • (简答题)

    证明定理:若存在一个码长为l1,l2,lq的惟一可译码,则一定存在具有相同码长的即时码。

    答案解析

  • (简答题)

    简述鲁滨逊归结原理基本思想?

    答案解析

快考试在线搜题