Product Details 基本信息 ISBN-13 书号 9787535794420 Author 作者 (美)马丁·戴维斯(Martin Davis) 著;张卜天 译 Format 版本 平装-胶订 Pages Number 页数 291页 Publisher 出版社 湖南科学技术出版社 Publication Date 出版日期 2018-01-01 Product Dimensions 商品尺寸 32开 Language 语种 其它(含多语) Book Contents 内容简介 《逻辑的引擎》(马丁·戴维斯著)这本关于计算机起源的书剖析了计算机思想层面的历史,通过引人入胜的材料描写了莱布尼茨、布尔、康托尔、希尔伯特、哥德尔、图灵等天才的生活和工作,讲述数学家们如何在成果付诸应用之前就已经提出了其背后的思想。
¥35.00定价:¥70.00 (5折)