1## 数理逻辑
来自：豆瓣读书
作者: Haskell B Curry / Robert Feys / William Craig
出版社: North-Holland Pub. Co
出版年: 1958
出版社: North-Holland Pub. Co
出版年: 1958
来自：豆瓣读书评论
组合子逻辑的最初思想来源于Schönfinkel（尚芬克尔）1924年的论文《论数理逻辑的基础》。但真正将组合子逻辑发扬光大使其成为现代逻辑、计算基础理论的是Haskell Curry（哈斯凯尔·柯里）。柯里在德国哥廷根大学受希尔伯特指导，完成了博士论文《Grundlagen Der Kombinatorischen Logik》（英译本：Foundations of Combinatory Logics: 组合子逻辑基础）。从此柯里将自己的一生献给了对这个新逻辑的研究。1958年，柯里与比利...
来自：豆瓣日记
这几年来读了些数理逻辑的教科书，大部分是英文的，少数中文的。总的感觉是英文书比中文书好读。为什么？第一，英文书选择余地比较大，从非常初级的到最前沿的各种版本应有尽有，可根据自己的水平、爱好自由选择，而中文的选择余地就比较小，国外翻译版的大多是高端书籍，国人自己写的大部分也是国外教科书的中文重写版。少数中文版比较中意的例如王宪均的《数理逻辑引论》概念和技术细节交代的非常清楚，但缺少宏观视野，更像...
来自：豆瓣读书评论
推荐程度：最好的科普之一，考虑到CS的学生对计算理论的数学根基掌握不是很好，本书很有帮助。 主题：这本书介绍的是自动计算思想发展的历史。 内容：不仅仅是科学家佚事的八卦，还把基本（数学）问题的思想史讲得很清楚。 原作者：大牛境界，从本质层次深入浅出的讲到了计算概念包含的数学问题。 翻译：不错，说不上华丽，但是流畅。 感想： 一般来说，计算机科学的发展史有两个方面： 一是计算机工程史，比如电子管，晶...
来自：豆瓣读书
作者: George S. Boolos / John P. Burgess / Richard C. Jeffrey
出版社: Cambridge University Press
出版年: 2007-09-17
出版社: Cambridge University Press
出版年: 2007-09-17
什么是豆列 · · · · · ·
豆列是收集好东西的工具。
在豆瓣上看到喜欢的内容，都可以收到你自己的豆列里，方便以后找到。
你还可以关注感兴趣的豆列，看看其他人收集的好东西。