机读格式显示(MARC)

• 000 01589nam 2200337 450

• 001 0000511033

• 005 20180423085135.2

• 010 __ |a 978-7-5357-9442-0 |d CNY49.00

• 099 __ |a CAL 012018043357

• 100 __ |a 20180326d2018 em y0chiy50 ea

• 101 1_ |a chi |c eng

• 102 __ |a CN |b 430000

• 105 __ |a a a 001yy

• 106 __ |a r

• 200 1_ |a 逻辑的引擎 |A luo ji de yin qing |f (美) 马丁·戴维斯著 |d = Engines of logic |f Martin Davis |g 张卜天译 |z eng

• 210 __ |a 长沙 |c 湖南科学技术出版社 |d 2018

• 215 __ |a 17, 291页 |c 图 |d 21cm

• 225 2_ |a 第一推动丛书 |A di yi tui dong cong shu |i 综合系列 |v 03

• 306 __ |a 湖南科学技术出版社通过中国台湾博达著作权代理有限公司获得本书中文简体版中国大陆独家出版发行权

• 314 __ |a 马丁·戴维斯, 计算机科学发展史上的先驱人物, 其《可计算性与不可解性》一书被誉为计算机科学领域极少数真正的经典著作之一, 他是纽约大学库朗数学科学研究所的荣誉教授, 之后在加州大学伯克利分校做访问学者。张卜天, 1979年9月生, 中国科技大学物理学学士, 北京大学哲学博士。

• 320 __ |a 有书目 (第258-263页) 和索引

• 330 __ |a 本书讲述了位于计算机背后的思想层面的历史。通过引人入胜的材料描写了莱布尼茨、布尔、康托尔、希尔伯特、哥德尔、图灵等天才的生活和工作, 讲述了数学家们如何在成果付诸应用之前很久就已经提出了其背后的思想。

• 410 _0 |1 2001 |a 第一推动丛书 |i 综合系列 |v 03

• 500 10 |a Engines of logic |m Chinese

• 606 0_ |a 计算机 |A ji suan ji |x 逻辑设计 |j 普及读物

• 690 __ |a TP302.2 |v 5

• 701 _1 |a 戴维斯 |A dai wei si |g (Davis, Martin) |4 著

• 702 _0 |a 张卜天, |A zhang bu tian |f 1979- |4 译

• 801 _0 |a CN |b 安徽时代 |c 20180326

• 905 __ |d TP302.2

• 920 __ |a 211010 |z 2