前面大半截可以读读, 对数理逻辑的历史有个大致的介绍

Lenbo
优点:
作者是位数学家, 所以涉及数理逻辑方面的东西是很严谨的。
另外作者按莱布尼茨,乔治·布尔,弗雷格,康托尔,希尔伯特,哥德尔,图灵等介绍下来,对
计算机科学形成背后的数学基础历程做了一个很好的梳理。

另外:
不太赞同作者关于人工智能的观点, 同时觉得作者对图灵机价值的观点不够客观(有夸大之嫌)。
另外翻译有些问题,尤其是涉及到数学公式讲解的那些部分, 有些专业名称翻译也有问题,比如
书中说到LISP是一种功能性编程语言(functional programming language), 准确的的翻译应该是函数式编程语言
0
0

查看更多豆瓣高分好书

回应(0)

添加回应

逻辑的引擎的更多书评

推荐逻辑的引擎的豆列

了解更多图书信息

值得一读

    豆瓣
    我们的精神角落
    免费下载 iOS / Android 版客户端