拉普拉斯小妖 2019-11-07 13:55:08

---

图灵的秘密
他的生平、思想及论文解读
作者〔美〕佩措尔德
译者杨卫东
类别 出版 / 非虚构
出版社人民邮电出版社 / 2012-11
提供方图灵社区
字数约 216,000 字
ISBN9787115282149
7.612 人评价
8.8409 评价豆瓣读书分享分享到豆瓣分享到微信分享到微博分享到QQ好友分享到QQ空间
免费试读
全本定价￥30.00￥16.99购买电子书
特价今日特价截止至：2019-11-08 02:00:00了解详情
作品简介
图灵机是英国数学家阿兰·图灵提出的一种抽象计算模型，本书深入剖析了图灵这篇描述图灵机和可计算性的原始论文《论可计算数及其在判定性问题上的应用》。
书中在详解论文的同时，也附带了大量的历史背景资料、图灵的个人经历，以及图灵机对于人们理解计算机、人类意识和宇宙所产生的影响。 本书适合所有计算机科学专业的学生、程序员或其他技术人员，同时也适合欲了解图灵生平及其构建图灵机的思维的读者阅读。
Charles Petzold
Windows编程界大师,世界顶级技术作家。1994年5月，Petzold作为仅有的七个人之一（并且是唯一的作家）被《Window
Magazine》和Microsoft公司授予Windows Pioneer奖，以表彰他对 Microsoft
Windows的成功做出的贡献。Charles Petzold从1984年开始编写个人计算机程序，从1985年开始编写 Microsoft
Windows程序。他在《Microsoft Systems Joumal》1986年
12月号上发表了第一篇关于Windows程序设计的杂志论文。从1986年到1995年，他为《PC
Magazine》撰写“Environments”专栏，给读者介绍了Windows和OS/2程序设计的许多方面。 直到今天他依然维持
Windows GDI 程序设计首席技术作家的地位。其大作：《Windows程序设计》是尽人皆知的Win32
API编程经典，也称为“Petzold Book”，学习Win32 API编程的人几乎都从这本书入手。
收起
作品目录
引 言
第一部分 基 础
第1章 这个墓穴埋葬着丢番图
第2章 无理数和超越数
第3章 几个世纪以来的发展
第二部分 可计算数
第4章 图灵的学业
第5章 运作的机器
第6章 加与乘
第7章 子程序
第8章 万物皆数字
第9章 通用机
第10章 计算机与可计算性
第11章 机器与人
第三部分 判定性问题
第12章 逻辑与可计算性
第13章 可计算函数
第14章 主要证明
第15章 λ演算
第16章 对连续统的设想
第四部分 题外话
第17章 万物皆是图灵机？
第18章 长眠的丢番图
参考文献