同类推荐
-
-
AutoCAD 2024从新手到高手
-
¥99.00
-
-
基于AI的Web技术项目实战
-
¥52.00
-
-
Python程序设计
-
¥49.00
-
-
大学计算机与人工智能基础:MS Office版
-
¥54.80
-
-
JavaScript迭代渐进式前端开发实践
-
¥59.80
-
-
云攻击向量
-
¥89.80
-
-
云攻击向量
-
¥89.80
-
-
云攻击向量
-
¥89.80
-
-
Linux网络操作系统项目教程:RHEL 9/Cent…
-
¥69.80
-
-
信息技术基础:Windows 11+WPS Office
-
¥59.80
|
|
图书信息
|
|
|
|
逻辑的引擎
|
| ISBN： | 9787535794420 |
定价： | ￥49.00 |
| 作者： | (美)马丁·戴维斯(Martin Davis)著 |
出版社： | 湖南科学技术出版社 |
| 出版时间： | 2018年01月 |
开本： | 21cm |
| 页数： | 17,291页 |
中图法： | TP302.2 |
相关供货商
|
供货商名称
|
库存量
|
库区
|
更新日期
|
|
|
|
|
|
|
其它供货商库存合计
|
579
|
|
2025-09-03
|
图书简介 | | 本书剖析了计算机思想层面的历史，通过引人入胜的材料描写了莱布尼茨、布尔、康托尔、希尔伯特、哥德尔、图灵等天才的生活和工作，讲述数学家们如何在成果付诸应用之前就已经提出了其背后的思想。 |
|