关于定义递归函数类的一个等价定理

来源 :苏州城建环保学院学报 | 被引量 : 0次 | 上传用户:pzchh
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
对数学基础性质进行研究,从集合论的角度对递最函数类加以刻划,证明了关于递归函数类定义的一道等价的命题。
其他文献
新媒体的强劲发展趋势吸引了大量新媒体从业人员,对辽宁新媒体从业人员群体的调查结果发现,他们具有收入偏低、职业稳定性低、业余生活较枯燥、社会参与意识浓厚等特征。群团
人类创造高层建筑已有百余年的历史,在这一过程当中,建筑的高度被当作城市的核心象征与标志,西尔斯大厦之于美国芝加哥,101大厦之于中国台北,国家石油双塔之于马来西亚。城市
最近,人们与 nano 规模样品的减少的尺寸与有弹性的模量的二个相反的变化被混淆:有弹性的模量任何一个与减少的样品尺寸减少或增加。在这份报纸,基于分子间的潜力和一个维的模型
ue*M#’#dkB4##8#”专利申请号:00109“7公开号:1278062申请日:00.06.23公开日:00.12.27申请人地址:(100084川C京市海淀区清华园申请人:清华大学发明人:隋森芳文摘:本发明属于生物技
用实验室相拟模拟的方法,对全煤回采巷道的矿压显现特点及支护参数进行模拟试验研究,获得不同锚固方式下巷道变形、破坏规律及应力分布规律,对全煤回采巷道锚杆支护最佳参数
目的探讨ACCESS PORT SYSTEMS埋入式镇痛输注系统的镇痛效果和护理方法。方法对60例晚期癌痛患者植入PORT泵,对镇痛效果进行观察,总结护理要点。结果术后3 d镇痛效果,镇痛有
目的:本研究以AD大鼠模型为实验载体,应用智三针进行干预,通过观察智三针对AD大鼠的学习记忆能力、大脑海马PP1/PP2A蛋白表达、AChAT:胆碱乙酰化酶)、AGhE(乙酰胆碱酯酶)活性以
目的分析成人视神经脊髓炎脑部影像表现及临床特点。方法回顾分析2010-10—2017-10开封市中心医院收治的25例视神经脊髓炎患者为研究对象,并行头颅及脊髓MRI检查,根据头颅MRI
在现今社会,各行各业的竞争力都非常大,因此在建筑施工项目管理中需要实行精细化管理,这样可以更好地帮助建筑企业发展。建筑施工项目中的管理体系在一定程度上对施工单位在
由与极其小的压电和极其大的介电常数作为特殊压电的材料为金属建模,我们借助于概括 Stroh 形式主义在 metal/piezoelectric 双性人材料为一个界面的可渗透的裂缝获得了分析答