图书介绍
论可计算数 图灵与现代计算的诞生PDF|Epub|txt|kindle电子书版本网盘下载
- （美）克里斯·伯恩哈特（Chris Bernhardt）著 著
- 出版社： 中信出版集团
- ISBN：9787508666105
- 出版时间：2016
- 标注页数：248页
- 文件大小：19MB
- 文件页数：266页
- 主题词：可计算性－研究
PDF下载
下载说明
论可计算数 图灵与现代计算的诞生PDF格式电子书版下载
下载的文件为RAR压缩包。需要使用解压软件进行解压得到PDF格式图书。建议使用BT下载工具Free Download Manager进行下载,简称FDM(免费,没有广告,支持多平台）。本站资源全部打包为BT种子。所以需要使用专业的BT下载软件进行下载。如BitComet qBittorrent uTorrent等BT下载工具。迅雷目前由于本站不是热门资源。不推荐使用！后期资源热门了。安装了迅雷也可以迅雷进行下载！
（文件页数 要大于 标注页数，上中下等多册电子书除外）
注意：本站所有压缩包均有解压码： 点击下载压缩包解压工具
图书目录
第一章 背景4
数学的确定性4
布尔逻辑8
数学逻辑10
逻辑机器11
保卫数学基础12
希尔伯特的方法14
哥德尔结论16
图灵的结论16
第二章 一些不可判定的判定问题25
埃米尔·波斯特25
波斯特的对应问题26
一个算法30
含有更多符号的对应问题32
希尔伯特的第10个问题34
停机问题36
剑桥的图灵36
第三章 有限自动机43
有限自动机43
我们的第一个机器44
字母表和语言46
有限自动机和回答问题49
问题的否定51
忽略图表中的陷阱52
一些基本事实54
正则表达式57
有限自动机的瓶颈62
同样数量的0和163
平衡括号64
磁带和配置65
联系对应问题67
第四章 图灵机79
图灵机的例子79
可计算函数和计算88
邱奇一图灵论题90
计算能力92
多项式时间93
非确定性图灵机95
不会停机的机器97
第五章 其他计算系统106
λ积分106
皮亚诺算术108
λ积分和函数109
算术110
逻辑112
标签系统114
一维元胞自动机119
第六章 编码和通用机器129
编码有限自动机的方法129
通用机器133
设计通用机器136
现代计算机是图灵机138
冯·诺依曼结构140
随机存取机器142
图灵机能够模拟RAM145
其他通用机器147
当我们把〈M〉输入M的时候会发生什么149
第七章 不可判定的问题155
矛盾证明法155
罗素的理发师158
不接纳自己的编码的有限自动机161
不接纳自己的编码的图灵机162
“图灵机是否会在自己的编码上偏离”是不可判定的164
接纳、停机和空白磁带问题166
一个不可计算函数168
图灵的方法170
第八章 康托尔的对角论证法177
基数177
有理数的子集拥有相同的基数179
希尔伯特旅馆182
定义不完善的减法184
一般对角论证184
康托尔定理186
实数的基数189
对角论证法193
连续统假设195
计算的基数195
可计算数197
一个非可计算数198
存在可数数量的可计算数199
可计算数无法有效枚举200
第九章 图灵的遗产206
图灵在普林斯顿大学206
克劳德·香农208
第二次世界大战209
20世纪40年代的计算机发展213
克兰德·楚泽214
莫奇利和艾克特214
冯·诺依曼215
图灵测试218
陨落221
道歉和赦免223
拓展阅读227
注释231