同类推荐
-
-
网络服务器配置与管理
-
¥49.00
-
-
Stable Diffusion AIGC视觉教程
-
¥59.80
-
-
Web前端设计与开发
-
¥54.80
-
-
openvela轻量系统开发实战
-
¥119.00
-
-
openvela轻量系统开发实战
-
¥119.00
-
-
openvela轻量系统开发实战
-
¥119.00
-
-
LLaMA+ChatGLM大模型实战
-
¥99.00
-
-
事件抽取与事件关系识别
-
¥69.00
-
-
中文版Blender 5三维设计入门教程
-
¥69.80
-
-
中文版Cinema 4D实例教程:微课版
-
¥59.80
|
|
图书信息
|
|
|
|
逻辑的引擎
|
| ISBN： | 9787535794420 |
定价： | ￥49.00 |
| 作者： | (美)马丁·戴维斯(Martin Davis)著 |
出版社： | 湖南科学技术出版社 |
| 出版时间： | 2018年01月 |
开本： | 21cm |
| 页数： | 17,291页 |
中图法： | TP302.2 |
相关供货商
|
供货商名称
|
库存量
|
库区
|
更新日期
|
|
|
|
|
|
|
其它供货商库存合计
|
1305
|
|
2026-05-21
|
图书简介 | | 本书剖析了计算机思想层面的历史，通过引人入胜的材料描写了莱布尼茨、布尔、康托尔、希尔伯特、哥德尔、图灵等天才的生活和工作，讲述数学家们如何在成果付诸应用之前就已经提出了其背后的思想。 |
|