我是19春上的，看了一下20春的课程评价，可能因为2020的特殊情况导致上课开展效果不好。 陈教授这门课讲的深入浅出吧，留给我们课后自己思考的地方也很有意思。考试确实是比准备的开卷资料，考前一定要看看自己的资料，不然给你抄都不一定能找到。 >>更多

隔壁班来评，单纯从刷gpa角度看，最好的方法就是选刘老师的课，考前复习看陈老师的PPT和思考题。 >>更多

这门课的整体感觉就是平淡而轻松。平淡体现在老师讲课一般，说话经常喜欢莫名卡住，抑扬顿挫是不存在的，PPT的内容也是教材原封不动照搬的精简版，所以挺适合自学的。轻松体现在作业不多，全部来自课后习题，答案提示几乎教材后面都有，问题不大。而且不用像隔壁班一样卷入思考题的迷惑内卷中，每想到这里就无比舒适。 >>更多

内容其实不多，把思考题碰到的概念想通了有助于做判断题。期末卷子看着有点吓人，其实两道简答应该给分蛮松的。 >>更多

就如其他同学的评论所说，陈老师讲课是 “大师讲座” 风格，这点同学们的看法就见仁见智了。我个人还是挺喜欢这样的老师。 另外，对于很多同学所说的 陈老师符号、命名等和课本上（以及另一个班）出入很大，我觉得倒还好吧，复习时对比着看了看，只有若干表示方法不同，整个体系肯定还是一样的（而且考试好像也没有怎么 >>更多

陈老师学术水平一流，体验已经写得狠详细了，我说说分数组成吧。今年是由平时作业、思考题、小测和期末组成，比例不知道，但是期末和小测比例应该不会太高。期末记得打好PPT，带上所有你能带上的东西。包括思考题答案，什么十九步，什么双否律。带的多保证你那道直接证明和简答题做对了，4基本就稳了。没带那就没有任何 >>更多

课讲得真心好，站在我的角度，基本算是自己期望中数理课理想的样子。陈老师的课让我少有地全程记了大量笔记，等到期末看回放复习的时候又能有不少新的理解，可以说收获巨大。客观来讲，课程比较注重于对于整个数理逻辑知识体系提纲掣领的描述，你将会对逻辑以及不少以前接触过的离散数学概念有一个颠覆性的理解，而对于编程 >>更多

陈老师过于天马行空，建议不要选。。 >>更多

因为陈小平老师在评课社区评价很高所以选了陈老师的班，不过可能是我太菜了，没有很深刻地感受到其中的精彩之处。陈老师语速很慢，比较催眠，还好今年因为疫情可以看回放倍速播放。今年思考题改成在bbs讨论版上回答。原本定的规则是每个问题如果你的观点和之前的重复了就不算分，造成疯狂内卷。不过最后应该是没有按这个 >>更多

大家已经点评得非常详尽了，陈大牛上课经常扯一些比较有趣的东西，比如他和法国外交部长座谈人工智能发展问题等等。 不过，这学期15周一共30次课，刨开习题课和陈老师翘过的课，我敢说陈老师到课次数一定少于25次，至于有没有20次我就不知道了。 最后，开卷考试请务必备好各种资料 >>更多