读过"符号逻辑讲义"的豆瓣成员

106人参与评价  · · · · · ·

9.2

力荐
72.6%
推荐
21.7%
还行
5.7%
较差
0.0%
很差
0.0%

每周参与评价的人数(最近3个月内)

罗素的猫

2019-06-05      tags: First-order-Logic Logic

胡源也

2019-05-01

Lavrentieva

2019-04-30

长安

2019-04-18

我觉得是我看过的这几本数理逻辑的书里面最好的,要是当初上课用的这一本就好了。 mark一下,如果之后又需要考逻辑的话那就学这本书。

西兰花

2019-04-07      tags: 逻辑学

[已注销]

2019-03-28

黑岛

2019-03-15

米色

2019-03-15      tags: 逻辑学

总体很好,有些部分只是简略讲了下比如语法、语义,要额外找书看。

源红叶

2019-02-25      tags: 逻辑学 一阶逻辑 分析哲学

下学期应该选门一阶逻辑老师的课来读读(这学期居然选到了一门模态逻辑,当然是立刻退课啊)...只是靠自己自学理解的程度还是太有限了。

思想是种传染病

2019-05-31

陈开乙

2019-02-02

队长别开枪

2018-12-25      tags: 逻辑

Insolubilia

2018-12-19

到最后也还是没有把题目给做完……

旧神's

2018-10-07

敲里麻!读到想哭! 就非得用这么别扭的方式讲话吗???——智商只有七十多的某只发自灵魂深处的质问。 出于看不懂的敬意,看不懂的都是艺术!五星! 摔!

杨晔

2018-11-10

慢慢啃 读了前半部分,啃不动了。

读物理学陈寅默

2019-01-15

Nostalgia

2018-09-25      tags: 数理逻辑 一阶逻辑

徐老师说证明演算一定要弄好。事实也是这样,几百页的习题很多配了详细解读,是最好的入门材料。还是要做到可以一眼解读出公示interpretation并且给出真值的程度啊,才算是基础有了。唯一可惜的是,正如徐老师所说无法再增篇幅,故并没有完成一节逻辑的不可判定性等部分…

口苗口苗~

2018-10-28

书同文

2018-10-11

主要矛盾在语法和语义俩个方面。其命题、定理和推论旨在刻画语法语义概念的性质以及概念之间的关系,并且这些刻画体现着语法语义这对主要矛盾。

王能爱宝贝

2018-10-17

符号逻辑讲义
作者: 徐明
isbn: 9787307065536
书名: 符号逻辑讲义
页数: 581
定价: 58.00元
出版社: 武汉大学出版社
装帧: 平装
出版年: 2008-9

去"符号逻辑讲义"的页面