符号逻辑讲义 短评

热门 最新
  • 0 倾斜的瓶子 2021-03-27

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

  • 1 半月PM 2021-02-04

    最近在学语言,经常回想起这本书。不管学文学理的同学,好好学这本书都会大有裨益。

  • 0 Heterodoxy 2021-01-14

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

  • 0 さくら 2021-01-08

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

  • 1 兰德尔 2020-12-07

    徐明老师的勘误参见http://blog.sina.cn/dpool/blog/s/blog_4c9a1d6a0100bln3.htm或评论 合取、析取范式、弱完全性定理和Post完全性:http://blog.sina.cn/dpool/blog/s/blog_4c9a1d6a0100xgoi.html?type=-1

  • 0 四叠半信徒 2020-11-30

    各种查阅参考书籍,发现只有这本书对于文科生极其友好,爱了爱了。

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

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

  • 0 Decretum 2020-10-21

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

  • 0 Toki 2020-08-09

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

  • 0 耗子kuai跑 2020-07-02

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

  • 0 林中路 2020-06-05

  • 1 哭之笑之 2020-05-14

    艰难熬过命题逻辑、命题演算,谓词逻辑、谓词演算晕了晕了……不过大概懂了一些,但是没有做题,掌握不扎实。 许多章节下面提示: “第一次阅读本书的自学者可以跳过这一小节的内容。” 自学的朋友建议多次自学啊😂

  • 0 思鸣 2020-05-13

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

  • 0 穷酸秀才 2020-04-30

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

  • 0 波斯特尔鲁 2020-04-16

    离散数学配套

  • 0 nek 2020-04-14

    想起来看过命题逻辑

  • 1 叶上窸窣 2020-04-02

    大师手笔,细节扎实,堪称同类教材的典范,任何段位的读者读了都会有所收获。命题逻辑和谓词逻辑的章节估计是最好的数理逻辑入门。

  • 0 珞凉 2020-02-29

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

  • 2 密涅瓦的鹰头喵 2020-01-06

    后天就考试了w,现在对这本书非常感激。这学期觉得最有收获的课就是他的课,虽然一直被虐,但是确实是实打实地感受到了自己在进步:概念能理解地更到位、论证能写的更详细、想命题马虎地越少。目前最大的愿望是希望自己能考好,以及我到中年的时候,能有他一半儿帅就好了ww!

  • 0 2019-10-19

    我也曾是想学好数理逻辑的人啊

<< 首页 < 前页 后页 >