【摘 要】
：
一个可计算枚举(c.e.)图灵度a被称为Nonbounding,是指它没有囿界任何极小对;一个可计算枚举(c.e.)图灵度a被称为Plus cupping,是指对于任何一个可计算枚举(c.e.)图灵度x,如果
论文部分内容阅读
一个可计算枚举(c.e.)图灵度a被称为Nonbounding,是指它没有囿界任何极小对;一个可计算枚举(c.e.)图灵度a被称为Plus cupping,是指对于任何一个可计算枚举(c.e.)图灵度x,如果x≠0并且x≤a,那么x是可杯的(cuppable).我们用NB来表示所有Nonbounding可计算枚举(c.e.)图灵度的集合,而用PC来表示所有Plus cupping可计算枚举(c.e.)图灵度的集合.集合NB和集合PC都已有很多研究结果,但是到目前为止还没有给出两个集合相同或者不同的证明.该文研究上述两个集合的关系:构造了一个极小对——其并为一个Plus cupping可计算枚举(c.e.)图灵度,从而证明了PC不包含于NB.
其他文献
自1986年数学家C.J.Mulvey正式提出Quantale一词以来,Quantale理论一直成为数学家和逻辑学家的研究热点.在短短的十几年中有关Quantale理论的大量新的观点及应用不断被提示.
该文主要讨论两种非散度型非线性退化抛物方程在第一章讨论当γ=0时的方程(0.1)的初边值问题.证明了此问题存在多个弱解,并且弱解具有局部化性质等.这些结果基本上可以推广到
在数值模拟含有大量化学反应问题时,如何描述不同类型的反应动力学和编制相应的解释程序是一项繁冗的工作.CHEMKIN软件包提供了读入和解释反应机理,提取组元热力学特性,计算
一、因地制宜安排场地和器材rn各个学校的实际情况不尽相同,为了避免教学班级争抢场地和器材,有效有序地利用教学场地和体育器材,我建议各个学校的教务部门在安排全校课务的
该文首先建立了某类U—半超富足半群的Rees矩阵表示定理,并由此得到了若干广义完全单半群的Rees矩阵表示定理.然后在第二章和第三章讨论弱左C—Q—U—富足半群和拟C—Q—U—
可靠性理论中的可修复系统是可靠性数学的主要研究对象,是可靠性理论中讨论的一类重要系统.随机过程理论是可修复系统的主要数学工具.利用补充变量法建立广义马尔可夫模型,并
该文选用了榆树林地区的特低渗透岩样进行了油水两相渗流实验和单相渗流实验,并对低渗透岩样在不同含水饱和度下的拟启动压力进行了研究,通过对实验数据进行的理论分析,建立
微分包含是非线性分析理论的重要分支,它与微分方程、最优控制以及最优化理论等其他数学分支有着紧密的联系.对解的存在性、振动性、渐近性和可控性的研究是微分包含和差分包
当前,应用软件主要集中在MIS系统上,但是,数据库应用软件时常面临着用户需求的变更,这对于缺乏CASE辅助的应用软件来说,维护和修改数据库应用软件是十分困难的.因此,我们提出
模糊数值函数的研究是模糊分析学讨论中的一个重要问题.此外,模糊复分析学的一个有趣部分,是复分析理论在模糊数学中的推广和延伸,它包括复模糊函数的极限问题及复模糊函数的