[Coursera] Intro to logic

不知道有没有人在跟这个的，我最近在看
不过怎么感觉这个课组织的没有那个算法课好呢，有些内容只有notes里面才有，如果跟算法课那样只跟lecture就会发现习题有点out of nowhere

dono if I am alone on this

5/15 update:
看课程论坛怨声载道的，这门课可能是coursera里面最差的了。


其他学生贡献的学习资料：
simile intro:http://en.wikibooks.org/wiki/Mathematical_Proof/Print_version

better courses:
Logic and Proofshttps://oli.web.cmu.edu/jcourse/lms/students/syllabus.do?section=66b16b6780020ca601dbed2598371e4e
Argument Diagramming https://oli.web.cmu.edu/jcourse/lms/students/syllabus.do?section=66b0b2e480020ca6010aaefc90a98419

Logic Self-Taught: A Workbook
http://www.filozofia.uw.edu.pl/kpaprzycka/Publ/xLogicSelfTaught.html

ebook:

http://www.fecundity.com/codex/forallx.pdf

http://www.logicinaction.org/

comic http://www.logicomix.com/en/

我就是研究这个的。。。  这个课和我们讲的风格完全不一样，我们比这个还formal，还注重形式化推导。。 这个课还有好多非常重要的定理没讲。。

我就是研究这个的。。。  这个课和我们讲的风格完全不一样，我们比这个还formal，还注重形式化推导。。 这个课还有好多非常重要的定理没讲。。
joshua.cong 发表于 2012-5-5 02:16

哦，有什么其他课程推荐不？
这个课因为不是板书而是对着事先写好的东西讲，老师甚至都不拿个光标比着的，总用语言说左边如何，旁边如何下方如何的，很难follow 经常的lost
感觉比算法课的老师差太远了
有点郁闷啊

哦，有什么其他课程推荐不？
这个课因为不是板书而是对着事先写好的东西讲，老师甚至都不拿个光标比着的，总用语言说左边如何，旁边如何下方如何的，很难follow 经常的lost
感觉比算法课的老师差太远了
有点郁闷啊
小K 发表于 2012-5-5 02:29

我最近都没关注这些，忙着写几篇论文。。做完算法课就没跟进别的。。。   

我觉得逻辑课大多数人用不着吧。。  是培养数学思维的课。 跟编程思维不一样

我也是数学出身的，不过在国内大学完全没有学过逻辑，现在觉得是人生短板，打算学习下。个人兴趣而已

我也是数学出身的，不过在国内大学完全没有学过逻辑，现在觉得是人生短板，打算学习下。个人兴趣而已
小K 发表于 2012-5-5 02:44

嗯，如果对那些抽象思维感兴趣就学吧，  我个人非常喜欢逻辑这些，比统计思维要适合自己。。

请问这个课对学cs有什么作用吗

请教一个简单逻辑entailment问题，怀疑我对定义理解有问题：
If Γ |= φ and Δ |= φ, then it must be the case that Γ ∩ Δ |= φ.

答案是false

为什么啊？

根据定义
every truth assignment that satisfies Γ also satisfies φ
every truth assignment that satisfies Δ also satisfies φ
every truth assignment that satisfies Γ ∩ Δ must satisify Γ and  Δ respectively
为啥就有可能不satisfy φ??

自己顶，上的痛苦死了，forum讨论也不太给力，这个课比machine learning, 和算法的差了老鼻子
课堂练习只给对错也不讲解的
那还怎么学啊。。。。

这个课现在让我很想打人了。。。。课堂练习全部没有讲解只有答案，那谁知道怎么得到的答案啊。。。。课堂forum人少并且不给力
强烈不推荐