首页 应用 游戏 资讯 攻略 在线玩
多特 多特字典 归结

  • [ guī jié ]
注音:ㄍㄨㄟ ㄐㄧㄝ ˊ
“归结” 基本解释
归结 [ guī jié ]
“归结” 网络解释

百度百科

归结

  • 归结原理是1965年美国人Robinson提出的一种证明一阶谓词演算中定理的方法。使用这种方法时,对任一要证明的永真公式取非后,证明它不可满足,为此先转化成一种标准型,然后对这个标准型不断使用单一的推理规则,即实行归结,直到导出矛盾。
  • “归结” 造句
    更多
    “归结” 分词解释
    “归结” 相关成语
    “归结” 相关词语
    大家都在搜索
    汉字 词语 成语
    网站地图 意见反馈 回到首页
    收起