真实好书!

南北不通 评论 符号逻辑讲义 5 2013-09-13 11:34:05
南北不通
南北不通 (国家成败吾岂敢,色难腥腐餐枫香) 2013-10-30 00:29:56

今天总算读完了,好书,读着有收获,比较难的是第九章,还有第十二章关于完备性定理的证明,要反复地看,自己在稿纸上反复的演算才行。而且这本书读一遍,做一遍题是不够的,要反复的打磨,才能真正把作者的东西变成自己的东西,得心应手。
其实完全可以多讲一点集合论的知识,同构,初等等价能讲一讲就好了,私心觉得再厚个两百页也可以呀,那样一阶逻辑真的完全看这本书就可以了。
不知道徐明同志有没有“模态逻辑”的讲稿,很希望也能看一看,想来他讲的模态逻辑也一样的精彩。若是徐明的学生看到了,或者武大的朋友,拜托告诉一声,我最近准备学模态,如果能看徐明的讲稿就好了。

肥皂
肥皂 2013-11-17 18:41:01

很想看,可惜现在哪里都买不到了。。。LZ知道哪里能下载吗?

南北不通
南北不通 (国家成败吾岂敢,色难腥腐餐枫香) 2013-11-28 11:21:44

你可以去淘宝网上看一看,我的书是很久之前买的。应该是没有PDF版的,反正我没有搜到。

肥皂
肥皂 2013-11-28 12:36:24

好的,多谢。淘宝倒是看过了,搜到的每家店都问过,但都是只提供打印版。孔夫子上也卖完了。so,我还是慢慢等待电子版吧。

南北不通
南北不通 (国家成败吾岂敢,色难腥腐餐枫香) 2013-12-18 22:15:32

以为读完了徐明的书,虽不中不远矣,读完之后才知道,后面的路依然漫长,努力,努力。

raycaesar
raycaesar (转变,总是有痛苦的) 2014-03-01 08:31:45

@南北不通兄是哪的老师,这么下功夫。这书我也喜欢,考研的时候自己读的。开始感觉跟你一样。但学到后来知道,这真只是个开始,而且还远远不够。集合论很多的,壮虎老师的就可以,不过印刷错误也很多(逻辑书都这样),外文的话Jech或者takeuti。模态逻辑必读蓝宝书~~这个强烈推荐,Blackburn,的de rijke, venema的那个。

南北不通
南北不通 (国家成败吾岂敢,色难腥腐餐枫香) 2014-04-12 14:54:58

呵呵 蓝宝书是好 就是太难了。叶峰老师推荐读A New Introduction to Modal Logic,然后再读蓝宝书 ,读好蓝宝书至少要一年的努力,那在国内逻辑学界我觉得都属于很厉害的了。

raycaesar
raycaesar (转变,总是有痛苦的) 2014-04-21 13:07:45

不知道叶老师什么时候推荐的,现在来看,我觉得读蓝宝书还是合适一些,Hughes 那书会不会陈旧了一些,很多都和现在的研究无关了~我觉得先读本代数的书,然后来学模态逻辑是个不错的选择。

ichbinluz
ichbinluz (沉迷于学习无法自拔。) 2014-05-03 11:25:46

这本书是真的买不到了,想知道什么时候会再版唉。

raycaesar
raycaesar (转变,总是有痛苦的) 2014-05-05 01:13:36

@ichbinluz 我们到处去推荐给害的~以后不推荐了,免得买不着

清泉
清泉 2015-01-10 00:18:15

请问什么是蓝宝书呢?

漫漫人生路
漫漫人生路 2015-12-19 15:16:35

mark

昳晔
昳晔 (高贵的骗子) 2017-07-20 21:51:57

楼主,有没有全部的习题答案,数理基础不好自学很辛苦。求助。

南北不通
南北不通 (国家成败吾岂敢,色难腥腐餐枫香) 2017-07-21 09:57:06

其实徐明老师的这本书的习题大部分都不太难,你可能是一个人看书,没有人讨论,概念理解不清楚所致。你在北京否?下学期首师大开数理逻辑的课,你可以来听,一起讨论。我没有见过这本书的习题答案。

南北不通
南北不通 (国家成败吾岂敢,色难腥腐餐枫香) 2017-07-21 09:58:20
请问什么是蓝宝书呢? 请问什么是蓝宝书呢? 清泉

Modal Logic (Cambridge Tracts in Theoretical Computer Science)
by Patrick Blackburn (Author), Maarten de Rijke (Author), Yde Venema (Author)

南北不通
南北不通 (国家成败吾岂敢,色难腥腐餐枫香) 2017-07-21 09:59:01
请问什么是蓝宝书呢? 请问什么是蓝宝书呢? 清泉

不好意思 很久都没有怎么用豆瓣了。

昳晔
昳晔 (高贵的骗子) 2017-07-23 14:20:06

并不在北京。只是自学没有答案对很痛苦,不知道自己做的对不对。

数理fans
数理fans 2017-09-20 16:32:41
今天总算读完了,好书,读着有收获,比较难的是第九章,还有第十二章关于完备性定理的证明,... 今天总算读完了,好书,读着有收获,比较难的是第九章,还有第十二章关于完备性定理的证明,要反复地看,自己在稿纸上反复的演算才行。而且这本书读一遍,做一遍题是不够的,要反复的打磨,才能真正把作者的东西变成自己的东西,得心应手。 其实完全可以多讲一点集合论的知识,同构,初等等价能讲一讲就好了,私心觉得再厚个两百页也可以呀,那样一阶逻辑真的完全看这本书就可以了。 不知道徐明同志有没有“模态逻辑”的讲稿,很希望也能看一看,想来他讲的模态逻辑也一样的精彩。若是徐明的学生看到了,或者武大的朋友,拜托告诉一声,我最近准备学模态,如果能看徐明的讲稿就好了。 ... 南北不通

您好,我在读这本书遇到了一个问题想请教一下:
第九章 命题458的证明中,对公式的复杂度做归纳:其中有一个归纳步骤是:φ=ψ*χ
*∈{∧,∨,→,↔},归纳假设是:ψ[y/x]是ψ(y/x)的易字变形,χ[y/x]是χ(y/x)的易字变形,那么该如何证明φ[y/x]是φ(y/x)的易字变形呢?如果根据定义445貌似证不出来,如果易字变形按公式复杂度递归定义的话,那么就可以容易证得,请问下,根据定义445该如何证明上述问题呢?

数理fans
数理fans 2017-09-20 17:10:47

问题在于我想证明出如下命题:
若ψ’是ψ的易字变形且χ’是χ的易字变形,则ψ’*χ’是ψ*χ的易字变形。其中*∈{∧,∨,→,↔}。