登入帳戶　 |　訂單查詢　 |　購物車/收銀台(0)　|　在線留言板　 |　付款方式　 |　聯絡我們　 |　運費計算　 |　幫助中心　|　 加入書簽
	全部範圍 - 圖書 - 　- 中文簡體書(大陸書) - 　- 英文書（原版） - - 音碟 - 　- 音樂 - 　- 影視 - - 雜誌 - 全文 精確	會員登入 新註冊 |　新用戶登記

HOME新書上架暢銷書架好書推介特價區會員書架精選月讀2023年度TOP分類閱讀雜誌

香港／國際用戶

最新/最熱/最齊全的簡體書網

品種：超過100萬種書，正品正价，放心網購，悭钱省心

送貨：速遞 / EMS，時效：出貨後2-3日

新書推薦： 《 先进电磁屏蔽材料——基础、性能与应用 》 售價：NT$ 1010.0 《 可转债投资实战 》 售價：NT$ 454.0 《 王氏之死（新版，史景迁成名作） 》 售價：NT$ 250.0 《 敢为天下先：三年建成港科大 》 售價：NT$ 352.0 《 长高食谱 让孩子长高个的饮食方案 0-15周岁儿童调理脾胃食谱书籍宝宝辅食书 让孩子爱吃饭 6-9-12岁儿童营养健康食谱书大全 助力孩子身体棒胃口好长得高 》 售價：NT$ 214.0 《 身体自愈力：解决内在病因的身体智慧指南 》 售價：NT$ 449.0 《 非言语沟通经典入门：影响人际交往的重要力量（第7版） 》 售價：NT$ 561.0 《 山西寺观艺术壁画精编卷 》 售價：NT$ 7650.0

