手机知网 App
24小时专家级知识服务
打 开
手机知网|搜索

理论概说及两个简例


   为了形式地证明定理,头脑中一定得有一个构造证明的形式理论。我们的形式理论将在第Ⅲ章介绍。在对理论进行精确介绍时,我们相当详细地叙述了我们是如何发现证明的。不过,在进行详细讨论之前,这里先非形式地概说一下理论,展现并阐述几个简单的递归函数定义,再(不重视机械化地)看一遍几个简单的归纳证明。……   
[关键词]:归纳法;CDR;归纳证明;函数定义;定理证明器
[文献类型]:期刊
[文献出处]: 《计算机工程与应用1982年Z1期
App内打开