原始递归函数定义1

【文件属性】：

文件名称：原始递归函数定义1

文件大小：15KB

文件格式：DOCX

更新时间：2022-08-08 20:47:49

doc文档

利用原始递归函数的定义加法。严格的加法原始递归定义add(0,x)=p1(x)add(S(n),x)=S(p2(add(n,x),n,x))利用原始递归函数的定