书籍 图灵的秘密的封面

图灵的秘密

[美] 佩措尔德

出版时间

2012-11-01

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章 几个世纪以来的发展

显示全部
用户评论
结尾比较有趣
我就剩最后的谓词逻辑部分了。我当时看得时候,豆瓣阅读还没有公式支持,脑补Latex的好嘛!现在都要上了……最近头疼,谓词部分算是看不完了。但是现在依然权当作看过吧。非常棒的书!很多细节我都略过了,但是我已经完完全全知道了「图灵完备」的思想和证明思路。不过我这么多年的学习经验告诉我,略懂,绝对不是懂。但是我只能到这一步了。
对于我是数学再启蒙
触到了Turing最初的想法
分刷这么高也太假了
Charles Petzold 不是写 windows 编程的吗?怎么开始给图灵写传记,去研究可计算性了
这本书应该改名叫图 灵 章 句 集 解
讲了图灵的生平,以及介绍了图灵机。不过看完后还是没办法说清楚图灵机到底是什么。那篇图灵机的论文谁看明白了吗?
大概翻完了,没有很多收获。
必须5分,虽然我只看懂了一半
Z-Library