第一推动丛书·综合系列:逻辑的引擎(新版)

第一推动丛书·综合系列:逻辑的引擎(新版)

一本适合数学系或计算机系读者的书,让你在乏味的学习之余体会到思想乐趣

暂无评价综合评分的显示会考虑用户真实性等多项因素,每部作品出现综合评分的时间不定。
8.4195 评价豆瓣读书

作品简介

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

马丁·戴维斯(MartinDavis),计算机科学发展史上的先驱人物,其《可计算性与不可解性》一书被誉为计算机科学领域极少数真正的经典著作之一,他是纽约大学库朗数学科学研究所的荣誉教授,之后在加州大学伯克利分校做访问学者。

作品目录

载入中

大家都喜欢