APP 递归论中的一个重要定理。对每个m,n≥1,存在m+1元递归全函数smn(e,y1,…,ym),使得对任何x1,…,xn都有:Φ(n+m)e(x1,…,xn,y1,…,ym)=Φ(n)Smn(e,y1,…,ym)(x1,…,xn)。s-m-n定理在递归论中有许多重要的应用,如运用它来证明递归定理。 （本文共 148 字 ） [阅读本文] >>
海量资源，尽在掌握
递归论中的一个重要定理。对每个m,n≥1,存在m+1元递归全函数smn(e,y1,…,ym),使得对任何x1,…,xn都有:Φ(n+m)e(x1,…,xn,y1,…,ym)=Φ(n)Smn(e,y1,…,ym)(x1,…,xn)。s-m-n定理在递归论中有许多重要的应用,如运用它来证明递归定理。 （本文共 148 字 ） [阅读本文] >>
开通会员，享受整站包年服务
说明： 本文档由创作者上传发布，版权归属创作者。若内容存在侵权，请点击申诉举报