一阶逻辑和一阶理论 (豆瓣)

作者: 叶峰编著
出版社: 中国社会科学出版社
副标题: 现代逻辑丛书
出版年: 1994.1
页数: 223页
丛书: 现代逻辑丛书
ISBN: 9787500413073

豆瓣评分

7.7

13人评价

5星

46.2%
4星

23.1%
3星

30.8%
2星

0.0%
1星

0.0%

评价:

豆瓣成员常用的标签(共15个) · · · · · ·

逻辑数理逻辑逻辑学叶峰一阶理论逻辑人数学逻辑-哲学

　　现代逻辑丛书 (共6册), 这套丛书还有《逻辑演算》,《模态逻辑》,《递归论导论》,《西方形式逻辑史》,《集合论导引》。

我来说两句

热门 / 最新 / 好友

0 有用超人 2012-01-15

直观、语法和语义的清晰对照，澄清了很多原来很模糊的概念和定义。这本书是宏观上对一阶逻辑的简要概括，看完这个再分别看命题逻辑和谓词逻辑效果更佳。但是繁复的证明充斥其间，虽能看懂却仍无法自己证明。完全性定理实在有些难，先搁置吧~
0 有用 nana 2007-07-05

02-06
0 有用 Hephan 2017-04-08

2017.04.08
2 有用 Void 2014-11-14

天书般的…… 有些地方写得不是很好，比如对于自由出现和代入自由的定义就很有问题。归纳法总是没有归纳起点，需要你自己证一遍归纳起点。另外习题也没有答案。不过大体上还是比较好的一本书。最后一章证明真是越来越简略了，很多定理干脆不证让你证当做习题。有些证明的叙述因为前面章节用过类似的方法也比较简略，你要前面不认真看的话说不定就看不懂了。被虐了近两个月终于看完了，一开始感觉极其抽象，语法歧义性那章看了一个下午才看懂（虽然还因为别的原因）。看着看着倒也习惯这种难度了，完备性定理看懂了之后感觉思路还是很清晰的，要我复述一遍证明也问题不大。总的来说收获很大。
0 有用 Parsimoniae 2010-06-30

错误不多，说的不清楚的地方不少。看这本不如直接去看艾宾浩斯的数理逻辑。

0 有用 Hephan 2017-04-08

2017.04.08
2 有用 Void 2014-11-14

天书般的…… 有些地方写得不是很好，比如对于自由出现和代入自由的定义就很有问题。归纳法总是没有归纳起点，需要你自己证一遍归纳起点。另外习题也没有答案。不过大体上还是比较好的一本书。最后一章证明真是越来越简略了，很多定理干脆不证让你证当做习题。有些证明的叙述因为前面章节用过类似的方法也比较简略，你要前面不认真看的话说不定就看不懂了。被虐了近两个月终于看完了，一开始感觉极其抽象，语法歧义性那章看了一个下午才看懂（虽然还因为别的原因）。看着看着倒也习惯这种难度了，完备性定理看懂了之后感觉思路还是很清晰的，要我复述一遍证明也问题不大。总的来说收获很大。
0 有用超人 2012-01-15

直观、语法和语义的清晰对照，澄清了很多原来很模糊的概念和定义。这本书是宏观上对一阶逻辑的简要概括，看完这个再分别看命题逻辑和谓词逻辑效果更佳。但是繁复的证明充斥其间，虽能看懂却仍无法自己证明。完全性定理实在有些难，先搁置吧~
0 有用 Parsimoniae 2010-06-30

错误不多，说的不清楚的地方不少。看这本不如直接去看艾宾浩斯的数理逻辑。
0 有用韦倚 2008-05-09

看完这个再来谈逻辑