以下书单推荐 · · · · · · ( 全部 )
- 逻辑学须看书籍 (斯宾诺莎的镜片)
- 优秀的哲学教科书 (无能狂怒人)
- 逻辑学本科教材及参考书 (senselaess)
- 法学nerd的偏冷读书世界 (李初一)
- 逻辑 (广宇鹤发童颜)
谁读这本书? · · · · · ·
二手市场
· · · · · ·
- 在豆瓣转让 有202人想读,手里有一本闲着?
订阅关于一阶逻辑和一阶理论的评论:
feed: rss 2.0
2 有用 超人 2012-01-15 18:57:51
直观、语法和语义的清晰对照,澄清了很多原来很模糊的概念和定义。这本书是宏观上对一阶逻辑的简要概括,看完这个再分别看命题逻辑和谓词逻辑效果更佳。但是繁复的证明充斥其间,虽能看懂却仍无法自己证明。完全性定理实在有些难,先搁置吧~
1 有用 无能狂怒人 2010-06-30 21:32:51
错误不多,说的不清楚的地方不少。看这本不如直接去看艾宾浩斯的数理逻辑。
3 有用 兰德尔 2021-03-21 12:24:33
【已存柜】经与叶峰老师询问,第185页习题1漏了条件“T是一致的”;第185页练习3是两道题。一是“有左端点而无右端点的稠密线性序理论是完备的”,一是“有左端点也有右端点的稠密线性序理论是完备的”
0 有用 Hephan 2018-03-22 17:01:43
Herbrand定理,相对化,解释
0 有用 昳晔 2018-09-04 13:42:21
复习
0 有用 Teki 2021-05-23 18:00:08
对不可数语言的讨论、无歧义性、完全性讲得很多。这套书的排版和编辑实在是符合时代水平...
3 有用 兰德尔 2021-03-21 12:24:33
【已存柜】经与叶峰老师询问,第185页习题1漏了条件“T是一致的”;第185页练习3是两道题。一是“有左端点而无右端点的稠密线性序理论是完备的”,一是“有左端点也有右端点的稠密线性序理论是完备的”
0 有用 昳晔 2018-09-04 13:42:21
复习
0 有用 Hephan 2018-03-22 17:01:43
Herbrand定理,相对化,解释
2 有用 Void 2014-11-14 19:42:13
天书般的…… 有些地方写得不是很好,比如对于自由出现和代入自由的定义就很有问题。归纳法总是没有归纳起点,需要你自己证一遍归纳起点。另外习题也没有答案。 不过大体上还是比较好的一本书。 最后一章证明真是越来越简略了,很多定理干脆不证让你证当做习题。有些证明的叙述因为前面章节用过类似的方法也比较简略,你要前面不认真看的话说不定就看不懂了。 被虐了近两个月终于看完了,一开始感觉极其抽象,语法歧义性那章看... 天书般的…… 有些地方写得不是很好,比如对于自由出现和代入自由的定义就很有问题。归纳法总是没有归纳起点,需要你自己证一遍归纳起点。另外习题也没有答案。 不过大体上还是比较好的一本书。 最后一章证明真是越来越简略了,很多定理干脆不证让你证当做习题。有些证明的叙述因为前面章节用过类似的方法也比较简略,你要前面不认真看的话说不定就看不懂了。 被虐了近两个月终于看完了,一开始感觉极其抽象,语法歧义性那章看了一个下午才看懂(虽然还因为别的原因)。看着看着倒也习惯这种难度了,完备性定理看懂了之后感觉思路还是很清晰的,要我复述一遍证明也问题不大。总的来说收获很大。 (展开)