中华汉语词典 > 近义词大全 > 归结的近义词

归结的近义词

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

归结的近义词列表

归结的反义词

“归结”单字意思解释

相关近义词推荐

本站部份资料来自网络或由网友提供,如有问题请速与我们联系,我们将立即处理!

Copyright © 2020-2024 中华汉语词典www.zhcidian.com All Rights Reserved 浙ICP备2024058711号

免责声明:本站非营利性站点,以方便网友为主,仅供学习。合作/投诉联系QQ:1553292129