图灵的秘密
￥ 44.97 6.5折 ￥ 69 九五品
仅1件
作者[美] Charles Petzold 著,杨卫东, 朱 皓
出版社人民邮电出版社
ISBN9787115282149
出版时间2012-11
版次1
装帧平装
开本16开
纸张胶版纸
页数344页
字数99999千字
定价69元
上书时间2024-12-16
商品详情
- 品相描述：九五品
- 商品描述
-
基本信息
书名:图灵的秘密
定价：69元
作者:[美] Charles Petzold 著,杨卫东, 朱 皓 等译
出版社：人民邮电出版社
出版日期：2012-11-01
ISBN：9787115282149
字数：428000
页码：344
版次：1
装帧：平装
开本：16开
商品重量：
编辑推荐
内容提要
在数字计算机出现之前，阿兰?图灵就预想了它们的功能和通用性……也证明了哪些事是计算机永远做不了的。 由Windows编程大师Charles Petzold耗时多年编写的这本书剖析了现代计算机原理开山之作、阿兰?图灵流芳百世的论文“On Computable Numbers, with an Application to theEntscheidungsproblem”。图灵在其中描述了一种假想的计算机器，探索了其功能和内在的局限性，由此建立了现代程序设计和可计算性的基础。这本书也像是一本小说，行文间穿插讲述了图灵的成长经历和教育背景，以及他跌宕起伏的一生，包括破解德国恩尼格密码的传奇经历，他对人工智能的探索，他的性取向，以及终因的罪名而在41岁时自杀的悲惨结局。全书完整揭示了阿兰?图灵非凡、传奇而悲剧的一生，是了解图灵的思想和生平的极好著作。阿兰·图灵（1912—1954）是英国数学家、逻辑学家，被称为计算机科学之父、人工智能之父，是计算机逻辑的奠基者，提出了“图灵机”和“图灵测试”等重要概念。为纪念他在计算机领域的贡献，美国计算机协会于1966年设立图灵奖，此奖项被誉为计算机科学界的诺贝尔奖。
目录
部分 基 础章 这个墓穴埋葬着丢番图 第2章 无理数和超越数 第3章 几个世纪以来的发展 第二部分 可计算数第4章 图灵的学业 第5章 运作的机器 第6章 加与乘 第7章 子程序 第8章 万物皆数字 第9章 通用机 0章 计算机与可计算性 1章 机器与人 第三部分 判定性问题2章 逻辑与可计算性 3章 可计算函数 4章 主要证明 5章 λ演算 6章 对连续统的设想 第四部分 题外话7章 万物皆是图灵机？ 8章 长眠的丢番图 参考文献
作者介绍
Charles Petzold Windows编程大师、世界顶级技术作家、微软资深MVP，拥有25年的Windows编程经验。1994年5月，Petzold作为的作家，获得由微软公司和WindowMagazine授予的Windows 先锋奖（仅7人获奖），直到今天，他依然是Windows GDI程序设计首席技术作家。他出版过十几本著作，其中包括Win32 API编程经典《Windows程序设计》、《编码》等。 历届图灵奖得主名单 ◎ 1966 A. J. Perlis 高级编程技术和编译器架构 ◎ 1967 Maurice V. Wilkes 设计出台具有内置存储程序的计算机EDSAC ◎ 1968 Richard W. Hamming 数值方法、自动编码系统、错误检测及错误校验码 ◎ 1969 Marvin Minsky 创造、推进和提升人工智能 ◎ 1970 J. H. Wilkinso 利用数值分析方法来促进高速数字计算机的应用 ◎ 1971 John McCarthy 人工智能 ◎ 1972 Edsger W. Dijkstra 编程语言 ◎ 1973 Charles W. Bachma 数据库 ◎ 1974 Donald E. Knuth 算法分析和程序设计语言，“计算机程序设计艺术”丛书 ◎ 1975 Allen Newell和Herbert A. Simo 人工智能、人类认知心理学和表处理 ◎ 1976 Michael O. Rabin和Dana S. Scott 非确定性机器 ◎ 1977 John Backus 可用的高级编程系统设计 ◎ 1978 Robert W. Floyd 软件编程的算法，语法分析理论、编程语言的语义和算法分析等多项计算机子学科的创立 ◎ 1979 Kenneth E. Iverso 程序设计语言理论、交互系统及APL ◎ 1980 C. Antony R. Hoare 编程语言的定义和设计 ◎ 1981 Edgar F. Codd 数据库管理系统的理论和实践 ◎ 1982 Stephen A. Cook 奠定了NP完全性理论的基础 ◎ 1983 Dennis M. Ritchie和Kenneth L. Thompso 一般操作系统理论，对UNIX操作系统的推广 ◎ 1984 Niklaus E.Wirth 开发了EULER、ALGOL-W、MODULA和PASCAL等一系列崭新的计算机语言 ◎ 1985 Richard M. Karp 算法理论 ◎ 1986 John E. Hopcroft和Robert E. Tarja 在算法及数据结构的设计和分析中取得了决定性成果 ◎ 1987 John Cocke 编译器的理论和设计，大系统体系结构，精简指令集计算机的开发 ◎ 1988 Ivan E. Sutherland 计算机图形学 ◎ 1989 William V. Kaha 数值分析 ◎ 1990 Fernando J. Corbato 组织通用、大规模、分时和资源共享的兼容分时系统和Multics的开发 ◎ 1991 Robin W.Milner 可计算函数逻辑（LCF）、ML和并行理论（CCS） ◎ 1992 Butler Lampso 分布式个人计算机系统 ◎ 1993 Jurlis Hartmanis和Richard E. Stearns 奠定了计算复杂性理论的基础 ◎ 1994 Raj Reddy和Edward Feigenbaum 对大型人工智能系统的开拓性研究 ◎ 1995 Manuel Blum 奠定了计算复杂性理论的基础，密码术及程序校验 ◎ 1996 Amir Pnueli 在计算中引入时序逻辑、程序及系统检验 ◎ 1997 Douglas Engelbart 提出交互计算概念并创造出实现这一概念的重要技术 ◎ 1998 James Gray 数据库和事务处理 ◎ 1999 Frederick P. Brooks, Jr. 计算机体系结构、操作系统、软件工程 ◎ 2000 姚期智（Andrew Chi-Chih Yao） 计算理论方面的基础性工作 ◎ 2001 Ole-Johan Dahl和Kristen Nygaard 面向对象程序设计思想 ◎ 2002 Ronald L. Rivest、Adi Shamir和Leonard M.Adelma 公共密钥算法（RSA） ◎ 2003 Alan Kay 发明个完全面向对象的动态计算机程序设计语言Smalltalk ◎ 2004 Vinton G. Cerf和Robert E. Kah 在互联网方面的开创性工作 ◎ 2005 Peter Naur Algol 60语言 ◎ 2006 Frances E. Alle 编译器优化理论和实践（她是图灵奖位女性得主） ◎ 2007 Edmund M. Clarke、Allen Emerson和JosephSifakis 将模型校验推广成软硬件工业中广泛采用的高效校验技术 ◎ 2008 Barbara Liskov 编程语言和系统设计的实践与理论基础 ◎ 2009 Charles P. Thacker 台现代个人计算机Alto之父 ◎ 2010 Leslie L.Valiant 人工智能、自然语言处理和手写识别等大量革新技术 ◎ 2011 Judea Pearl 通过或然性积分和随机推理对人工智能做出贡献
序言
-
【封面】
— 没有更多了 —
以下为对购买帮助不大的评价