期刊文献+

无穷损害方法的框架模式

MODELS OF INFINITARY INFURY METHODS
下载PDF
导出
摘要 本文将对递归可枚举度构造中的几种主要无穷损害方法──真步集方法、树构造方法、弹球机方法等作一框架性的描述,从而探讨其内在联系与区别。并为今后对上述方法建立起统一的理论机制做一些准备和尝试。 In this paper,we attempt to build up some freme skechs for inflnitaryin jury construction used in recursive enumeration sets and degrees.Such as the true stagemethod, tree construction method and the pinball machine method。
作者 蒋映
机构地区 云南师大数学系
出处 《云南师范大学学报(自然科学版)》 1995年第3期19-25,共7页 Journal of Yunnan Normal University:Natural Sciences Edition
基金 云南省科委青年应用基础研究基金
关键词 递归论 无穷损害法 递归可枚举度 框架模式 recursive enumeration degrees(r.e. degrees) requiremes finite(infinite )injury true stage tree the pinball machine
  • 相关文献

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部