《计算进化史:改变数学的命运》吉尔·多维克 电子书下载
内容简介:
本书从计算的变迁这一独特视角回顾了数学、逻辑学和哲学的历史沿革,展现了计算为数学研究发展带来的全新前景,展望了这场数学革命在自然科学、信息科学与哲学领域引发的重大变革。
作者简介:
吉尔·多维克(Gilles Dowek),法国数学家、逻辑学家和计算机科学家,法国国家计算机与自动化研究所机器证明处理系统、编程语言、航空系统安全专家,美国国家航空研究院顾问。多维克撰写过多部数学和计算机科学科普作品,曾荣获法国数学学会达朗贝尔奖和法兰西学术院哲学大奖。
如果您对该资源产生疑虑,欢迎您 点击此处 举报不良内容。 希望我们能共建一个文明社区!感谢您的合作与支持!
猜你喜欢
- Ausführliche Grammatik der griechischen Sprache 2. Teil, Satzlehre. 1. Band - in neuer Bearb. besorgt von Bernhard Gerth. 电子书下载
- 军事思想纵横谈 电子书下载
- 《死神的浮力》伊坂幸太郎 电子书下载
- 名人名言金典(全4卷) 电子书下载
- 近代中国娼妓史料下 电子书下载
- 《一想到还有95%的问题留给人类,我就放心了》(未读·探索家)豪尔赫·陈 & 丹尼尔·怀特森 中文版 电子书下载
- 细胞生物学精要 电子书下载
- 焦虑的人 电子书下载
- 做对选择 电子书下载
- 欧盟的危机 电子书下载
- 化妆品天然成分原料手册 电子书下载
- 中国工艺美术史 修订本 电子书下载