图书

  • 计算进化史:改变数学的命运

    吉尔·多维克   劳佳   译

    【内容简介】 长久以来,推理与证明一直是数学研究不可撼动的基石。然而,从20世纪70代初起,证明方法发生了翻...

  • 紫凤 10推荐

    图灵奖得主John Hopcroft:计算机科学的新方向

    摘要:本文是康奈尔大学计算机系工程学与应用数学教授、1986年图灵奖获得者John Hopcroft博士在《21世纪的计算大会》上的演讲稿。演讲中,他简单概述了计算机未来的一些发展方向;接下来介绍了基于科学的要求,如何支持未来的活动;最后,回答一些经常被问到的问题,比如到底我们…...