难归难，陈小平老师的讲课对思维还是很有启发的。他上课的风格很不一样，不像其他老师侧着课本知识点，一些他认为大家能看自学看懂的知识，就不会在课上过多强调，而是在课上去描绘他的思考。

刚考完，思考题太难了，最后花了几分钟抄了一遍试卷，这里献上。

数理逻辑期末考试汇总.pdf

(内含2017,2018,2020期末试卷, 2017,2018为学长整理的, 2020为我自己整理的)

或许是因为今年上网课老师没有发挥出自己的水平吧，有些低于我的预期。

先来说说这门课，相比于其他两门离散数学（袋鼠结构和图论），这门课的脉络还是比较清楚的，从命题逻辑到一阶逻辑到形式算数，最终证明哥德尔不完备定理。个人感觉形式逻辑、命题演算的一些思想和方法确实也是挺新鲜的，学完之后就会感觉那些 “甲乙丙丁中有一个人说了假话，请问谁是凶手” 的小学脑筋急转弯十分的naive，以及在有人说 “反证和归谬是等价的” 的时候向他投向鄙夷的目光。

难度的话，个人感觉是比袋鼠结构和图论都要简单，至少没有碰到过那种一道作业题想好几天想不出来的情况，也有可能是作业布置的比较简单。

但陈老师的教学……只能说差强人意。看楼上有同学说PPT毫无废话……一共就没几句话当然废话少，而且我感觉废话也不少。老师一节课的PPT一般只有十几张，每张的信息密度也极低，有时候还会出现好几页的回顾，后面各种定理的证明就全都 “自修” “自修” “自修” 。这就导致老师上课时只能即兴发挥，说一些让人似懂非懂的话，几乎游走在玄学的边沿，成为本学期仅次于llxx的第二大催眠师。

然而本学期最迷惑行为还是非思考题莫属，老师每节课PPT会留一两道思考题，放在BB系统的讨论区。一开始完全没人理会，然后老师在大概学期中的某天突然宣布思考题要算分，相似答案只算最早回答。但大部分思考题其实答案比较确定，群里也早已有先辈们的思考题答案，于是一场究极复制粘贴竞速赛就此开始。事后在同学们的强烈抗议下修改了给分规则，修改得更加迷惑，老师解释了一通我还是没搞清楚到底怎么给，直到出总评大部分同学也依然蒙在鼓里，属实玄上加玄。

总之，陈老师的讲课并没有让我有那种醍醐灌顶的感觉，还出了思考题这种巨大幺蛾子，期末考试题还考了十九步直接证明（的变体）这种在开卷下毫无意义的题目。希望今年只是一个因为线上授课而产生的个例吧。

老师上课没得说，很有深度，时常觉得哇牛逼！！！然后后面就有点儿跟不上了2333幸好有回放。课件真的非常非常好，应该为数不多的逻辑层次如此清楚，毫无废话的课件了。考试周看课件真的豁然开朗。

今年思考题考了证明和计算，思考题上有，考试前把bb上思考题大佬的回答打印下来抄了上去2333

提供一个给分样本：小测95，期末91，作业都交了，思考题只提交了一题（之前因为有回放没有听课，考试周才发现原来思考题这么这么重要，学弟学妹一定要好好写思考题啊啊啊）总评92。据助教说老师原本准备思考题硬给5分，小测15分，后来助教哥哥提议助教变成最多加3分，小测20分，优秀率到39.7%。看样子最后就是这么给的。感谢优秀的助教哥哥，真是太奶了！！！

希望下辈子不用做直接证明

希望下辈子不用抢答思考题

在学习CS103和一些形式化课程后，我认为陈老师上课讲的东西很多，很深刻，但是学习理解起来要比前两门课难许多，哪怕看录课效果都不如直接看CS103的PPT易于理解，对于后来的同学，我更建议先把CS103学一遍，对基础有一个完整的理解之后，再听陈老师的课（特指录课，因为听说陈老师现在不教了）。

就如其他同学的评论所说，陈老师讲课是 “大师讲座” 风格，这点同学们的看法就见仁见智了。我个人还是挺喜欢这样的老师。

