作者:
[美] Charles Petzold 译者:
杨卫东 出版社:人民邮电出版社 出品方:图灵新知 出版年: 2012-11 ISBN: 9787115282149 页数: 344 定价: 69.00元 原作名: The Annotated Turing: A Guided Tour Through Alan Turing's Historic Paper on Computability and the Turing Machine
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 有用 Ⅎ 2014-04-04 18:07:38
结尾比较有趣
2 有用 劈头士》睁木 2015-07-07 23:03:51
哎哟,多看限时借阅,但我一定要去入一本实体书!生平少,论文解读多。可以作为【素材】,但是具体怎么用,完全没头脑。非再细读弄透彻不可!
1 有用 zzl 2012-06-10 10:22:16
学《可计算性与计算复杂性》的时候读过这本书的英文版,故事精彩,讲解清晰。
0 有用 不是野兽的猫 2013-05-27 15:07:59
对于我是数学再启蒙
0 有用 Nanccccccy 2015-03-10 23:06:58
然并卵。还是看纸质好了。