计算理论计算理论1章绪论

VIP免费

2025-01-13 0 0 172.07KB 25 页 5.9玖币

侵权投诉

计算理论

主要内容

 计算与计算模型 30s

 语言与自动机 50s

 计算能力与计算效率 60s

 推理模型 60s

 分布式计算模型 70s

1.1 计算与计算模型

 计算：

 广义地说，计算是信息处理的科学名词。

 狭义地说，计算是指算术、代数和微积分等。

 科学定义：通过建立模型、进行模拟、实验、

验证等解决问题的过程。

1.1 计算与计算模型

上世纪初，德国大数学家希尔伯特 (Hilbert)提出：

是否存在着一个通用过程，这个过程能用来判定

任意数学命题是否成立，即，输入一个数学命题，

在有限时间内，得到一个证明，如果这个命题成立；

或是一个反例，如果这个命题不成立。

图灵证明了对于平面几何来说，存在这样的过程。

但是，对于一般的数学命题，不存在这样的过程。

图灵机和可计算

英国数学家

1936 年，图灵 24 岁时发表一

篇论文《论数字计算在判决难题

中的应用》，提出著名的“图灵

机”的设想。这一思想奠定了现

代计算机的基础。

美国计算机协会在图灵去世 12

年后以他的名字命名了计算机领

域的最高奖“图灵奖”。艾伦 ·图灵（ 1912 －

1954 ）

文档加载中……请稍候！
如果长时间未打开，您也可以点击刷新试试。

下载文档到电脑，查找使用更方便

5.9 玖币 0人已下载

立即下载 VIP免费下载

摘要：

计算理论主要内容计算与计算模型30s语言与自动机50s计算能力与计算效率60s推理模型60s分布式计算模型70s1.1计算与计算模型计算：广义地说，计算是信息处理的科学名词。狭义地说，计算是指算术、代数和微积分等。科学定义：通过建立模型、进行模拟、实验、验证等解决问题的过程。1.1计算与计算模型上世纪初，德国大数学家希尔伯特(Hilbert)提出：是否存在着一个通用过程，这个过程能用来判定任意数学命题是否成立，即，输入一个数学命题，在有限时间内，得到一个证明，如果这个命题成立；或是一个反例，如果这个命题不成立。图灵证明了对于平面几何来说，存在这样的过程。但是，对于一般的数...

展开>> 收起<<

计算理论计算理论1章绪论.pptx

共25页,预览5页

还剩页未读，继续阅读

声明：本站为文档C2C交易模式，即用户上传的文档直接被用户下载，本站只是中间服务平台，本站所有文档下载所得的收益归上传人(含作者)所有。玖贝云文库仅提供信息存储空间，仅对用户上传内容的表现方式做保护处理，对上载内容本身不做任何修改或编辑。若文档所含内容侵犯了您的版权或隐私，请立即通知玖贝云文库，我们立即给予删除！

计算理论计算理论1章绪论

相关推荐

开通VIP享超值会员特权

作者详情

相关内容

热门标签

举报选择: