符号逻辑讲义 短评

热门 最新
  • 0 呵呵 2019-02-11

    逻辑学(或者说数理逻辑?)奠基的神书……和诸如“逻辑学导论”之类的书完全不在一个次元。写的证明极度追求严密和清晰(徐明亲自讲课时更是将这一点发挥到了无微不至的地步……),能完整地学习一遍大概就能感受到逻辑是一门什么样的学科了吧。内容上多而不广,正如序言所说,少了一阶理论和一些重要元定理的证明。但干货绝对是充足的,大量的篇幅被例题和习题占据,还有少许略显唠叨的解释和注释(而我竟然从中感受到一种长者的关怀),这大概才是数学课的正确打开方式吧。ps:全书最爱看的就是徐明批评其他逻辑学者的内容23333

  • 0 泠然 2020-03-30

    真的好烧脑子.....有些地方还是没太看明白,可能还得下功夫继续啃吧.....

  • 0 妖的麦克斯韦 2020-05-23

    果然受益匪浅

  • 0 成眠 2017-06-16

    可惜卖完了,买了影印版。徐明老师的博客上有勘误

  • 0 [已注销] 2020-07-19

    是教材但也兼顾自学

  • 0 [已注销] 2020-01-16

    断断续续读了命题逻辑的第一章,终于可以过来打分了。读这一类的书大部分时候还是很吃力的,但是弄懂之后觉得很有理性的愉悦。在反复来看徐明老师写书的框架,觉得他写得实在很好,虽然难但是源于渐进有条理,希望今年可以读完吧。

  • 0 gray 2009-01-11

    1.4节让我买下了这本书,尽管已很久没买书,尽管此书对我不是必要的。

  • 0 聊天终结者 2014-04-10

    好书啊。

<< 首页 < 前页 后页 >