首页 | 本学科首页   官方微博 | 高级检索  
     

一个高的钻石定理
引用本文:李昂生,杨东屏.一个高的钻石定理[J].软件学报,2000,11(1):23-39.
作者姓名:李昂生  杨东屏
作者单位:中国科学院软件研究所,北京,100080
基金项目:国家自然科学基金,No.69973048;国家863高科技项目基金,No.863-306-05-09-2B,中国科学院青年基金
摘    要:证明存在一个保持最大元1的可计算枚举高度的钻石格.

关 键 词:可计算性理论  可计算枚举度  可计算枚举度  Turing归约(图灵归约)  相对可计算性.
收稿时间:1998/10/22 0:00:00
修稿时间:1999/9/27 0:00:00

A High Diamond Theorem
Li Ang-sheng and Yang Dong-ping.A High Diamond Theorem[J].Journal of Software,2000,11(1):23-39.
Authors:Li Ang-sheng and Yang Dong-ping
Affiliation:Institute of Software The Chinese Academy of Sciences Beijing 100080
Abstract:It is shown that there exists a diamond of high computably enumerable degrees preserving the greatest element 1.
Keywords:Computability theory  computably enumerable set  computably enumerable degree  Turing reducibility  relative computability  
本文献已被 CNKI 维普 万方数据 等数据库收录!
点击此处可从《软件学报》浏览原始摘要信息
点击此处可从《软件学报》下载全文
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号