逻辑的引擎
著作 (美)马丁·戴维斯(Martin Davis)著
[ 普通图书 ] 丛书： 第一推动丛书 综合系列 . 03 出版者： 湖南科学技术出版社 (长沙) 详情： 17,291页 21cm ISBN：9787535794420; 9787535795588. 馆藏类型： 普通图书
| 现行位置 | 索书号 | 状态 | 到期日 | 条形码 | 馆藏预约 | 架位号 | 导航 |
|---|---|---|---|---|---|---|---|
| 运城中学 基本书库 | TP302.2/1 (浏览书架) | 可用 | 359017154822 | 一楼24小时阅览室2架10区 |
所有预约: 0
浏览 运城中学 书架, 书架位置: 基本书库 关闭书架浏览器
|
|
|
|
|
|
|
||
| TP18-49/1 皇帝新脑 | TP274-49/1 生活遇上大数据 | TP274-49/1 生活遇上大数据 | TP302.2/1 逻辑的引擎 | TP302.2/2 逻辑的引擎 | TP312/1 图形化C语言编程实例与仿真 | TP312/1 图形化C语言编程实例与仿真 |
本书讲述了位于计算机背后的思想层面的历史。通过引人入胜的材料描写了莱布尼茨、布尔、康托尔、希尔伯特、哥德尔、图灵等天才的生活和工作，讲述了数学家们如何在成果付诸应用之前很久就已经提出了其背后的思想。
此馆藏没有评论。