图灵机是英国数学家阿兰·麦席森·图灵提出的一种抽象计算模型，本书深入剖析了图灵这篇描述图灵机和可计算性的原始论文《论可计算数及其在判定性问题上的应用》。书中在详解论文的同时，也附带了大量的历史背景资料、图灵的个人经历，以及图灵机对于人们理解计算机、人类意识和宇宙所产生的影响。本书适合所有计算机科学专业的学生、程序员或其他技术人员，同时也适合欲了解图灵生平及其构建图灵机的思维的读者阅读。复活战士
目录
七五期间等量分流器>救灾捐赠管理办法第一部分基础
第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
DMF
第16章对连续统的设想285
第四部分题外话
第17章万物皆是图灵机？310
第18章长眠的丢番图333
作品评价
《图灵的秘密》由Windows编程大师Charles Petzold耗时多年编写的这本书剖析了
现代计算机原理开山之作、阿兰·麦席森·图灵流芳百世的论文“On Computable Numbers,
。图灵在其中描述了一种假想的计算机器，with an Application to the Entscheidungsproblem”
探索了其功能和内在的局限性，由此建立了现代程序设计和可计算性的基础。这本书也像是一本小说，行文间穿插讲述了图灵的成长经历和教育背景，以及他跌宕起伏的一生，包括破解德国恩尼格密码的传奇经历，他对人工智能的探索，他的性取向，以及最终因同性恋的罪 名而在41岁时自杀的悲惨结局。全书完整揭示了阿兰·图灵非凡、传奇而悲剧的一生，是了解图灵的思
想和生平的极好著作。
作者简介
蔡澜食材字典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
，学习Win32 API编程的人几乎都从这本书入手。
API编程经典，也称为“Petzold Book”
豫公网安备41160202000603
站长QQ:729038198
关于我们
投诉建议