图灵的秘密

格式:EPUB
类型:文字版

出版信息

作者: Charles Petzold
出版社: 人民邮电出版社
副标题: 他的生平、思想及论文解读
原作名: The Annotated Turing
译者: 杨卫东
出版年: 2012-11
页数: 344
定价: 69.00元
丛书: 图灵新知
ISBN: 9787115282149

简介

图灵机是英国数学家阿兰•图灵提出的一种抽象计算模型,本书深入剖析了图灵这篇描述图灵机和可计算性的原始论文《论可计算数及其在判定性问题上的应用》。书中在详解论文的同时,也附带了大量的历史背景资料、图灵的个人经历,以及图灵机对于人们理解计算机、人类意识和宇宙所产生的影响。 本书适合所有计算机科学专业的学生、程序员或其他技术人员,同时也适合欲了解图灵生平及其构建图灵机的思维的读者阅读。

目录

第一部分  基    础
第1章  这个墓穴埋葬着丢番图  2
第2章  无理数和超越数  10
第3章  几个世纪以来的发展  28
第二部分  可计算数
第4章  图灵的学业  48
第5章  运作的机器  69
第6章  加与乘  86
第7章  子程序  97
第8章  万物皆数字  114
第9章  通用机  130
第10章  计算机与可计算性  150
第11章  机器与人  175
第三部分  判定性问题
第12章  逻辑与可计算性  188
第13章  可计算函数  216
第14章  主要证明  244
第15章  λ演算  266
第16章  对连续统的设想  285
第四部分  题外话
第17章  万物皆是图灵机?  310
第18章  长眠的丢番图  333
参考文献  341

下载