归结

27首 关于归结的诗词 37浏览 0喜欢

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

关于归结的诗词

首页

123 尾页

分类推荐

更多

主题推荐

更多