| 用构造基证明归纳定理 |
| |
| 引用本文： | 张静,邵志清.用构造基证明归纳定理[J].华东理工大学学报(自然科学版),2000,26(5):529-533. |
| |
| 作者姓名： | 张静 邵志清 |
| |
| 作者单位： | 华东理工大学计算机科学与工程系,上海,200237 |
| |
| 基金项目： | 中国科学院资助项目，69903004,69703008， |
| |
| 摘 要： | 在测试集方法的基础，引入一个新的概念－构造基，用于产生完全的但非冗余的不可归的约基项；提出构造基归纳原理，将显式归纳证明和隐式归纳证明有机地结合在一起。对测试集方法做出了改进，实验表明：这种方法提高了归纳定理的证明效率。
|
| 关 键 词： | 构造函数符号 构造基 证明 归纳定理 |
| 修稿时间： | 2000-04-05 |
Proving Inductive Theorems Using Construction Bases |
| |
| ZHANG Jing,SHAO Zhi-qing.Proving Inductive Theorems Using Construction Bases[J].Journal of East China University of Science and Technology,2000,26(5):529-533. |
| |
| Authors: | ZHANG Jing SHAO Zhi-qing |
| |
| Abstract: | On the basis of test set approach we present a new concept, construction base, that is used to produe complete and irredundant irreducible ground terms, and put forward a construction base induction principle, which organically combines explicit induction and implicit induction and improves test set methods. experimental results show that: our method is more efficient to prove inductive theorems. |
| |
| Keywords: | ground reducibility constructor construction base induction proving |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
