用构造基证明归纳定理

• 作者: 张静 邵志清
• 来源期刊: 华东理工大学学报（自然科学版）
• 学科: 工学
• 关键词: 基可归约性 构造函数符号 构造基 归纳 证明
• 年，卷（期）: 2000,（5）
• 页码范围: 529-533
• 页数: 5页
• 分类号: TP311
• 字数: 5143字
• 语种: 中文
• DOI: 10.3969/j.issn.1006-3080.2000.05.020

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	邵志清	华东理工大学计算机科学与工程系	90	761	14.0	24.0
2	张静	华东理工大学计算机科学与工程系	20	91	5.0	9.0