检索结果-维普期刊中文期刊服务平台

低R.E度上D.R.E.度的非稠密性: 1; 作者蒋志根《数学年刊（A辑）》 CSCD 北大核心 1993年第5期501-506,共6页; 本文用O(?)优先损害方法证明了d.r e.度中任何低的递归可枚举度ι之上存在一个非稠密区间,即存在d.r.e.度d,ι<d<0′,使得对任何d.r.e.度u,要么u=0′,要么u≤d。; 关键词递归可枚举度非稠密性树; 在线阅读下载PDF 职称材料

每个非零的 a∈ R/ M中不存在极小元(英文) 被引量：1: 2; 作者张再跃眭跃飞《软件学报》 EI CSCD 北大核心 2000年第11期1425-1429,共5页; 证明了给定任何非零的递归可枚举图灵度 a存在递归可枚举图灵度 c<a和 d∈M,使得 a≤ d∪ c.由此可以得到 :在每个非零 [a]∈ R∧ M中不存在极小元 ,即给定任何非可盖递归可枚举图灵度 a,存在一个递归可枚举图灵度 c<a,使得 [c]=[a].; 关键词图灵度递归可枚举度极小时; 在线阅读下载PDF 职称材料

RelatioR/M中的与 R中的≤_T的关系(英文): 3; 作者眭跃飞《软件学报》 EI CSCD 北大核心 2000年第6期745-750,共6页; 证明存在递归可枚举图灵度 a和 c使得 c a,并且对每个递归可枚举图灵度 b≤ Ta,b≠ c,其中 a是 R/M中的一个元素 ,R/ M是递归可枚举图灵度集 R模可盖图灵度集 M的商 .; 关键词递归可枚举度弱真值表归约; 在线阅读下载PDF 职称材料

R_(wtt)/ M_(wtt)中的枝点元素(英文) 被引量：1: 4; 作者张再跃眭跃飞《软件学报》 EI CSCD 北大核心 2000年第4期441-446,共6页; 该文证明了在 Rwtt/ Mwtt中除了最大元和最小元外 ,每个元 c是枝点元素 ,即为某两个大于 c的元素的最大下界 ,其中 Rwtt/ Mwtt是递归可枚举弱真值表归约度集 Rwtt模可盖递归可枚举弱真值表归约度集; 关键词递归可枚举度 Rwtt/Mwtt 枝点元素; 在线阅读下载PDF 职称材料

题名低R.E度上D.R.E.度的非稠密性: 1; 作者蒋志根; 机构中国科学院软件研究所; 出处《数学年刊（A辑）》 CSCD 北大核心 1993年第5期501-506,共6页; 基金国家青年科学资金; 文摘本文用O(?)优先损害方法证明了d.r e.度中任何低的递归可枚举度ι之上存在一个非稠密区间,即存在d.r.e.度d,ι<d<0′,使得对任何d.r.e.度u,要么u=0′,要么u≤d。; 关键词递归可枚举度非稠密性树; 分类号 O141.3 [理学—基础数学]; 在线阅读下载PDF 职称材料

题名每个非零的 a∈ R/ M中不存在极小元(英文) 被引量：1: 2; 作者张再跃眭跃飞; 机构扬州大学工业学院计算机系中国科学院软件研究所; 出处《软件学报》 EI CSCD 北大核心 2000年第11期1425-1429,共5页; 基金国家自然科学基金&&; 文摘证明了给定任何非零的递归可枚举图灵度 a存在递归可枚举图灵度 c<a和 d∈M,使得 a≤ d∪ c.由此可以得到 :在每个非零 [a]∈ R∧ M中不存在极小元 ,即给定任何非可盖递归可枚举图灵度 a,存在一个递归可枚举图灵度 c<a,使得 [c]=[a].; 关键词图灵度递归可枚举度极小时; Keywords Turing degree, recursively enumerable set, minimal pair4; 分类号 O141.3 [理学—基础数学]; 在线阅读下载PDF 职称材料

题名RelatioR/M中的与 R中的≤_T的关系(英文): 3; 作者眭跃飞; 机构中国科学院软件研究所; 出处《软件学报》 EI CSCD 北大核心 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的商 .; 关键词递归可枚举度弱真值表归约; Keywords Recursively enumerable degree, weak truth table reduction.; 分类号 TP301 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名R_(wtt)/ M_(wtt)中的枝点元素(英文) 被引量：1: 4; 作者张再跃眭跃飞; 机构扬州大学工业学院计算机系中国科学院软件研究所; 出处《软件学报》 EI CSCD 北大核心 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 枝点元素; Keywords Recursively enumerable degree, weak truth table reduction.; 分类号 TP301 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料