《First-Order Schemata and Inductive Proof Analysis》PDF+mobi+epub高清完整电子版

First-Order Schemata and Inductive Proof Analysis《一阶模式与归纳证明分析》，作者：Alexander Leitsch、David Michael Cerna、Anela Lolic（计算机科学基础与应用逻辑系列）。
发布日期
2026年1月1日

概述：模式是描述归纳推理的形式化工具，它开辟了归纳证明分析的新领域。

本书介绍了一阶项、一阶公式和一阶推理系统的模式。基于一般的一阶模式，本书将 2000 年前后开发的基于归结的切割消去 (CERES) 方法扩展到模式证明。这种扩展需要开发用于归结和合一的模式方法，本书对此进行了定义。与其他归纳方法相比，证明模式的附加价值在于将 Herbrand 定理扩展到归纳证明（以 Herbrand 系统的形式，可以有效地构建）。

电子版代找请联系：yefei147852

电子版代找请联系：yefei147852

未经允许不得转载：我的生活分享 » 《First-Order Schemata and Inductive Proof Analysis》PDF+mobi+epub高清完整电子版