用构造基证明归纳定理

摘要：

在测试集方法的基础上,引入一个新的概念--构造基,用于产生完全的但非冗余的不可归约基项;提出构造基归纳原理,将显式归纳证明和隐式归纳证明有机地结合在一起,对测试集方法做出了改进.实验表明:这种方法提高了归纳定理的证明效率.

关键词：基可归约性、构造函数符号、构造基、归纳、证明

所属期刊栏目：26

分类号：TP311(计算技术、计算机技术)

资助基金：中国科学院资助项目69903004,69703008

在线出版日期：2004-01-08（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：529-533