论文部分内容阅读
λ－可定义函数的构造性解朱一清（东南大学计算机科学与工程系，南京２１００１８）根据Ｋｌｅｅｎｅ定理，凡λ－可定义的数论函数均是递归函数，反之亦然．因此，常借助于递归函数和递归定义来描述一个λ－可定义函数．一个λ－可定义的函数是λ－项所组成的集合中的一...
λ—可定义函数的构造性解
【摘 要】
：
λ－可定义函数的构造性解朱一清（东南大学计算机科学与工程系，南京２１００１８）根据Ｋｌｅｅｎｅ定理，凡λ－可定义的数论函数均是递归函数，反之亦然．因此，常借助于递归函数和递归定义来描述一个λ－可定义函数．一
【机 构】
：
东南大学计算机科学与工程系
【出 处】
：
东南大学学报：自然科学版
【发表日期】
：
1996年1期
其他文献
频道专业化是国内外电视媒体发展的潮流，这个理念已在我国电视节目制作者、策划者、决策者之间形成广泛共识。然而，随着频道过剩时代的来临，专业化频道面临着不可回避的竞争压力
电视新闻会议报道过多的问题，一直是多年没有解决的一个顽症。对于电视上过多的会议新闻，记者拍腻了，观众看厌了，领导也不满意。因此，电视新闻会议报道过多的问题必须引起我们的高
利用Ｋｈａｒｉｔｏｎｏｖ定理及其在离散时间域中的推广结果，针对线性离散区间对象讨论了鲁棒状态反馈控制器的设计，完成了稳定二次型鲁棒控制器综合，使得对于对象集合中的所有线性离散系统均为稳定
基于ＶｅｒｉｌｏｇＨＤＬ硬件描述语言以及ＶｅｒｉｌｏｇＸＬ模拟器，建立了从行为描述到寄存器传输级设计生成的数字集成电路高层设计环境，重点介绍了功能单元库的建立、目标硬件结构构成、排序与硬件配置。最后给出
随着1996年海外市场最后一张下午出版的晚报停刊，晨报的大行其道与晚报的消亡在全世界已成定局。近十年来纵观国内市场，无论是党报还是各类都市报、商报、专业报等纸媒，凡是以时
流行性出血热是由病毒引起以鼠类为主要传染源的自然疫源性疾病,是以发热、出血、休克及肾脏损害为主要临床特征的急性病毒性传染病。潜伏期为5-46天,一般为1-2周。2004年12
对“军用机场中间联络道位置的计算分析”的修正蔡良才邓学钧（空军工程学院，西安７１００３８）（东南大学交通学院，南京２１００１８）参照设置中间联络道的目的，深入分析“军用机场中间联络道位置的计算分析
法医学是一门应用性很强的学科，它是应用医学与其它自然科学的理论与技术，研究并解决司法实践中有关医学问题的一门学科。从这个意义上讲，法医学与临床医学有一定的相似之处，但是