建議一齊購買： + NT$ 891 《 硅谷百年史——伟大的科技创新与创业历程（1900-2013） 》 + NT$ 1097 《 浪潮之巅 第二版（精装本） 》 + NT$ 642 《 信息简史【第一次为信息作史，媲美《时间简史》、《万物简史》的杰作】 》 + NT$ 549 《 腾云——云计算和大数据时代网络技术揭秘【国内第一本云计算网络书】 》 + NT$ 456 《 Wireshark数据包分析实战（第2版）（Wireshark第一书，信息安全从业人员必读） 》 內容簡介： 在数字计算机出现之前，阿兰?图灵就预想了它们的功能和通用性……也证明了哪些事是计算机永远做不了的。 由Windows编程大师Charles Petzold耗时多年编写的这本书剖析了现代计算机原理开山之作、阿兰?图灵流芳百世的论文 “On Computable Numbers, with an Application to the Entscheidungsproblem”。图灵在其中描述了一种假想的计算机器，探索了其功能和内在的局限性，由此建立了现代程序设计和可计算性的基础。这本书也像是一本小说，行文间穿插讲述了图灵的成长经历和教育背景，以及他跌宕起伏的一生，包括破解德国恩尼格密码的传奇经历，他对人工智能的探索，他的性取向，以及最终因同性恋的罪名而在41岁时自杀的悲惨结局。全书完整揭示了阿兰?图灵非凡、传奇而悲剧的一生，是了解图灵的思想和生平的极好著作。 阿兰·图灵（1912—1954）是英国数学家、逻辑学家，被称为计算机科学之父、人工智能之父，是计算机逻辑的奠基者，提出了“图灵机”和“图灵测试”等重要概念。为纪念他在计算机领域的卓越贡献，美国计算机协会于1966年设立图灵奖，此奖项被誉为计算机科学界的诺贝尔奖。 關於作者： Charles Petzold 　Windows编程大师、世界顶级技术作家、微软资深MVP，拥有25年的Windows编程经验。1994年5月，Petzold作为唯一的作家，获得由微软公司和Window Magazine授予的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. Wilkinson 　利用数值分析方法来促进高速数字计算机的应用 　◎ 1971 John McCarthy 　人工智能 　◎ 1972 Edsger W. Dijkstra 　编程语言 　◎ 1973 Charles W. Bachman 　数据库 　◎ 1974 Donald E. Knuth 　算法分析和程序设计语言，“计算机程序设计艺术”丛书 　◎ 1975 Allen Newell和Herbert A. Simon 　人工智能、人类认知心理学和表处理 　◎ 1976 Michael O. Rabin和Dana S. Scott 　非确定性机器 　◎ 1977 John Backus 　可用的高级编程系统设计 　◎ 1978 Robert W. Floyd 　软件编程的算法，语法分析理论、编程语言的语义和算法分析等多项计算机子学科的创立 　◎ 1979 Kenneth E. Iverson 　程序设计语言理论、交互系统及APL 　◎ 1980 C. Antony R. Hoare 　编程语言的定义和设计 　◎ 1981 Edgar F. Codd 　数据库管理系统的理论和实践 　◎ 1982 Stephen A. Cook 　奠定了NP完全性理论的基础 　◎ 1983 Dennis M. Ritchie和Kenneth L. Thompson 　一般操作系统理论，对UNIX操作系统的推广 　◎ 1984 Niklaus E.Wirth 　开发了EULER、ALGOL-W、MODULA和PASCAL等一系列崭新的计算机语言 　◎ 1985 Richard M. Karp 　算法理论 　◎ 1986 John E. Hopcroft和Robert E. Tarjan 　在算法及数据结构的设计和分析中取得了决定性成果 　◎ 1987 John Cocke 　编译器的理论和设计，大系统体系结构，精简指令集计算机的开发 　◎ 1988 Ivan E. Sutherland 　计算机图形学 　◎ 1989 William V. Kahan 　数值分析 　◎ 1990 Fernando J. Corbato 　组织通用、大规模、分时和资源共享的兼容分时系统和Multics的开发 　◎ 1991 Robin W.Milner 　可计算函数逻辑（LCF）、ML和并行理论（CCS） 　◎ 1992 Butler Lampson 　分布式个人计算机系统 　◎ 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. Adelman 　公共密钥算法（RSA） 　◎ 2003 Alan Kay 　发明第一个完全面向对象的动态计算机程序设计语言Smalltalk 　◎ 2004 Vinton G. Cerf和Robert E. Kahn 　在互联网方面的开创性工作 　◎ 2005 Peter Naur 　Algol 60语言 　◎ 2006 Frances E. Allen 　编译器优化理论和实践（她是图灵奖第一位女性得主） 　◎ 2007 Edmund M. Clarke、Allen Emerson和Joseph Sifakis 　将模型校验推广成软硬件工业中广泛采用的高效校验技术 　◎ 2008 Barbara Liskov 　编程语言和系统设计的实践与理论基础 　◎ 2009 Charles P. Thacker 　第一台现代个人计算机Alto之父 　◎ 2010 Leslie L.Valiant 　人工智能、自然语言处理和手写识别等大量革新技术 　◎ 2011 Judea Pearl 　通过或然性积分和随机推理对人工智能做出贡献 目錄： 第一部分　基础 第1章　这个墓穴埋葬着丢番图 第2章　无理数和超越数 第3章　几个世纪以来的发展 第二部分　可计算数 第4章　图灵的学业 第5章　运作的机器 第6章　加与乘 第7章　子程序 第8章　万物皆数字 第9章　通用机 第10章　计算机与可计算性 第11章　机器与人 第三部分　判定性问题 第12章　逻辑与可计算性 第13章　可计算函数 第14章　主要证明 第15章　λ演算 第16章　对连续统的设想 第四部分　题外话 第17章　万物皆是图灵机？ 第18章　长眠的丢番图 参考文献 內容試閱： 第1章 　这个墓穴埋葬着丢番图 　在很多个世纪以前的古亚历山大，一位老人埋葬了自己的儿子。这位心碎的老人为了转移自己的悲伤，开始整理大量的代数问题，并将这些问题及其解法汇编成书，取名《算术》（Arithmetica）。这些就是人们对亚历山大的丢番图几乎所有的了解，而这些了解绝大多数来自其好友在他去世后不久所写的一个谜题： 　行人啊，请稍驻足，这里埋葬着丢番图。上帝赋予他一生的六分之一，享受童年的幸福；再过十二分之一，两颊长胡；又过了七分之一，燃起结婚的蜡烛。爱子的降生盼了五年之久，可怜那迟来的儿郞啊，只活到父亲岁数的一半，便进入冰冷的坟墓。悲伤只有通过数学来消除，四年后，他自己也走完了人生旅途。 　这篇墓志铭对丢番图儿子的死亡说得不是很清楚。其中提到，他只活到了“父亲岁数的一半”，但这是指儿子死时父亲年龄的一半，还是指他父亲寿命的一半？不论怎样理解，都可以解答。但如果是后一种理解“只活到他父亲寿命的一半”，我们得出的岁数会是一个漂亮而又简洁的整数。 　我们假设丢番图的寿命为x。丢番图生命中每个时期的年数要么是他寿命的几分之几（例如，x除以6是他的童年时光），要么是一个整数（例如，从他结婚到儿子出生有5年的时光）。丢番图生命中所有时期的年份之和为x，所以这个谜题可以用下面这个简单的代数式来表示： 　所有分母的最小公倍数是84，将等号两边同时乘以84得到： 　分别整理带有x的项和常数项，得到： 　即： 　方程的解是： 　所以，丢番图的童年时光是14年，7年后他长大成人。又过了12年，在33岁的时候，他结了婚，5年后有了儿子。儿子死于42岁，丢番图当时80岁，4年后丢番图去世。 　事实上，有一个更快捷的方法来解这个谜题：如果深入探索出题人的内心想法，你就会发现他并不想用分数来增加麻烦。丢番图寿命的“十二分之一”和“七分之一”必然是整数，所以他的寿命年数一定可以被7和12整除（自然也会被2和6整除）。只需将12乘以7就能得到84。这个看起来也像是合适的高龄岁数，所以它极有可能是对的。 　丢番图去世时也许是84岁，但是对于历史来说，更重要的问题是找到具体时间。人们曾经猜测，丢番图的时代是在公元前150年到公元280年之间，那是一个令人向往的时期。这样的话，丢番图就活在欧几里得（活跃在约公元前295年）和埃拉托色尼（约公元前276—前195年）等早期亚历山大数学家们之后，这也说明他与亚历山大的海伦（活跃在公元62年）处于同一时期。海伦的著作涉及了力学、气体力学以及自动控制，他似乎还发明了一种原始蒸汽机。丢番图也许还认识那位凭著作《天文学大成》而被世人铭记的亚历山大天文学家托勒密（约公元100—170）。那本书包含了世界上第一个三角函数表，并且建立了直到十六七世纪哥白尼革命时才被推翻的描述天体运动的数学。 　不幸的是，丢番图也许从未见过这些亚历山大的数学家和科学家们。过去一百多年来，古典学者们之间的共识是，丢番图大约活跃在公元250年，他现存的主要著作《算术》很可能也追溯到那个时期。这样的话，丢番图的出生时间大概是在托勒密去世时间的前后。曾经编辑了权威的希腊版《算术》（1893~1895年出版）的保罗?塔纳里注意到，这本书写着献给“尊敬的狄奥尼修”。虽然这是一个常用名，但塔纳里猜测，这个狄奥尼修就是那个曾在公元232~247年担任亚历山大传道学校校长，以及之后在公元248~265年担任亚历山大主教的狄奥尼修。因此，丢番图可能是个基督徒。如果是这样，下面这一事实就有点讽刺意味了：对《算术》的一个早期但遗失了的评注是由塞翁的女儿希帕蒂亚（约公元370—415）所写的，她是亚历山大最后一位伟大的数学家，后来被一帮反对她“异教徒”哲学思想的基督教暴徒杀害。 　古希腊数学家在几何学和天文学领域一直是最强的。丢番图在种族上是希腊人，但与众不同的是，他用“数字的科学”，即我们所知的代数，来缓解儿子去世的悲痛。他似乎是代数上很多创新的源头，包括他在问题中使用的符号和缩写，这标志着数学问题从文字描述到现代代数表示法的转变。 　《算术》的6本书（原来是13本）中罗列的问题一道比一道难，大部分都难于求解丢番图年龄的问题。丢番图的问题常常含有多个未知量。他的一些问题是不定的，也就是说这些问题通常有多个解。《算术》中只有一个问题不是抽象的，也就是说其他问题都是绝对数字化、不指代现实事物的。 　丢番图提及的另一个抽象元素是幂。那个时候，数学家们已经熟悉了平方和立方。平方用来计算一个平面图形的面积，立方用来计算一个实体的体积。但是丢番图将高次方引入了他的问题：4次方（他称为“平方?平方”）、5次方（他称为“平方?立方”）和6次方（他称为“立方?立方”）。丢番图知道，这些幂与现实没有关联性，并且他也不在乎这种数学的实用性。这是纯粹的娱乐性数学，仅仅用来强化思维，没有别的目的。 　这里列举第4本书中的第一个问题。 丢番图先是概括地阐述了： 　将一个已知数拆分成为两个立方体的体积，并且这两个立方体的边之和等于另一个已知数。 　接着给出了例子： 　已知数为370，边长之和是10。 　将这个问题用图表示后可见，他需要处理两个不同边长的立方体。现代代数学家可以将这两个立方体的边标记为x和y： 　 　这两条边加起来为10。这两个立方体的体积之和（ 和 ）是370。我们现在写下两个等式： 　 　由第一个等式得出，y等于 ，将其代入第二个等式： 　 　展开 ，我们希望立方项最终可以消失： 　 　很幸运，立方项消失了，经过整理后可以得到： 　 　等式左边的3个数有一个公因数，所以可以同时除以30： 　 　现在，这个问题基本解决了。你有两个选择。如果记得二次方程的求根公式就可以直接使用它；或者，如果你曾经练习过求解类似的方程，就可以一直盯着它思索，直到它自己神奇地分解成 　 　因此两个边的长度分别为7和3。的确，这两个边加起来等于10，它们的立方（343和27）和等于370。 　丢番图并不像你我这样解决这个问题，他确实不会。尽管丢番图的问题经常涉及多个未知数，但是他的记号只允许他表达一个未知数。他用了一个巧妙的方法弥补了这一点。他没有将两个立方体的边长标记为x和y，而是标记为5+x和。这两个边长可以用一个未知数x表示，并且加起来确实等于10。接下来，他就可以将这两条边进行立方运算，相加后等于370： 　 　这个式子看起来比我们的糟，但是如果展开这些立方，一些项便会迅速消去，只留下： 　 　合并同类项，方程两边再同除以30，进一步化简为： 　 　即x=2。因为两条边是5+x和 ，所以这两条边是7和3。 　丢番图用来解决这个问题的方法比现在学生用的方法轻松，他神奇并正确地将两个边长用一个未知数表示。这个方法会适用于下一个问题吗？也许可以，也许不可以。建立解决代数方程的通用方法确实不是丢番图所要考虑的。正如一位数学家论述的：“每一个问题都需要一个十分具体的方法，这个方法通常连最类似的问题都不适用。这使得现代数学家即使在研究了100道丢番图问题的解答后，还是很难找到解决第101道题的方法。” 　当然，丢番图在展示这个立方之和为370、边长之和为10的问题时，显然并不是随意选取某些数字，他知道这些假设条件将会导出一个整数解。实际上，丢番图方程就是指只允许整数解的代数方程。丢番图方程可以有很多未知量，这些未知量可以带有整数幂，但是它的解（如果有）总是整数。尽管丢番图经常使用减法来命题，但是他的解从不涉及负数。“对于一个没有用任何正整数相减就得到的负整数本身，丢番图显然没有任何概念。” 任何一道问题也不会包含有0的解，古希腊人不将0考虑在内。 　现代读者们，特别是那些已经默认了丢番图问题只有整数解的人，在遇到丢番图问题中的有理数时也许会有点吃惊。有理数之所以这样命名，不是因为它们在某种程度上符合逻辑，而是因为它们可以表示为两个整数的比。例如： 　 　就是一个有理数。 　在《算术》中，有理数只出现在涉及现实物体的问题中，特别是那些一直被大家津津乐道的问题：饮料和德拉克马（古希腊货币）。虽然从这个问题的描述里看不出来，但是有理数在这个解中是必需的： 　一个人买了若干份酒，有些单价是8德拉克马，有些是5德拉克马。他为这些酒支付的德拉克马是个平方数，如果这个数再加上60，结果还是一个平方数，该平方数的根是这些酒的份数。求两类酒他各买了多少。 　这里的“平方数”是指一个数与它自身的积。例如，25是一个平方数，因为它等于5乘以5。 　在进行了一整页的计算后， 它揭示了单价5德拉马克的数量是一个有理数： 　 　单价8德拉马克的数量也是一个有理数： 　 　我们检验一下这个结果。（检验这个结果要比推导它容易得多。）如果你用5德拉马克乘以7912，然后加上8德拉马克乘以5912的积，就会发现这个人总共支付了德拉马克。丢番图说这个人支付了“平方数的钱”。支付的钱数必须是某个数的平方。令人好奇的是，丢番图认为是个平方数，因为它可以表示为： 　 　分母和分子都是平方数：分别是17和2的平方。因此， 是（即）的平方。丢番图进一步说：“如果这个数再加上60，结果还是一个平方数，该平方数的根是整个酒的数量。”这里的“整个”不是指整数。丢番图（或者说是《算术》英文版的译者托马斯?哈斯爵士）的意思是指度量的总份数。60加是，也就是有理数： 　 　丢番图再一次认为这个数是平方数，因为它的分子和分母都是平方数：分别是23和2的平方。因此，总的度量数是232（即），这同样可以通过将7912和5912相加得到。 　《算术》中最著名的问题也许要算第2本书的第8个问题：将给出的平方数分解为两个平方数的和，也就是说，求x、y、z，使它们满足： 　 　这个问题的几何解释是毕达哥拉斯定理所描述的直角三角形三条边之间的关系。 　 　这个问题有许多整数解，例如x、y、z分别等于3、4、5（两个平方数9和16的和等于25）。这个简单的结果显然不是丢番图所希望的。他设定了一个“给出的平方数”（也就是）等于16，于是其他两边分别等于14425和25625。对于丢番图来说，这些数当然都是平方数，其中第一个数是125的平方，第二个数是165的平方，并且它们的和是4的平方： 　 　丢番图允许有理数解并不重要，因为这个解等价于一个整数解。简单地将等式两边同乘以 （即25），即可得到： 　 　即144加256等于400。事实上，这是同一组解，它们的不同仅在于度量边的方式不同。丢番图的问题阐述中，斜边是4。这可能是4英尺。现在用一个单位长度不同的尺子去测量，比如单位长度等于五分之一英尺。用这个尺子测量，这条斜边就等于20，其他两条边分别为12和16。 　整数是在人们开始计数之时出现的，有理数也许是在人们开始测量时出现的。如果一根胡萝卜的长度等于3根手指的宽度，另一根胡萝卜的长度等于4根手指的宽度，这时第一根胡萝卜的长度就是第二根的。 　有理数有时也称为可通约数字，因为长度被表示成有理数的两个物体总可以重新度量为整数长度，你只需要将新的度量单位变得足够地小。 　丢番图的《算术》是用希腊语写的，至少有部分文稿被翻译成了阿拉伯文。当它开始在欧洲数学界产生影响的时候，在1575年首次被翻译成拉丁语，之后在1621年有了更好的版本。费马（1601—1665）曾拥有一本1621年的拉丁语版《算术》，并在其空白处写满了笔记。1670年，费马的儿子公布了这些笔记以及拉丁文版的《算术》。在这道问题旁有这样一段笔记，费马写道： 　另一方面，将一个立方数分解为2个立方数，或者将一个4次方数分解为两个4次方数，亦或将除平方之外的任何乘方分解为两个有同幂的乘方，这些都是不可能的。对此，我已经发现了一个非常漂亮的证明，但是这儿的空白之处不够写下它。 　费马宣称，例如： 　是没有整数解的，并且幂为4、5、6及之后的类似方程都没有解。这并不明显。等式： 　非常接近于 　而且它有许多整数解，例如x、y、z分别等于6、8、9。等式 　同样相似，也有许多整数解，例如9、10、12。为什么这两个相似的等式有解，但是 　没解呢？ 　丢番图在《算术》中介绍的问题都有解，但是许多丢番图方程，例如费马描述的方程，看起来并没有解。对于数学家来说，确定一个丢番图方程是否有整数解比求解特定的丢番图方程更加有趣。 　费马没有写出的证明就是大家熟知的费马最后定理（有时也称费马大定理）。多年来，人们普遍相信，不管费马当时想到了怎样的证明，这个证明也许都是错的。英国数学家安德鲁?怀尔斯（1953—　）从10岁开始就对这个问题产生了兴趣，到了1995年，费马最后定理才最终被他证明。（人们很早就证明了，对于一些特殊情况，例如指数为3时，方程是无解的。） 　很显然，证明某些丢番图方程没有解要比找到一个解（如果有）更具挑战性。如果你知道某个特定的丢番图方程存在解，可以简单地验证所有的可能性。由于允许的解只能是整数，因而你可以首先尝试1，然后是2、3及之后的数。如果你不想做这些繁重的工作，可以写一个计算机程序测试所有的可能性，程序迟早会帮你找到答案的。 　但是，如果并不知道是否存在解，那么这个用计算机蛮力解决的方案就不合适了。你可以不断尝试，但怎样知道何时该放弃呢？你怎么知道下一步将要测试的一组数字不是所要搜寻的那组数字呢？ 　麻烦来自这些可恶的数字：它们有无穷多个。

書城介紹　 |　合作申請　|　索要書目　 |　新手入門　|　聯絡方式　 |　幫助中心　|　找書說明　 |　送貨方式　|　付款方式	香港用户　 |　台灣用户　|　海外用户
megBook.com.tw
Copyright (C) 2013 - 2024 （香港）大書城有限公司　All Rights Reserved.