基本浏览 MARC 浏览 ISBD浏览

逻辑的引擎

著作 (美)马丁·戴维斯(Martin Davis)著
[ 普通图书 ]
其他作者: (美) -- 戴维斯 -- (Davis, Martin) -- | 张卜天 -- (1979-) --
丛书: 第一推动丛书 综合系列 . 03 出版者: 湖南科学技术出版社 (长沙) 详情: 17,291页 21cm ISBN:9787535794420; 9787535795588. 馆藏类型: 普通图书
来自此图书馆的卷标: 此图书馆未指定卷标给这个题名。 登录才能新增标签。
现行位置 索书号 状态 到期日 条形码 馆藏预约 架位号 导航
运城中学
基本书库
TP302.2/1 (浏览书架) 可用 359017154822 一楼24小时阅览室2架10区
所有预约: 0

本书讲述了位于计算机背后的思想层面的历史。通过引人入胜的材料描写了莱布尼茨、布尔、康托尔、希尔伯特、哥德尔、图灵等天才的生活和工作,讲述了数学家们如何在成果付诸应用之前很久就已经提出了其背后的思想。

此馆藏没有评论。

以您的账号登录 张贴评论。

Copyright ©2020 山西图联文化科技股份有限公司 版本:Lhlib V3.0 |启动中央管理系统 | 备案号: 14010043379-19001号 | 晋ICP备12002112号-2