另外，对于很多同学所说的 陈老师符号、命名等和课本上（以及另一个班）出入很大，我觉得倒还好吧，复习时对比着看了看，只有若干表示方法不同，整个体系肯定还是一样的（而且考试好像也没有怎么涉及这些？）

今年疫情在家，课程模式变了很多，增加了bb上的思考题和一次在线小测。我小测考的很烂，70多分，在班里垫底。之后把思考题全写了（其实很简单），期末考的也还不错。（直接证明我没有按好多人说的19步证明来写，而是把否定肯定律展开了，又递归着展开了否定前件律和同一律，写了老长）。最后总评给了93，很满意了

课讲得真心好，站在我的角度，基本算是自己期望中数理课理想的样子。陈老师的课让我少有地全程记了大量笔记，等到期末看回放复习的时候又能有不少新的理解，可以说收获巨大。

客观来讲，课程比较注重于对于整个数理逻辑知识体系提纲掣领的描述，你将会对逻辑以及不少以前接触过的离散数学概念有一个颠覆性的理解，而对于编程的理解往往能更深一步（此前我对《程序设计艺术》一书的算法部分给出的计算机模型有深深不解之处，在上完第三章后宛如醍醐灌顶，而且再次回顾就能发现这些看起来生涩的计算机模型其实是非常显然且平实的）。而相关定理证明以及一些计算的细节在书上基本都有详细叙述，这部分陈老师一般是不讲的，所以如果考虑到考试的话，这部分必须要学生自己去做很多准备。

本人半年前预先自学过离散数学，听课体验不错，基本没有遇到理解上或做题上的困难。全程如果一直跟着听课、做好笔记、习题跟进的话我觉得学好这门课还是问题不大的。需要注意的是考试与计分相关的部分。

考试和思考题计分的标准非常迷惑，事实上直到课程结束出分了也没讲清楚。关于考试的准备我补充几点，以避免有同学因为某些无关紧要的理由错失大量应有的分数。

1、首先开卷考试必须要准备好ppt的打印文档，最好是带有自己笔记注解的（陈老师的课我认为比较舒服的方式是把笔记随手注解在PPT上，一方面老师上课基本都是围绕着ppt,另一方面对考试的帮助也很大），考试会有可能考到其中的内容，尤其是一些容易认为仅仅是概念性的描述性的句子，也会考。

2、考试必然会考到直接证明型的题目。这部分题目个人非常不建议考试临时推，刷题基本也没用。个人依然建议从PPT和课本出发，印象里需要记住最典型的那几个直接证明的定理例子，比如双否率，否定前件率，考试的时候所遇到的直接证明有很大概率都可以用书上的那几个例子的直接证明串起来作为证明，比起临时推这种随机性极大的做法，稳妥起见还是建议套。

3、如何把现实问题转换成逻辑模型既是一项有用的能力，在考试中也非常重要。建议平时多做锻炼，一些经典的例子一定要能转化。

4、第三章往后时间原因课程讲得比较粗略，但必须要看，而且需要认真学。这部分考试同样会考大题。而且私以为这部分可谓数理逻辑这门课极为精彩的部分，可惜时间所限讲得不多。

5、思考题要思考，建议自己总结一份回答时刻更新保存，不要迷信往年思考题答案（有些流传的思考题回答其实是不充分的，或者有疏漏）。不光影响一部分给分，考试也会考，务必准备好（可能会成为核心区分点）

给分具体不评价，可以肯定的是陈老师班的给分不算“雷区”。

因为陈小平老师在评课社区评价很高所以选了陈老师的班，不过可能是我太菜了，没有很深刻地感受到其中的精彩之处。陈老师语速很慢，比较催眠，还好今年因为疫情可以看回放倍速播放。

今年思考题改成在bbs讨论版上回答。原本定的规则是每个问题如果你的观点和之前的重复了就不算分，造成疯狂内卷。不过最后应该是没有按这个规则来执行。

期末考试试卷应该是两个老师合出的，所以有空最好把隔壁班的作业题也稍微看一看。

最后小测89，思考题在比较迟的时候绞尽脑汁把每道题都写了点，期末考爆炸，但总评还是上90了，完全超出预期，所以还是给个高分吧。