返回检索首页
我的图书馆登录
书 名
作 者
分类号
ISBN
索书号
主题词
出版社
任意词
每页显示
10
20
50
排序选项
排序方式
出版日期
索书号
出版社
排序方式
降序排列
升序排列
计算机
共有
1
条记录
页码：
1
/
1
每页显示：
10
记录
跳转：
出版社:"湖南科学技术出版社"
出版年:"20180101"
逻辑的引擎
:(美) 马丁·戴维斯, Martin Davis, 张卜天
作者：
(美) 马丁·戴维斯, Martin Davis, 张卜天
出版社：
湖南科学技术出版社
出版时间：
20180101
ISBN：
978-7-5357-9442-0
索书号：
TP302.2/51
分类号：
TP302.2
页数：
17, 291页
价格：
CNY49.00
丛书：
第一推动丛书
复本数：
在馆数：
累借天数：
累借次数：
本书讲述了位于计算机背后的思想层面的历史。通过引人入胜的材料描写了莱布尼茨、布尔、康托尔、希尔伯特、哥德尔、图灵等天才的生活和工作, 讲述了数学家们如何在成果付诸应用之前很久就已经提出了其背后的思想。
详细信息
索书号
展开
缩小检索范围
文献类型
中文图书
(
1
)
出版社
湖南科学技术出版社
(
1
)
只显示前10条......
湖南科学技术出版社
(
1
)
查看更多信息......
作者
(美) 马丁·戴维斯, Martin Davis, 张卜天
(
1
)
只显示前10条......
(美) 马丁·戴维斯, Martin Davis, 张卜天
(
1
)
查看更多信息......
出版年
20180101
(
1
)
只显示前10条......
20180101
(
1
)
查看更多信息......
计算机
共有
1
条记录
页码：
1
/
1
每页显示：
10
记录
跳转：