豆瓣
扫码直接下载
错误不多,说的不清楚的地方不少。看这本不如直接去看艾宾浩斯的数理逻辑。
直观、语法和语义的清晰对照,澄清了很多原来很模糊的概念和定义。这本书是宏观上对一阶逻辑的简要概括,看完这个再分别看命题逻辑和谓词逻辑效果更佳。但是繁复的证明充斥其间,虽能看懂却仍无法自己证明。完全性定理实在有些难,先搁置吧~
Herbrand定理,相对化,解释
复习
看完这个再来谈逻辑
天书般的…… 有些地方写得不是很好,比如对于自由出现和代入自由的定义就很有问题。归纳法总是没有归纳起点,需要你自己证一遍归纳起点。另外习题也没有答案。 不过大体上还是比较好的一本书。 最后一章证明真是越来越简略了,很多定理干脆不证让你证当做习题。有些证明的叙述因为前面章节用过类似的方法也比较简略,你要前面不认真看的话说不定就看不懂了。 被虐了近两个月终于看完了,一开始感觉极其抽象,语法歧义性那章看... 天书般的…… 有些地方写得不是很好,比如对于自由出现和代入自由的定义就很有问题。归纳法总是没有归纳起点,需要你自己证一遍归纳起点。另外习题也没有答案。 不过大体上还是比较好的一本书。 最后一章证明真是越来越简略了,很多定理干脆不证让你证当做习题。有些证明的叙述因为前面章节用过类似的方法也比较简略,你要前面不认真看的话说不定就看不懂了。 被虐了近两个月终于看完了,一开始感觉极其抽象,语法歧义性那章看了一个下午才看懂(虽然还因为别的原因)。看着看着倒也习惯这种难度了,完备性定理看懂了之后感觉思路还是很清晰的,要我复述一遍证明也问题不大。总的来说收获很大。 (展开)
> 更多短评 7 条
> 更多书评1篇
> 4人在读
> 18人读过
> 85人想读
订阅关于一阶逻辑和一阶理论的评论: feed: rss 2.0
0 有用 Parsimoniae 2010-06-30
错误不多,说的不清楚的地方不少。看这本不如直接去看艾宾浩斯的数理逻辑。
0 有用 超人 2012-01-15
直观、语法和语义的清晰对照,澄清了很多原来很模糊的概念和定义。这本书是宏观上对一阶逻辑的简要概括,看完这个再分别看命题逻辑和谓词逻辑效果更佳。但是繁复的证明充斥其间,虽能看懂却仍无法自己证明。完全性定理实在有些难,先搁置吧~
0 有用 Hephan 2018-03-22
Herbrand定理,相对化,解释
0 有用 昳晔 2018-09-04
复习
0 有用 韦倚 2008-05-09
看完这个再来谈逻辑
0 有用 Hephan 2018-03-22
Herbrand定理,相对化,解释
0 有用 昳晔 2018-09-04
复习
2 有用 Void 2014-11-14
天书般的…… 有些地方写得不是很好,比如对于自由出现和代入自由的定义就很有问题。归纳法总是没有归纳起点,需要你自己证一遍归纳起点。另外习题也没有答案。 不过大体上还是比较好的一本书。 最后一章证明真是越来越简略了,很多定理干脆不证让你证当做习题。有些证明的叙述因为前面章节用过类似的方法也比较简略,你要前面不认真看的话说不定就看不懂了。 被虐了近两个月终于看完了,一开始感觉极其抽象,语法歧义性那章看... 天书般的…… 有些地方写得不是很好,比如对于自由出现和代入自由的定义就很有问题。归纳法总是没有归纳起点,需要你自己证一遍归纳起点。另外习题也没有答案。 不过大体上还是比较好的一本书。 最后一章证明真是越来越简略了,很多定理干脆不证让你证当做习题。有些证明的叙述因为前面章节用过类似的方法也比较简略,你要前面不认真看的话说不定就看不懂了。 被虐了近两个月终于看完了,一开始感觉极其抽象,语法歧义性那章看了一个下午才看懂(虽然还因为别的原因)。看着看着倒也习惯这种难度了,完备性定理看懂了之后感觉思路还是很清晰的,要我复述一遍证明也问题不大。总的来说收获很大。 (展开)
0 有用 超人 2012-01-15
直观、语法和语义的清晰对照,澄清了很多原来很模糊的概念和定义。这本书是宏观上对一阶逻辑的简要概括,看完这个再分别看命题逻辑和谓词逻辑效果更佳。但是繁复的证明充斥其间,虽能看懂却仍无法自己证明。完全性定理实在有些难,先搁置吧~
0 有用 Parsimoniae 2010-06-30
错误不多,说的不清楚的地方不少。看这本不如直接去看艾宾浩斯的数理逻辑。