豆瓣
扫码直接下载
是的，如此变态的数理逻辑我们学的是英文版~~
应该先讲为什么会出现这门学科，这些模型，要面对的问题是什么，为什么要形式化建立这些一个又一个概念，其实一直都是先有靶子，再去射箭，就像图论诞生于七桥问题一样。鸡生蛋还是蛋生鸡？这种纠缠不清才是这门学科的魅力。
M
书写得很好，但是不好懂
大致看过前半部分，后半部分稍有了解（事实上我发现数理逻辑/可计算性的老师从中参考了很多) 应该算是公认的经典教材。过两天就要还给图书馆且多半不会再看了，翻到豆瓣书评的讣告，一阵心酸
算是唯一一本读了5次，每次都有收获的书。计算机专业必读！
读的很不认真
很好的一本书。从直观基础出发，再到公理系统。习题不错。后边不完备定理也讲清楚了。
我以前看的是英文版的，omg子
全面，又细致，关注点都是核心问题……第二遍学数理逻辑超好的一本教材
compact, 全书仅4章，不幸的是我只读了前两章，但是，真的很难
@2017-08-31 20:52:23
> 数理逻辑
11 有用 春咲小红 2008-07-19 10:37:10
是的，如此变态的数理逻辑我们学的是英文版~~
5 有用 哑然鸟 2023-10-23 19:08:08 上海
应该先讲为什么会出现这门学科，这些模型，要面对的问题是什么，为什么要形式化建立这些一个又一个概念，其实一直都是先有靶子，再去射箭，就像图论诞生于七桥问题一样。鸡生蛋还是蛋生鸡？这种纠缠不清才是这门学科的魅力。
0 有用 伞保护协会 2009-03-03 03:38:21
M
2 有用 Marine 2023-01-24 19:59:48 上海
书写得很好，但是不好懂
0 有用 不深刻 2017-07-11 11:31:51
大致看过前半部分，后半部分稍有了解（事实上我发现数理逻辑/可计算性的老师从中参考了很多) 应该算是公认的经典教材。过两天就要还给图书馆且多半不会再看了，翻到豆瓣书评的讣告，一阵心酸
1 有用 rocklater 2010-07-09 23:56:38
算是唯一一本读了5次，每次都有收获的书。计算机专业必读！
0 有用 卜丄 2023-03-10 21:25:06 山西
读的很不认真
2 有用 拖鞋不见啦 2017-03-14 11:47:21
很好的一本书。从直观基础出发，再到公理系统。习题不错。后边不完备定理也讲清楚了。
0 有用 JENNIE 2020-04-24 08:37:02
我以前看的是英文版的，omg子
1 有用 神一样的戴 2017-10-02 17:05:54
全面，又细致，关注点都是核心问题……第二遍学数理逻辑超好的一本教材
0 有用 Fraenk! 2010-01-11 15:52:55
compact, 全书仅4章，不幸的是我只读了前两章，但是，真的很难
0 有用 噫吁嚱 2020-03-10 01:46:53
@2017-08-31 20:52:23