作者:
Charles Petzold 出版社:人民邮电出版社 出品方:图灵新知 副标题: 他的生平、思想及论文解读 原作名: The Annotated Turing: A Guided Tour Through Alan Turing's Historic Paper on Computability and the Turing Machine 译者:
杨卫东 出版年: 2012-11 页数: 344 定价: 69.00元 ISBN: 9787115282149
Charles Petzold 是 Windows 编程界大师、世界顶级技术作家。1994年5月,Petzold 作为仅有的七个人之一(并且是唯一的作家)被 Window Magazine 和 Microsoft 公司授予 Windows Pioneer 奖,以表彰他对 Microsoft Windows 的成功做出的贡献。Petzold 从1984年开始编写个人计算机程序,从1985年开始编写 Microsoft Windows 程序。他在 Microsoft Systems Joumal 1986年12月号上发表了第一篇关于 Windows 程序设计的杂志论文。从1986年到1995年,他为 PC Magazine 撰写 Environments 专栏,给读者介绍了 Windows 和 OS/2 程序设计的许多方面。 直到今天他依然维持 Wind...
Charles Petzold 是 Windows 编程界大师、世界顶级技术作家。1994年5月,Petzold 作为仅有的七个人之一(并且是唯一的作家)被 Window Magazine 和 Microsoft 公司授予 Windows Pioneer 奖,以表彰他对 Microsoft Windows 的成功做出的贡献。Petzold 从1984年开始编写个人计算机程序,从1985年开始编写 Microsoft Windows 程序。他在 Microsoft Systems Joumal 1986年12月号上发表了第一篇关于 Windows 程序设计的杂志论文。从1986年到1995年,他为 PC Magazine 撰写 Environments 专栏,给读者介绍了 Windows 和 OS/2 程序设计的许多方面。 直到今天他依然维持 Windows GDI 程序设计首席技术作家的地位。其著作《Windows程序设计》是尽人皆知的 Win32 API 编程经典。
The x that I've been using in these formulas is known as a bound variable because it is attached to the quantifier. It serves the same role as a variable function argument. Any variable that is not part of a universal or existential quantifier is known as a free variable. In the following formula, x is bound but y is free: (Ex)Loves(x, y) (查看原文)
Charles Petzold确实是一位大牛,作为windows程序员来说,《Windows程序设计》是一本经典之中的经典。不过对于我来说,熟悉大牛的深入浅出式的说明还是在《编码的奥秘》这本书(原句叫 coding,现在再版,书名叫《编码》),在那本书里面,指引着我们寻找计算机制造的基本原理...
(展开)
0 有用 睡沙发の小禹 2013-12-16 21:42:48
我就剩最后的谓词逻辑部分了。我当时看得时候,豆瓣阅读还没有公式支持,脑补Latex的好嘛!现在都要上了……最近头疼,谓词部分算是看不完了。但是现在依然权当作看过吧。非常棒的书!很多细节我都略过了,但是我已经完完全全知道了「图灵完备」的思想和证明思路。不过我这么多年的学习经验告诉我,略懂,绝对不是懂。但是我只能到这一步了。
0 有用 Silvery 2013-07-11 17:25:37
触到了Turing最初的想法
4 有用 国王KING 2015-09-01 06:56:32
靠被骗了……这是数学啊啊啊
0 有用 宇宙 2013-07-25 03:22:38
#纸质书# #多看# 准备再读一遍。。。果然再读一遍
0 有用 Nanccccccy 2015-03-10 23:06:58
然并卵。还是看纸质好了。
0 有用 autumn 2024-02-21 16:07:01 四川
书是好书 我还差得远 看不太懂
0 有用 张书画 2024-01-17 14:04:07 北京
俏皮话与硬知识
0 有用 髙喵喵 2023-10-14 23:56:42 北京
中间大量证明读了几行就注意力涣散于是最后并没有记忆点,我的问题。书本身后面几章结尾的地方写的比较混乱了。
0 有用 林鸽🎀 2023-02-25 15:21:47 山东
应该改名叫“《论可计算数及其判定性问题中的应用》精读”。截取论文原文,翻译,详细解读,最后进行评述。还会把论文中不存在的“纸带”画出来。并且结合当时那个年代其他数学家的工作,以及后来的科学家对这篇文章的解构与超越。这个书不是我能看的,但还是看完了。传说中那个无限长的纸带,那可以左移右移或者不移动,可以打印或者不打印的读写头,简单可爱,是一切的开始。看完以后发现,做梦!简直是复杂极了,想让它做个加减... 应该改名叫“《论可计算数及其判定性问题中的应用》精读”。截取论文原文,翻译,详细解读,最后进行评述。还会把论文中不存在的“纸带”画出来。并且结合当时那个年代其他数学家的工作,以及后来的科学家对这篇文章的解构与超越。这个书不是我能看的,但还是看完了。传说中那个无限长的纸带,那可以左移右移或者不移动,可以打印或者不打印的读写头,简单可爱,是一切的开始。看完以后发现,做梦!简直是复杂极了,想让它做个加减乘除得写八百行指令表,一箩筐符号,但是每一步都是如此坚实。判定性问题的证明到了第十节才出现,他可能已经被那个机器的无穷潜力所吸引吧,他所定义的那些东西超越了时代,很多概念现在还在用。我心想,这是图灵从零开始的育儿指南。然而译名很奇怪哎。这么多传记电影话剧小说下来,他老人家哪还有秘密了。(逃 (展开)
0 有用 Axiom-Eureka 2023-02-01 11:17:48 北京
Universal Turing Machine(经过一整本书详细解读的论文,仍然看不懂);后人借助他用无与伦比的想象力创造出来的翅膀才得以继续探索人类智慧的潜力和局限,并追求人类智慧在逻辑和数学上的意义。