收藏本站
《逻辑学文集》1978年
收藏 | 手机打开
二维码
手机客户端打开本文

可计算性理论的发展及其应用

吴允曾  
【摘要】:正一、导言可计算性理论(又名“可计算函数论”或“递归函数论”) 是广义的数理逻辑的一个分支,是本世纪三十年代中发展起来的。它包括①可计算函数论,②图林机器理论;③产生式系统理论等。①,②,③分别是数论函数的理论,抽象计算机的理论和符号处理系统的理论。它们所研究的是理论上的可计算性(即假定所需要的计算时间和存贮空间可以是没有限制的。)近年来发展起来的可行计算理论则是研究实际可计算性的。这里所说的“可行计算”是指计算时间多项式有界的计算。但可行计算理论现在已发展成为一个独立的分支。
【分类号】:O141.3

【相似文献】
中国期刊全文数据库 前10条
1 罗敏霞;可计算理论的研究内容及应用[J];运城学院学报;2003年05期
2 李祥;;多项式时间复杂度的可计算实数域[J];贵州科学;1983年01期
3 卢殿臣;郑瑞;;组合KdV方程解在图灵可计算意义下的有界性[J];应用数学;2008年04期
4 戴东勇;韦元军;;关于跃变算子的一个定理[J];贵州大学学报(自然科学版);1985年01期
5 李琼章,傅斌;出现在优化逼近中的核[J];数学物理学报;1991年02期
6 刘芹英;珠算与图灵机[J];新理财;2004年08期
7 纪善韬;论数理逻辑的发展及其对数学基础的促进[J];吉林师范大学学报(自然科学版);1984年02期
8 马军;对通用程序设计语言的一点探讨[J];山东大学学报(理学版);1984年04期
9 张家龙;数理逻辑的产生和发展[J];北京航空航天大学学报(社会科学版);2000年01期
10 王洁,侯广坤,李祥;关于相对化的计算复杂性类的研究(摘要)[J];中山大学学报(自然科学版);1985年02期
中国博士学位论文全文数据库 前2条
1 卢殿臣;非线性波系统的精确解与解析近似解[D];江苏大学;2008年
2 王建林;基于Isabelle平台的一般拓扑学机械化及自动定理证明研究[D];华东师范大学;2012年
中国硕士学位论文全文数据库 前5条
1 缪任祥;一类非线性偏微分方程初边值问题的可计算性分析[D];江苏大学;2009年
2 周佳征;在图灵机上计算两类非线性发展方程任意精度的解[D];江苏大学;2008年
3 蒋东海;几个偏微分方程解算子的图灵可计算性[D];江苏大学;2007年
4 雷宇光;康托空间中紧集上的计算复杂性[D];南京大学;2013年
5 林冰凯;k边诱导子图问题的参数复杂性[D];上海交通大学;2013年
中国知网广告投放
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026