逻辑的引擎 一本非常经典的书

这个经典呀，学习计算机的都应该看下书名：逻辑的引擎　　作者：（美）马丁·戴维斯　　出版社：湖南科学技术出版社　　本书讲述的是我们的现代计算机所基于的那些基本概念和发展出这些概念的人。计算机从二十世纪五十年代的塞满整个房间的庞然大物，逐渐演变成今天轻巧而强大的能够完成各种任务的机器，在这整个过程中，其背后的逻辑始终保持如一。这些逻辑概念是几个世纪以来数位天才思想家一步步发展出来的。在本书中，我将讲述这些人的生活故事，并解释他们的部分思想。这些故事本身是引人入胜的，我希望读者们不仅能够喜欢它们，而且在读完之后能够更加了解计算机内部的秘密，同时对抽象思想的价值多一份敬意。　　本书作者马丁·戴维斯是计算机科学发展史上的先区人物，曾对希尔伯特第十问题有过深入