【活动】我在美国上逻辑 (Symbolic Logic and Non-classical Logic) 课程的感受和总结

前言：我是美本 专业是CS.  Symbolic logic II是我们可以做CS major的 math requirement之一的课 (也有别的选择如statistics等) 我在上了这门课后 发现我很喜欢Logic而且我觉得这个也对CS很有用， 于是我就副修了Philosophy（Logic方向）。后来我又上了Non-classical Logic 这门课也对CS (特别是AI) 很有用
我 看到地里的上课经验大部分都是CS上的专业课 所以就来写写这两门我认为对CS很有帮助的课 这两个课在我们学校是哲学系的 以我对美国本科的了解 在大部分学校 逻辑学(Logic)的课在三个系都可能有: CS, Math, or Philosophy.
以下文章 Symbolic Logic缩写SL; Non-classical Logic缩写NL.

1）你在国内上过这门课程以及要求的prerequisite courses吗？在国内的时候，学的很烂，还是自己觉得还不错？
SL: 美本。我们学校这门课symbolic logic II的prerequisite是哲学系的symbolic logic I或CS系的discreet structure. 我是上了后者后发现很喜欢Logic于是我的advisor就推荐我上哲学系的Symbolic Logic II.
NL: prerequisite同SL.

2）从这个问题开始，均针对美国上课。你是在美国的第几个学期上这门课的？你觉得这门课程难度如何？比你想象的难还是容易？难在哪里？或者为毛你觉得很简单？
SL: 我是三年级 (junior) 的秋季学期上的。 这门课难度相当大。事实证明在离散(Discreet structure) 里接触到的那点逻辑非常浅 这门课又是哲学系 reading非常多 教授是普林斯顿哲学系毕业的 专长就是Logic. 一个学期下来 主要学了1.formal logical system的一些property及怎么证明它们,如soundness, completeness, and Löwenheim-Skolem Theorem等。2. 著名的Gödel's incompleteness theorems (哥德尔不完备定理)及证明和一些哲学上的application.
NL: 三年级 (junior) 的春季学期上的. 这门我觉得比SL更有意思一些，也略简单一些. 主要学了几个non-classical logic, 如temporal logic, modal logic, fuzzy logic, intuitionistic logic, non-monotonic logic等 并且侧重这些logic的applications 如在CS (特别是AI) 上的应用 还有在哲学上的一些引申

3）上课做了哪些project或者大作业？能大体说一下情况都是做的啥吗？
SL: 期末有一个大project(要求3000-4500字) 大部分人都是写的paper 因为有不少CS majors上这门课 所以也可以写一个程序 但要与课程内容有关. 平时有一些小作业
NL: 同上。

4）哪个project或者大作业你印象最深刻？你是咋做出来的、或者是如何栽倒的？有啥经验感受想说出来？
SL: 我是写的paper, 3000字真太多了。。。。 我写的是Gödel's incompleteness theorems vs. AI. 主要是反驳了Lucas-Penrose argument
NL: 我写的是关于temporal logic的

5）你班里大约有多少人同时上这个课程？有几个TA/Grader帮忙？你觉得你在需要的时候，得到了帮助吗？
SL: 这门课大约有6-7个人 没有TA 教授几乎天天都在 随时都可以去找
NL: 8个人上 其他同上

6）你了解班里的分数分布吗？中国学生一般成绩如何，或者做project、大作业情况如何，你了解吗？
SL: 得A的大概1-2个 2-3个B 剩下的C以下
NL: 基本同上

7）期中或者期末考试是闭卷还是开卷？难度大吗？临时抱佛脚突击有用吗？
SL: 闭卷 很难。。。。差点做不完
NL: 开卷 但比起SL更有哲学的感觉 有essay question之类的

8）如果你有机会可以重上这门课程，你在什么方面会做的不同？
SL: 会尽量多花时间到reading上
NL: 无

9）你觉得这门课程有用吗？学到了什么东西？
SL: 很有用。无论是知识本身 还是培养的逻辑的思维方法
NL: 我在后来上一些CS专业课是深有感触 经常感谢我上了这门课 fuzzy logic, intuitionist logic等在我后来上的别的课上都用到了

10）介意说一下你是哪个学校什么专业的吗？介意说一下老师的名字吗？再次提醒，可以设置积分限制
南部的小型私立学校，具体就不说了。。。