同类推荐
-
-
Office应用（景泉）
-
¥39.00
-
-
Office应用（景泉）
-
¥39.00
-
-
Office应用（景泉）
-
¥39.00
-
-
微服务架构基础:Spring Boot+Spring …
-
¥69.80
-
-
微服务架构基础:Spring Boot+Spring …
-
¥69.80
-
-
微服务架构基础:Spring Boot+Spring …
-
¥69.80
-
-
Python语言及其应用
-
¥58.00
-
-
Python语言及其应用
-
¥58.00
-
-
Python语言及其应用
-
¥58.00
-
-
谷歌Nano Banana Pro:AI图像创作与商业…
-
¥79.00
|
|
图书信息
|
|
|
|
逻辑的引擎
|
| ISBN： | 9787535794420 |
定价： | ￥49.00 |
| 作者： | (美)马丁·戴维斯(Martin Davis)著 |
出版社： | 湖南科学技术出版社 |
| 出版时间： | 2018年01月 |
开本： | 21cm |
| 页数： | 17,291页 |
中图法： | TP302.2 |
相关供货商
|
供货商名称
|
库存量
|
库区
|
更新日期
|
|
|
|
|
|
|
其它供货商库存合计
|
1532
|
|
2026-03-04
|
图书简介 | | 本书剖析了计算机思想层面的历史，通过引人入胜的材料描写了莱布尼茨、布尔、康托尔、希尔伯特、哥德尔、图灵等天才的生活和工作，讲述数学家们如何在成果付诸应用之前就已经提出了其背后的思想。 |
|