请输入您要查询的汉字、词语:

 

词条 歸結
释义

条目歸結(归结)

拼音guī jié

注音ㄍㄨㄟ ㄐㄧㄝ ˊ

歸結 网络解释

归结

  • 归结原理是1965年美国人Robinson提出的一种证明一阶谓词演算中定理的方法。使用这种方法时,对任一要证明的永真公式取非后,证明它不可满足,为此先转化成一种标准型,然后对这个标准型不断使用单一的推理规则,即实行归结,直到导出矛盾。
  • 随便看

     

    超级辞典收录超过八万个汉字,二十万个词语,基本涵盖了全部常用汉语的释义及用法,是汉语学习的有利工具。

     

    Copyright © 2004-2023 Sdict.net All Rights Reserved
    京ICP备2021023879号 更新时间:2025/1/3 6:22:35