题名 | 加杯图灵度的代数结构 |
作者 | 赵宜成 |
学位类别 | 博士 |
答辩日期 | 2003 |
授予单位 | 中国科学院软件研究所 |
授予地点 | 中国科学院软件研究所 |
关键词 | 可计算枚举集 损害优先方法 加杯 |
其他题名 | Algebraic Structure of the Plus Cupping Turing Degrees |
学位专业 | 基础数学 |
中文摘要 | 在这篇论文中,我们主要致力于研究加杯度(plus cupPingde-grees)的代数结构。一个可计算枚举(computobly enumeroble,简记为c.e.)度被称为加杯的,如果它囿界的每个非零的c.e.度都是可杯的,也就是说能与一个不完全c.e.度结合为0'。本篇论文分为4个部分:第部分介绍了这个领域的些背景知识;第二部分主要回顾了前人在研究可计算枚举度的结构和层谱时所取得的一些基本和最新结果,这些结果与我们的主题一加杯图灵度的代数结构密切相关;在第三部分中,我们概要的描述了优先树方法的基本原理,此方法是可计算性理论中定理证明的一个重要框架和工具;第四部分证明了一个加杯图灵度代数结构的新结果:存在两个可计算枚举度a,b,满足a,b∈PC,而且a和b的并a∨b是一个高度。因此所有加杯可计算枚举度组成的集合PC不是ε的理想,这里ε是所有可计算枚举度构成的上半格。 |
语种 | 中文 |
公开日期 | 2011-03-17 |
页码 | 49 |
内容类型 | 学位论文 |
源URL | [http://ir.iscas.ac.cn/handle/311060/5938] ![]() |
专题 | 软件研究所_中科院软件所_中科院软件所 |
推荐引用方式 GB/T 7714 | 赵宜成. 加杯图灵度的代数结构[D]. 中国科学院软件研究所. 中国科学院软件研究所. 2003. |
个性服务 |
查看访问统计 |
相关权益政策 |
暂无数据 |
收藏/分享 |
除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。
修改评论