|
000
|
01573nam 2200301 450
|
|
001
|
012018000954
|
|
010
|
|
@a978-7-5357-9442-0@dCNY49.00
|
|
100
|
|
@a20180326d2018 em y0chiy50 ea
|
|
101
|
1
|
@achi@ceng
|
|
102
|
|
@aCN@b430000
|
|
105
|
|
@aac a 001yy
|
|
106
|
|
@ar
|
|
200
|
1
|
@a逻辑的引擎@Aluo ji de yin qing@f(美) 马丁·戴维斯著@F(mei) ma ding ·dai wei si zhu@d= Engines of logic@fMartin Davis@g张卜天译@zeng
|
|
210
|
|
@a长沙@c湖南科学技术出版社@d2018.01
|
|
215
|
|
@a17, 291页@c图, 肖像@d21cm
|
|
225
|
2
|
@a第一推动丛书@Adi yi tui dong cong shu@i综合系列@v03
|
|
306
|
|
@a湖南科学技术出版社通过中国台湾博达著作权代理有限公司获得本书中文简体版中国大陆独家出版发行权
|
|
314
|
|
@a马丁·戴维斯, 计算机科学发展史上的先驱人物, 其《可计算性与不可解性》一书被誉为计算机科学领域极少数真正的经典著作之一, 他是纽约大学库朗数学科学研究所的荣誉教授, 之后在加州大学伯克利分校做访问学者。张卜天, 1979年9月生, 中国科技大学物理学学士, 北京大学哲学博士。
|
|
320
|
|
@a有书目 (第258-263页) 和索引
|
|
330
|
|
@a本书讲述了位于计算机背后的思想层面的历史。通过引人入胜的材料描写了莱布尼茨、布尔、康托尔、希尔伯特、哥德尔、图灵等天才的生活和工作, 讲述了数学家们如何在成果付诸应用之前很久就已经提出了其背后的思想。
|
|
410
|
0
|
@12001 @a第一推动丛书@i综合系列@v03
|
|
500
|
10
|
@aEngines of logic@mChinese
|
|
606
|
0
|
@a计算机@Aji suan ji@x逻辑设计@j普及读物
|
|
690
|
|
@aTP302.2@v5
|
|
701
|
1
|
@a戴维斯@Adai wei si@g(Davis, Martin)@4著
|
|
702
|
0
|
@a张卜天,@Azhang bo tian@f1979-@4译
|
|
801
|
0
|
@aCN@c20180928
|
|
905
|
|
@a河南城建学院图书馆@b21397461@dTP302.2@eD136@f1
|
|
|
|
|
| |
| 逻辑的引擎/(美) 马丁·戴维斯著= Engines of logic/Martin Davis/张卜天译.-长沙：湖南科学技术出版社，2018.01 |
| 17, 291页：图, 肖像；21cm.-(第一推动丛书.综合系列；03) |
| |
| |
| ISBN 978-7-5357-9442-0：CNY49.00 |
| 本书讲述了位于计算机背后的思想层面的历史。通过引人入胜的材料描写了莱布尼茨、布尔、康托尔、希尔伯特、哥德尔、图灵等天才的生活和工作, 讲述了数学家们如何在成果付诸应用之前很久就已经提出了其背后的思想。 |
| ● |
正题名：逻辑的引擎
索取号：TP302.2/D136
预约/预借
| 序号
|
登录号
|
条形码
|
馆藏地/架位号
|
状态
|
备注
|
|
1
|
1397461
|
213974617
|
自科库301/301自科库 45排7列4层/
[索取号:TP302.2/D136]
|
在馆
|
|
