题名:
|
逻辑的引擎 luo ji de yin qing / (美)马丁·戴维斯(Martin Davis)著 , 张卜天译 |
ISBN:
|
978-7-5357-9442-0 价格: CNY49.00 |
语种:
|
chi |
载体形态:
|
17,291页 图 21cm |
出版发行:
|
出版地: 长沙 出版社: 湖南科学技术出版社 出版日期: 2018 |
内容提要:
|
本书讲述了位于计算机背后的思想层面的历史。通过引人入胜的材料描写了莱布尼茨、布尔、康托尔、希尔伯特、哥德尔、图灵等天才的生活和工作,讲述了数学家们如何在成果付诸应用之前很久就已经提出了其背后的思想。 |
主题词:
|
电子计算机 逻辑设计 |
中图分类法:
|
TP302.2 版次: 5 |
主要责任者:
|
戴维斯 dai wei si 著 |
次要责任者:
|
张卜天 zhang bu tian 译 |
责任者附注:
|
马丁·戴维斯,计算机科学发展史上的先驱人物,是纽约大学库朗数学科学研究所的荣誉教授,之后在加州大学伯克利分校做访问学者。 |
责任者附注:
|
张卜天(1979-),中国科技大学物理学学士,北京大学哲学博士。现任清华大学副教授。 |