机读格式显示(MARC)

• 000 01281nam 2200277 450

• 001 0000508684

• 005 20181130174600.0

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

• 100 __ |a 20180223d2018 em y0chiy50 ea

• 101 0_ |a chi

• 102 __ |a CN |b 430000

• 105 __ |a y z 000yy

• 106 __ |a r

• 200 1_ |a 逻辑的引擎 |A Luo Ji Di Yin Qing |f (美)马丁·戴维斯著

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

• 215 __ |a 156页 |d 20cm

• 225 2_ |a 第一推动丛书·综合系列 |A Di Yi Tui Dong Cong Shu·Zong He Xi Lie

• 330 __ |a 本书被誉从逻辑角度讲述计算机发展的最好的通俗读本。读者将对西方文化的核心之一--逻辑或数学有更深的理解，并且造就一种敏锐的眼光和问题意识，认识到再复杂的东西其实也是由简单的东西根据一定的规则组合而成的。本书讲述了位于计算机背后的思想层面的历史。通过引人入胜的材料描写了莱布尼茨、布尔、康托尔、希尔伯特、哥德尔、图灵等天才的生活和工作，讲述了数学家们如何在成果付诸应用之前很久就已经提出了其背后的思想。

• 333 __ |a 大众读者

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

• 606 __ |a 电子计算机－设计 |A Dian Zi Ji Suan Ji－She Ji

• 606 __ |a 电子计算机－性能分析 |A Dian Zi Ji Suan Ji－Xing Neng Fen Xi

• 690 __ |a TP302 |v 5

• 701 _0 |a (美)马丁·戴维斯 |A ( Mei ) Ma Zheng·Dai Wei Si |4 著

• 801 _0 |a CN |b 江苏新华 |c 20180223

• 905 __ |a WXCSXY |d TP302/57