符号逻辑讲义 短评

热门 最新
  • 0 right choice 2019-08-02

    试题好难 没做完QAQ

  • 0 周慕雲 2018-12-27

    算是“看”完了,不过有些题或者定理独立证明还有些困难。。。

  • 0 思鸣 2020-05-13

    数理逻辑教材,教材类的书我本来是不打算标的,可是徐明老师气质不错,所以特意来标记一下

  • 0 nek 2020-04-14

    想起来看过命题逻辑

  • 0 さくら 2021-01-08

    例子太多,学完发现实际上也没讲什么,还得深入学习啊

  • 0 耗子kuai跑 2020-07-02

    除了看不大懂其他都挺好的

  • 0 Decretum 2020-10-21

    徐明老师用心良苦,友好到简直是手把手教你入门数理逻辑了。哪怕是只读读导言,也对纠正一些对逻辑的误解大有裨益。

  • 0 杨晔 2018-11-10

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

  • 0 Φιλομαθής 2020-10-27

    大概看了一百多页(太惭愧了…)习题简直是万能参考书~

  • 0 Toki 2020-08-09

    补,我也就只能看看baby logic了

  • 0 许羽言 2019-04-18

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

  • 0 Heterodoxy 2021-01-14

    五星好評,嚼碎了餵給你的水平(dbq)。謂詞演算講的非常細緻,每個證明都寫的很詳細。附錄裡系統梳理了數學歸納法的強弱形式和在謂詞邏輯中的兩種運用,課後習題富有答案,太適合自學了。

  • 0 Mr.Craner 2019-04-11

    能啃完的都是狠人...

  • 0 Logicer 2010-10-18

    写的好!!

  • 0 [已注销] 2017-10-13

    适合打基础。题目超多且有讲解…

  • 0 千鳥靈犀 2011-06-04

    伤不起的一本书

  • 0 倾斜的瓶子 2021-03-27

    时隔两年,我再看这本书才发现它的妙。😣时隔两年,我才感觉自己开始真正理解了…

  • 0 珞凉 2020-02-29

    清晰、舒服、有吸引力,这是特别难得的。

  • 0 穷酸秀才 2020-04-30

    现在才知道当初以为的那些谬误其实是源于自己的无知。

  • 2 [已注销] 2018-10-11

    1.主要矛盾在语法和语义俩个方面。其命题、定理和推论旨在刻画语法语义概念的性质以及概念之间的关系。 2.本书注重定理的证明,对概念的分析相对少了,故配合北大《数理逻辑》一起阅读较佳。