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

二阶逻辑有效公式集的非递归可枚举性: 1; 作者何自强《哈尔滨工程大学学报》 EI CAS CSCD 1998年第3期71-74,共4页; 证明了任何带等词的二阶语言的逻辑有效公式集不是递归可枚举的; 关键词二阶语言逻辑有效公式递归可枚举集; 在线阅读下载PDF 职称材料

r.e.的脱殊集的子集的性质: 2; 作者丁德成《数学年刊(A辑)》 CSCD 北大核心 1994年第4期379-385,共7页; 本文研究了p-脱殊集,s-脱殊集,e-脱殊集的子集的各种性质.; 关键词脱殊集子集递归可枚举集 P脱殊集; 在线阅读下载PDF 职称材料

关于递归控制Turing可化归性: 3; 作者谷新民《江苏理工大学学报（自然科学版）》 1996年第5期109-112,共4页; 证明了“递归控制Ｔｕｒｉｎｇ可化归性”（简称ｒｃｔ－可化归性）崩溃成平凡情形，即证明了任何两个有穷集合或任何两个无穷的递归可枚举集合都分别是ｒｃｔ－等价的，而它们两者之间则又不是ｒｃｔ－等价的．也即有且只有两个递归可... 展开更多; 关键词递归函数递归可枚举集递归论 rct-可化归性; 在线阅读下载PDF 职称材料