您的位置： 专家智库 > >

陆宏

作品数：3 被引量：1H指数：1
供职机构：南京大学数学系更多>>
发文基金：中国科学院科研项目国家自然科学基金国家高技术研究发展计划更多>>
相关领域：理学哲学宗教更多>>

合作作者

文献类型

  • 3篇中文期刊文章

领域

  • 2篇理学
  • 1篇哲学宗教

主题

  • 1篇递归
  • 1篇递归函数
  • 1篇递归可枚举度
  • 1篇递归论
  • 1篇英文
  • 1篇实数
  • 1篇确界
  • 1篇下确界
  • 1篇规约
  • 1篇函数
  • 1篇SW
  • 1篇稠密性

机构

  • 3篇南京大学
  • 1篇东南大学

作者

  • 3篇陆宏
  • 1篇丁德成
  • 1篇范赟

传媒

  • 1篇中国科学（A...
  • 1篇南京大学学报...
  • 1篇逻辑学研究

年份

  • 1篇2010
  • 1篇2005
  • 1篇1999
共 3 条 记 录，以下是 1-3
全选 清除 导出
排序方式：
c.e.的Wtt-度中的下确界(英文)
2010年
本文研究了Wtt-度区间的下确界的的存在性问题。我们先证明了Wtt-度中区间对无下确界的向上稠密性。接着我们证明了存在c.e.度a,b(b
陆宏
关键词：下确界
在d-r.e.度结构中真d-r.e.分支度的弱稠密性
1999年
证明了对任意r.e .度v
陆宏丁德成
关键词：递归论递归可枚举度递归函数
SW规约下的一些性质被引量：1
2005年
本文进一步分析了SW规约下的SW度结构的一些性质,得到了强可计算实数的两个性质.并且证明了给定可计算可枚举实数,可构造出sw归约下不小于该数的低的可计算可枚举实数.
范赟陆宏
全选 清除 导出
共1页<1>
聚类工具0