论文部分内容阅读
λ-演算这种计算模型，是一种良好的数学工具，与递归函数密切相关．λ-演算中的不动点算子，增强了系统的表达能力，表达了递归函数中递归的性质，但同时也略有不足，因为常见不动点算子，都没有β-范式．介绍了一种方法，可以不借助不动点算子，利用Church数字系统的特点，用β-范式定义所有可计算函数．
λ定义可计算函数时不动点算子的不必要性
【摘 要】
：
λ-演算这种计算模型，是一种良好的数学工具，与递归函数密切相关．λ-演算中的不动点算子，增强了系统的表达能力，表达了递归函数中递归的性质，但同时也略有不足，因为常见不动点算子，都
【机 构】
：
南京大学计算机软件新技术国家重点实验室
【出 处】
：
南京大学学报：自然科学版
【发表日期】
：
2006年4期
其他文献
以235/65R17 108H轿车轮胎为研究对象,从胎面胶配方、结构设计和磨合里程方面对轮胎干地制动性能进行研究。结果表明,对轮胎干地制动性能影响最大的因素为胎面胶配方。轮胎干
本文利用中尺度数值模式WRF,模拟了台风＂云娜＂（2004）在近海加强并登陆的过程.模拟的台风强度、路径、登陆时间和台风登陆前眼墙回波、水平风场的非对称性特征,以及登陆时台风眼墙
介绍了接入本地互连网交换中心应用方面的情况,利用OPNET Modeler网络仿真工具研究了本地交换和远程交换的网络性能,仿真结果表明在分组时延、传输速率等方面,本地交换都远优于远程交换。指出了接入本地互连网交换中心是解决各运营商互连互通的有效手段。
场等效原理是电磁学的基本定理之一，但场等效原理特别是零场定理很难被人理解，人们很难想象在一个区域中的场等效为原问题的场，而在另一个区域中却为零场。用惠更斯面等效原理证
新课程标准指出,小学数学教学应该充分体现数学来源于生活,运用于生活,但生活化教学资源的挖掘和利用确常常让一线教师感到困惑和无奈。下面笔者结合个人经验谈谈自己在教学
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’＃陈川个美食
Back to yield
会议
介绍了一种改进的固相微萃取技术（SPME）、气相色谱-电子捕获检测器（GCLECD）联用测定水中林丹的新方法.该法将萃取了林丹的PDMS纤维用少量有机溶剂解吸,解吸后的有机溶剂进入气相
目的评价某院2型糖尿病合并高血压患者的用药情况和合理性。方法采用药物利用评价（DUR）和药物利用评估（DUE）法,对某院2008年1月至2008年12月84例2型糖尿病合并高血压患者的用药情