递归可枚举度

作品数：14被引量：2H指数：1
导出分析报告
相关领域：理学自动化与计算机技术更多>>
相关作者：眭跃飞李昂生张再跃钱磊王玮更多>>
相关机构：中国科学院软件研究所扬州大学南京大学云南师范大学更多>>
相关期刊：《数学学报（中文版）》《数学年刊（A辑）》《云南师范大学学报（自然科学版）》《科学通报》更多>>
相关基金：国家自然科学基金国家高技术研究发展计划国家杰出青年科学基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
每个非零的 a∈ R/ M中不存在极小元(英文)被引量：1
《软件学报》2000年第11期1425-1429,共5页张再跃 眭跃飞 
国家自然科学基金&&
证明了给定任何非零的递归可枚举图灵度 a存在递归可枚举图灵度 c
关键词：图灵度 递归可枚举度 极小时 
RelatioR/M中的与 R中的≤_T的关系(英文)
《软件学报》2000年第6期745-750,共6页眭跃飞 
国家自然科学基金!No.6 96 730 17&&
证明存在递归可枚举图灵度 a和 c使得 c a,并且对每个递归可枚举图灵度 b≤ Ta,b≠ c,其中 a是 R/M中的一个元素 ,R/ M是递归可枚举图灵度集 R模可盖图灵度集 M的商 .
关键词：递归可枚举度 弱真值表归约 
R_(wtt)/ M_(wtt)中的枝点元素(英文)被引量：1
《软件学报》2000年第4期441-446,共6页张再跃 眭跃飞 
This research is supported by the National Natural Science Foundation of China (国家自然科学基金 ;No.6 96 730 17)
该文证明了在 Rwtt/ Mwtt中除了最大元和最小元外 ,每个元 c是枝点元素 ,即为某两个大于 c的元素的最大下界 ,其中 Rwtt/ Mwtt是递归可枚举弱真值表归约度集 Rwtt模可盖递归可枚举弱真值表归约度集
关键词：递归可枚举度 Rwtt/Mwtt 枝点元素 
在d-r.e.度结构中真d-r.e.分支度的弱稠密性
《中国科学（A辑）》1999年第2期97-104,共8页陆宏 丁德成 
国家自然科学基金!(批准号 :197710 45 );国家"八六三"计划资助项目
证明了对任意r.e .度v
关键词：递归论 递归可枚举度 分支度 弱稠密性 递归函数 
商偏序R/M非零等价类中存在不可比代表元
《扬州师院学报（自然科学版）》1997年第4期1-8,共8页张再跃 
国家863高科技项目资助课题
证明了在商偏序 R/M 中,任意非零等价类中存在不可比代表元,即对任意[a]∈R/M,如果[a]≠[o],则存在递归可枚举度 b_1和 b_2满足 b_1b_2并且[b_1]=[b_2]=[a].
关键词：商偏序 递归可枚举度 不可比代表元 R/M结构 
关于递归可枚举度可杯可盖性质的一道命题
《扬州师院学报（自然科学版）》1997年第1期1-5,共5页张再跃 
运用关键点编码技巧构造性地证明了在递归可枚举度集中,对任给的非递归的递归可枚举度d,存在可盖的递归可枚举度 a 和递归可枚举度 c 满足 dc,并且有 d≤a∪ .
关键词：递归可枚举度 可杯性 可盖性 
关于相对反杯性质的一个结果
《科学通报》1995年第22期2022-2025,共4页张再跃 
国家863高科技项目基金资助
1 主要定理及需求递归可枚举度可杯与反杯性质的研究是递归论研究的重要课题之一,本文将证明如下定理:定理1 对任意r.e.度b和高r.e.度d满足b(?)d,存在r.e.度a使得a(?)b并且a是d的一个反杯证据.本文采用文献[1]和文献[2]中的基本概念和术...
关键词：递归可枚举度 递归论 反杯性质 递归函数 
无穷损害方法的框架模式
《云南师范大学学报（自然科学版）》1995年第3期19-25,共7页蒋映 
云南省科委青年应用基础研究基金
本文将对递归可枚举度构造中的几种主要无穷损害方法──真步集方法、树构造方法、弹球机方法等作一框架性的描述，从而探讨其内在联系与区别。并为今后对上述方法建立起统一的理论机制做一些准备和尝试。
关键词：递归论 无穷损害法 递归可枚举度 框架模式 
低R.E度上D.R.E.度的非稠密性
《数学年刊（A辑）》1993年第5期501-506,共6页蒋志根 
国家青年科学资金
本文用O(?)优先损害方法证明了d.r e.度中任何低的递归可枚举度ι之上存在一个非稠密区间,即存在d.r.e.度d,ι
关键词：递归可枚举度 非稠密性 树 
递归可枚举度临界性问题的一个结果(Ⅰ)
《数学学报（中文版）》1993年第5期654-661,共8页李昂生 眭跃飞 
国家自然科学基金;国家青年自然科学基金资助;云南省基础应用研究基金
本文证明:对任 cappable r.e.度■,存在 r.e.度■和■使得■>■,■∧■=0且对任 r.e.度■,如果■且■,那么■∧■≠■.
关键词：递归可枚举度 临界性 主子度 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部