本文主要研究内容
作者贾树林（2019）在《零点定理、中值定理的可计算性》一文中研究指出：可计算理论最终要实现的是怎样计算连续函数。在普通图灵机理论中我们会首先通过图灵机来介绍半字函数f:(?)∑*→∑*上的可计算性。然后通过名来定义其它集合(如有理数集,有限集等)上的可计算性。然而这种图灵机还是停留在把字映射成字,用户只是把字作为名来替代需要研究的元素。但由于集合∑*和N只是可数集,那么对于不可数的实数集R就没有足够的名来替代他们了。型2图灵机是一种特殊的图灵机,它把研究范围从可数集扩展到了不可数集上。由于实数可以通过无穷序列来表示,例如通过十进制小数(3.14159…是π的一个名)。在型2图灵机理论中,就是用无穷序列来作为实数的名,然后把无穷序列映射成无穷序列来计算实函数。本文首先介绍型2图灵机中的基本理论,然后给出这个理论的应用,讨论零点定理、罗尔中值定理、拉格朗日中值定理、柯西中值定理、积分中值定理、皮卡存在唯一性定理的可计算性。
Abstract
ke ji suan li lun zui zhong yao shi xian de shi zen yang ji suan lian xu han shu 。zai pu tong tu ling ji li lun zhong wo men hui shou xian tong guo tu ling ji lai jie shao ban zi han shu f:(?)∑*→∑*shang de ke ji suan xing 。ran hou tong guo ming lai ding yi ji ta ji ge (ru you li shu ji ,you xian ji deng )shang de ke ji suan xing 。ran er zhe chong tu ling ji hai shi ting liu zai ba zi ying she cheng zi ,yong hu zhi shi ba zi zuo wei ming lai ti dai xu yao yan jiu de yuan su 。dan you yu ji ge ∑*he Nzhi shi ke shu ji ,na me dui yu bu ke shu de shi shu ji Rjiu mei you zu gou de ming lai ti dai ta men le 。xing 2tu ling ji shi yi chong te shu de tu ling ji ,ta ba yan jiu fan wei cong ke shu ji kuo zhan dao le bu ke shu ji shang 。you yu shi shu ke yi tong guo mo qiong xu lie lai biao shi ,li ru tong guo shi jin zhi xiao shu (3.14159…shi πde yi ge ming )。zai xing 2tu ling ji li lun zhong ,jiu shi yong mo qiong xu lie lai zuo wei shi shu de ming ,ran hou ba mo qiong xu lie ying she cheng mo qiong xu lie lai ji suan shi han shu 。ben wen shou xian jie shao xing 2tu ling ji zhong de ji ben li lun ,ran hou gei chu zhe ge li lun de ying yong ,tao lun ling dian ding li 、luo er zhong zhi ding li 、la ge lang ri zhong zhi ding li 、ke xi zhong zhi ding li 、ji fen zhong zhi ding li 、pi ka cun zai wei yi xing ding li de ke ji suan xing 。
论文参考文献
论文详细介绍
论文作者分别是来自南京大学的贾树林，发表于刊物南京大学2019-07-02论文，是一篇关于型图灵机论文,实函数的名论文,南京大学2019-07-02论文的文章。本文可供学术参考使用，各位学者可以免费参考阅读下载，文章观点不代表本站观点，资料来自南京大学2019-07-02论文网站，若本站收录的文献无意侵犯了您的著作版权，请联系我们删除。
标签：型图灵机论文; 实函数的名论文; 南京大学2019-07-02论文;