计算进化史(改变数学的命运)

作者简介

吉尔·多维克（Gilles Dowek），法国数学家、逻辑学家和计算机科学家，法国**计算机与自动化研究所机器证明处理系统、编程语言、航空系统安全专家，美国**航空研究院顾问。多维克撰写过多部数学和计算机科学科普作品，曾荣获法国数学学会达朗贝尔奖和法兰西学术院哲学大奖。 劳佳，硕士毕业于上海交通大学，现在SAP美国任**软件支持顾问。业余爱好语言、数学、设计，近年翻译出版了《咨询的奥秘》《**程序员密码》《**读完英国史》等翻译著作。

内容简介