2014南开数理逻辑研讨会报告摘要大会报告-陈身数学研究所.pdf

下载文档 降价啦

40
0
约1.84万字
约 8页
2018-01-27 发布于天津
举报
版权申诉
保障服务

2014南开数理逻辑研讨会报告摘要大会报告-陈身数学研究所.pdf

1、本文档共8页，其中可免费阅读6页，需付费100金币后方可阅读剩余内容。
2、本文档内容版权归属内容提供方，所产生的收益全部归内容提供方所有。如果您对本文有版权争议，可选择认领，认领后既往收益都归您。
3、本文档由用户上传，本站不保证质量和数量令人满意，可能有诸多瑕疵，付费之前，请仔细先通过免费阅读内容等途径辨别内容交易风险。如存在严重挂羊头卖狗肉之情形，可联系本站下载客服投诉处理。
4、文档侵权举报电话：400-050-0827(电话支持时间：9:00-18:30)。

南开数理逻辑研讨会报告摘要一大会报告陈翌佳上海交通大学苏开乐浙江师范大学王玮中山大学吴刘臻中国科学院数学与系统科学研究院杨睿之复旦大学一个新的实数计算模型杨跃新加坡国立大学摘要众所周知利用图灵机人们能够为自然数上的可计算性下一个精确的定义然而当我们在更高的类型上如实数上谈论算法和可计算性时事情就不那么简单了例如两个有代表性的计算模型和出于不同的动机在实数计算的各种考量中有不同取舍成为各有千秋但彼此不相容的两个模型在本报告中我将介绍一个新的类似于图灵机的实数计算模型并讨论它与前两个模型的关系这个模

2014 南开数理逻辑研讨会报告摘要一、大会报告 1. Logic, Graphs, and Complexity 陈翌佳上海交通大学 Abstract: Although theoretical computer science has its origin in logic, starting from 80s, methods and results from algebra and combinatorics have taken a leading role,