图灵的秘密

图灵的秘密

作者:[美] 佩措尔德

出版社:人民邮电

出版年:2012年11月

评分:7.6

ISBN:9787115282149

所属分类:人物传记

书刊介绍

《图灵的秘密》内容简介

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

相关推荐

微信二维码