无穷损害方法的框架模式  

MODELS OF INFINITARY INFURY METHODS

作　　者：蒋映 

机构地区：[1]云南师大数学系

出　　处：《云南师范大学学报（自然科学版）》1995年第3期19-25,共7页Journal of Yunnan Normal University:Natural Sciences Edition

基　　金：云南省科委青年应用基础研究基金

摘　　要：本文将对递归可枚举度构造中的几种主要无穷损害方法──真步集方法、树构造方法、弹球机方法等作一框架性的描述，从而探讨其内在联系与区别。并为今后对上述方法建立起统一的理论机制做一些准备和尝试。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。

关 键 词：递归论 无穷损害法 递归可枚举度 框架模式 

分 类 号：O141.3[理学—数学]