作　　者： ;

机构地区： 吉林大学计算机科学与技术学院

出　　处： 《吉林大学学报：理学版》 1987年第4期

摘　　要： <正> 一、定义原理及其修改 《计算逻辑》对定理机器证明的数学归纳法做了卓有成效的研究,提出了利用数学归纳法进行机器证明的理论基础。定义原理是该书中一条重要定理。其作用在于判定一个函数定义是否合理,即是否唯一确定了一个函数。 原书中的定义原理为:

关 键 词： 计算逻辑 定理机器证明 数学归纳法 函数符号 良基关系 最小元素 变元 二元组 项气 记法