论文摘要
可计算理论最终要实现的是怎样计算连续函数。在普通图灵机理论中我们会首先通过图灵机来介绍半字函数f:(?)∑*→∑*上的可计算性。然后通过名来定义其它集合(如有理数集,有限集等)上的可计算性。然而这种图灵机还是停留在把字映射成字,用户只是把字作为名来替代需要研究的元素。但由于集合∑*和N只是可数集,那么对于不可数的实数集R就没有足够的名来替代他们了。型2图灵机是一种特殊的图灵机,它把研究范围从可数集扩展到了不可数集上。由于实数可以通过无穷序列来表示,例如通过十进制小数(3.14159…是π的一个名)。在型2图灵机理论中,就是用无穷序列来作为实数的名,然后把无穷序列映射成无穷序列来计算实函数。本文首先介绍型2图灵机中的基本理论,然后给出这个理论的应用,讨论零点定理、罗尔中值定理、拉格朗日中值定理、柯西中值定理、积分中值定理、皮卡存在唯一性定理的可计算性。
论文目录
文章来源
类型: 硕士论文
作者: 贾树林
导师: 陆宏
关键词: 型图灵机,实函数的名
来源: 南京大学
年度: 2019
分类: 基础科学
专业: 数学
单位: 南京大学
分类号: O141.3
总页数: 38
文件大小: 1997K
下载量: 60
相关论文文献
- [1].社会的可计算性与人的自由[J]. 河南社会科学 2015(10)
- [2].可计算性逻辑研究进展[J]. 贵州工程应用技术学院学报 2019(05)
- [3].分析中的可计算性[J]. 宁夏大学学报(自然科学版) 2012(01)
- [4].可计算性逻辑中CL4系统定理证明[J]. 西安邮电学院学报 2011(05)
- [5].可计算性逻辑中CoL2系统的可判定性分析[J]. 计算机科学 2015(07)
- [6].传播的可计算性对传媒业影响深远[J]. 中国报业 2020(09)
- [7].命题作为博弈的求真表示[J]. 贵州大学学报(自然科学版) 2013(01)
- [8].大数据计算的基础理论探究[J]. 贵州大学学报(自然科学版) 2016(04)
- [9].谈计算机专业实践教学中计算思维能力的培养[J]. 计算机工程与科学 2014(S2)
- [10].我们真的已经深陷理性牢笼了吗——读《社会的麦当劳化》有感[J]. 学习月刊 2012(10)
- [11].四维时空高效利用的装箱调度问题及其可计算性证明[J]. 计算机学报 2013(09)
- [12].变形搭接网络技术用于机械运动方案的创新设计[J]. 机械设计与研究 2010(04)
- [13].论形式逻辑与物的世界的关系[J]. 湖南工业大学学报(社会科学版) 2014(06)
- [14].马克思与韦伯资本主义合理性批判的理论路径比较[J]. 四川轻化工大学学报(社会科学版) 2020(03)
- [15].配电网规划决策中的可计算性问题研究[J]. 电力系统保护与控制 2017(22)
- [16].高校教育的麦当劳化特性[J]. 中外企业家 2012(06)
- [17].高校教师绩效评估的麦当劳化[J]. 青年文学家 2012(16)
- [18].论语篇连贯的可计算性[J]. 外语研究 2018(02)
- [19].资本批判的现代学说及其意义[J]. 上海财经大学学报 2015(03)
- [20].谈谈计算机的“智能”[J]. 计算机与数字工程 2008(10)
- [21].从“幽灵般的对象性”到“合理的自律性”——卢卡奇“物化”逻辑的形而上学[J]. 北方论丛 2018(04)
- [22].网络基因图谱研究[J]. 信息安全研究 2016(09)
- [23].气液两相流界面多尺度问题可计算性研究进展[J]. 化工学报 2014(12)
- [24].《非诚勿扰》麦当劳化的分析与思考[J]. 改革与开放 2011(08)
- [25].“链”式平安城市管理理论与实践[J]. 中国公共安全 2016(09)
- [26].作为一种分析哲学的数理逻辑——以相对可计算性与随机性概念研究为例[J]. 逻辑学研究 2014(04)
- [27].智能可计算性思想的发展[J]. 贵州民族大学学报(哲学社会科学版) 2017(01)
- [28].论“动态分析语法”——自然语言行为的可计算性及其形式理论[J]. 山西大学学报(哲学社会科学版) 2017(03)
- [29].社会的麦当劳化呈现——对电视业“合理化”现象的分析[J]. 视听界 2015(03)
- [30].梦幻经济[J]. 商务周刊 2010(Z1)