跳到主要内容
10.5555/3329995.3330002acm会议文章/章节视图摘要出版物页面低收入国家会议记录会议集合
研究论文

关于可计算实函数的扩展

出版:2017年6月20日出版历史

摘要

我们研究了数学分析、有效拓扑和经典可计算性理论中不同概念之间的相互关系。我们的主要研究对象是定义在区间上的一类可计算函数,其边界为左c即实数。我们研究了这些函数可以被可计算扩展的充要条件。事实证明,这取决于函数在边界附近的行为,以及边界所属的左数类(例如实数),也就是说,它是如何构造的。特别有趣的是,研究了一类函数:由c.e.集的可计算枚举构造的锯齿函数。

工具书类

  1. K.Weihrauch,可计算分析:简介第1版,施普林格出版社,2000年。谷歌学者谷歌学者数字图书馆数字图书馆
  2. K.-I.Ko,实函数的复杂性理论Birkhäuser,1991年。谷歌学者谷歌学者数字图书馆数字图书馆
  3. M.Hoyrup,《不可逆可计算函数》,inSTACS公司,序列号。LIPIcs,Ernst W.Mayr和Natacha Portier,编辑,第25卷。达格斯图尔-莱布尼茨-泽特鲁姆宫,2014年,第362-373页。谷歌学者谷歌学者
  4. R.G.Downey和G.LaForte,“可计算可枚举实的表示”西奥。计算。科学2002年,第284卷,第2期,第539-555页。谷歌学者谷歌学者数字图书馆数字图书馆
  5. V.Brattka和G.Presser,“度量空间子集的可计算性”理论计算机科学,第305卷,第1-3期,第43-76页,2003年。谷歌学者谷歌学者数字图书馆数字图书馆
  6. M.Hoyrup,“遍历分解的可计算性”纯逻辑与应用逻辑年鉴,第164卷,第5期,第542-549页,2013年。谷歌学者谷歌学者交叉引用交叉引用
  7. C.G.Jockusch,“一些高阶定理的简单证明”加拿大。数学杂志第29卷,第1072-1080页,1977年。谷歌学者谷歌学者交叉引用交叉引用
  8. C.G.Jockusch,“半递归集与正可约性”事务处理。阿默尔。数学。Soc公司第131卷,第2期,第420-436页,1968年。谷歌学者谷歌学者交叉引用交叉引用
  9. 李先生和维塔尼先生,Kolmogorov复杂性及其应用简介柏林:Springer-Verlag出版社,1993年。谷歌学者谷歌学者数字图书馆数字图书馆
  10. R.L.Graham,“关于不同的倒数的有限和n个的权力。"太平洋数学杂志1964年,第14卷,第1期,第85-92页。{在线}。可用:http://projecteuclid.org/euclid.pjm/1103034365谷歌学者谷歌学者交叉引用交叉引用
  11. M.Hoyrup,“弱可计算对象的泛型”计算系统理论第1-25页,2016年。{在线}。可用谷歌学者谷歌学者数字图书馆数字图书馆
  12. A.Hemmerling,“有效度量空间和实的表示”西奥。计算。科学,第284卷,第2期,第347-372页,2002年。{在线}。可用谷歌学者谷歌学者数字图书馆数字图书馆
  13. K.Weihrauch,“在可计算度量空间上,Tietze-Urysohn扩张是可计算的”,in第四届国际可计算性和分析复杂性研讨会论文集,序列号。CCA'00年。英国伦敦:Springer-Verlag,2001年,第357-368页。{在线}。可用:http://dl.acm.org/citation.cfm?id=647772.734440谷歌学者谷歌学者数字图书馆数字图书馆

建议

评论

登录选项

检查您是否可以通过登录凭据或您的机构访问本文。

登录

完全访问权限

  • 发布于

    封面图片ACM会议
    LICS’17:第32届ACM/IEEE计算机科学逻辑年会论文集
    2017年6月
    1068页
    国际标准图书编号:9781509030187

    出版商

    IEEE出版社

    出版历史

    • 出版:2017年6月20日

    检查更新

    限定符

    • 研究论文

    接受率

    总体验收率143属于386提交文件,37%
  • 文章指标

    • 下载次数(过去12个月)2
    • 下载次数(最近6周)0

    其他指标

PDF格式

以PDF文件查看或下载。

PDF格式

电子阅读器

使用eReader联机查看。

电子阅读器