|
|||||
|
|
| 广义归纳法对程序性质的证明能力探究 | |
| 引用本文： | 王科佳,高蓉,丁志义.广义归纳法对程序性质的证明能力探究[J].教育技术导刊,2014,13(11):33-36. |
| 作者姓名： | 王科佳 高蓉 丁志义 |
| 作者单位： | 宁夏大学 数学计算机学院，宁夏 银川 750021 |
| 基金项目： | 自治区级大学生创新创业训练计划项目 |
| 摘 要： | 探讨广义归纳法对程序性质的证明能力，特别是良基关系的构造和恰当的选择对减少证明义务的作用，并通过实例加以证明。 |
| 关 键 词： | 程序验证 良基关系 良基归纳法 测试数据 |
Generalized Mathematical Induction and Research on Its Ability of Proving the Correctness of Programs |
|
| Abstract: | |
| Keywords: | Program Verification Well-founded Relation Well-Ordered Induction Test Data |
| 本文献已被 万方数据 等数据库收录！ | |
| 点击此处可从《教育技术导刊》浏览原始摘要信息 | |
| 点击此处可从《教育技术导刊》下载免费的PDF全文 | |