《计算进化史:改变数学的命运》
PDF电子书:计算进化史:改变数学的命运
作者:吉尔·多维克
出版社:人民邮电出版社
出版年:2017年
电子书格式:PDF
ISBN:9787115447579
内容简介:
本书从计算的变迁这一独特视角回顾了数学、逻辑学和哲学的历史沿革,展现了计算为数学研究发展带来的全新前景,展望了这场数学革命在自然科学、信息科学与哲学领域引发的重大变革。
作者简介:
吉尔·多维克(Gilles Dowek),法国数学家、逻辑学家和计算机科学家,法国国家计算机与自动化研究所机器证明处理系统、编程语言、航空系统安全专家,美国国家航空研究院顾问。多维克撰写过多部数学和计算机科学科普作品,曾荣获法国数学学会达朗贝尔奖和法兰西学术院哲学大奖。
-
《花园中的处子》PDF电子书免费下载
◆《花园中的处子》是世界文学泰斗A.S.拜厄特的经典代表作“女性成长四部曲”第I部,中文版初次面世! ◆有些弯路我非走不可,因为有些追求不可辜负! ◆李银河强烈推荐拜厄特的作品,称其“特别好看”。 ◆中国作协副主席王安忆曾与拜厄特对谈:“我看了拜厄...
01月01日[小说]
-
《与罗摩相会》PDF电子书免费下载
一直以来,人类偏安于宇宙一角,自以为是宇宙仅有的文明。直到有一天,人类迎来了第一个外星文明……2131年,人类的活动遍布整个太阳系,一艘庞大的不明飞行物闯了进来。科学家以印度神话人物“罗摩”为它命名,在经过观测之后,科学家发现罗摩其实是一个空心...
01月01日[流行]
-
《众神与人类的战争》PDF电子书免费下载
对地球和人类过往命运的全景式再现:关于一批来自外星的战神以及一场由他们发动并让人类参与的史前世界大战众神与人类的战争在神和人并肩作战的遥远时代……几千年前,地球是一个战场。正是那些诸神借以提高自己权力和威望的战争,彻底改变了人类的命运──激...
01月01日[科技]
-
《列奥纳多·达·芬奇传》PDF电子书免费下载
"达·芬奇是文艺复兴时期伟大的艺术家与科学家,是影响了世界500多年的“网红”。带着顽皮而执着的热情,达·芬奇孜孜不倦地投入对众多领域的创新研究,包括解剖学、化石、鸟类、心脏、飞行器、光学、植物学、地质学、水流以及武器。达·芬奇的天才之处正是基...
01月01日[文化]