期刊文献+
共找到1篇文章
< 1 >
每页显示 20 50 100
λ-可定义函数的构造性解
1
作者 朱一清 《东南大学学报(自然科学版)》 EI CAS CSCD 1996年第1期109-111,共3页
λ-可定义函数的构造性解朱一清(东南大学计算机科学与工程系,南京210018)根据Kleene定理,凡λ-可定义的数论函数均是递归函数,反之亦然.因此,常借助于递归函数和递归定义来描述一个λ-可定义函数.一个λ-可定... λ-可定义函数的构造性解朱一清(东南大学计算机科学与工程系,南京210018)根据Kleene定理,凡λ-可定义的数论函数均是递归函数,反之亦然.因此,常借助于递归函数和递归定义来描述一个λ-可定义函数.一个λ-可定义的函数是λ-项所组成的集合中的一... 展开更多
关键词 λ-可定义函数 递归函数 构造性解
在线阅读 下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部