This market leading text on computational theory provides a mathematical treatment of computer science theory designed around theorems and proofs.
事知其然而后知其所以然。 现代计算机体系的构建,图灵机的数学模型的实现,正是指出了这道创世纪的光。 现在书里面的内容已经忘记的差不多了,只是记得不断的证明,一步步的证明,充满了智慧的光芒。 总之,是一本好的数学书。
评分如果你周围的人在说P, NP之类,而你还不知道这些概念,请捧起这本书! 之后,如果你还想去解决它们,寻求解决思路可以参考这本Metaheuristics For Hard Optimization
评分如果你周围的人在说P, NP之类,而你还不知道这些概念,请捧起这本书! 之后,如果你还想去解决它们,寻求解决思路可以参考这本Metaheuristics For Hard Optimization
评分 评分本书的作者是著名的计算理论方面专家,麻省理工学院应用数学系主任 M. Sipser。全书分为11章,并附有部分习题解答。全书思路清晰,由浅入深,内容详细,是一本零起点学习计算理论的理想教材。我是出于研究需要阅读此书的。其中第零章简要介绍了所需要的基本数学知识。第一到三...
本站所有内容均为互联网搜索引擎提供的公开搜索信息,本站不存储任何数据与内容,任何内容与数据均与本站无关,如有需要请联系相关搜索引擎包括但不限于百度,google,bing,sogou 等
© 2025 book.wenda123.org All Rights Reserved. 图书目录大全 版权所有