一阶谓词逻辑摘要 高速ETC办理 7 年前 我们提供了最重要的预测逻辑基础，术语和程序，我们已经证明，即使是最困难的智力任务之一，即数学定理的证明，也可以实现自动化。自动化证明器不仅可以用于数学，而且尤其可以用于计算机科学中的验证任务。然而，对于日常推理，大多数情况下谓词逻辑不适合。在接下来和接下来的章节中，我们将展示它的弱点和一些有趣的现代替代方案。此外，我们将在Chap中展示。5，人们可以优雅地编程逻辑及其程序扩展。 任何对自动校准器的一阶逻辑，分辨率和其他计算感兴趣的人都会在[New00，Fit96，Bib82，Lov78，CL73]中找到很好的高级指令。可以在本书的网站上找到对Internet资源的引用。 意见反馈
