您的位置： 专家智库 > >

喻良

作品数：3 被引量：0H指数：0
供职机构：南京大学更多>>
相关领域：理学哲学宗教更多>>

合作作者

文献类型

  • 1篇期刊文章
  • 1篇学位论文
  • 1篇科技成果

领域

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

主题

  • 2篇可计算性
  • 2篇可计算性理论
  • 1篇英文
  • 1篇实数
  • 1篇实数集
  • 1篇数集
  • 1篇图灵
  • 1篇计算机
  • 1篇计算机科学
  • 1篇归约
  • 1篇LR
  • 1篇不可数
  • 1篇存在性

机构

  • 3篇南京大学

作者

  • 3篇喻良
  • 1篇许道云
  • 1篇赵希顺
  • 1篇丁德成
  • 1篇苏开乐

传媒

  • 1篇逻辑学研究

年份

  • 1篇2010
  • 1篇2007
  • 1篇2002
共 3 条 记 录，以下是 1-3
全选 清除 导出
排序方式：
可计算性理论及其在计算机科学中的应用
丁德成喻良苏开乐赵希顺许道云
我们在可计算性理论、计算机科学理论等方面取得了一系列重要的成果，在国内外重要刊物上发表了论文96篇，其中SCI和EI论文83篇，SCI和EI引用95次。我们解决了多个本领域内的多年未能解决的著名问题，开创了一些新的研究方...
关键词：
关键词：可计算性理论
LR度中完备链的存在性(英文)
2010年
我们证明存在一个完备实数集使得在这个完备集中任何两个实数都是LR可比较的。"在LR度中是否每个完备集都包含一个不可数的反链?"这一问题多次被提及。显然,图灵归约蕴含LR归约。但过去十年的研究表明,两者之间还是存在着显著的差异的。那么一个很自然的疑问就是,图灵度中的基本结论——每个完备集都包含两个图灵不可比实数——是否在LR度中仍为真。
喻良
关键词：实数集不可数归约
可计算性理论及其应用
论文分成两个部分.第一部分属于可计算性理论的基础部分,第二部分是可计算理论的应用.在第一部分,我们研究经典可计算性理论的局部理论.我们希望我们的工作会对这个领域的研究有所促进.在第1章我们用Pinball-机方法证明存在...
喻良
关键词：可计算性理论
文献传递
全选 清除 导出
共1页<1>
聚类工具0