您的位置： 专家智库 > >

张萍

作品数：1 被引量：0H指数：0
供职机构：中国科学院软件研究所更多>>
相关领域：理学更多>>

合作作者

文献类型

  • 1篇中文科技成果

领域

  • 1篇理学

主题

  • 1篇图灵

机构

  • 1篇中国科学院软...

作者

  • 1篇李昂生
  • 1篇张萍
  • 1篇吴国华
  • 1篇杨东屏
  • 1篇眭跃飞

年份

  • 1篇2001
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
带可枚举信息源的计算和学习理论
杨东屏眭跃飞李昂生张萍吴国华
该成果主要研究可计算理论中可计算枚举图灵度所组成的上半格的结构性质，证明了存在两个可计算枚举图灵度使得其所囿界的极小图灵度的集合是相同的。该结果解决了Epstein提出的未解决问题。证明了Shoenfield的可盖猜测在...
关键词：
全选 清除 导出
共1页<1>
聚类工具0