希望下辈子不用做直接证明希望下辈子不用抢答思考题在学习CS103和一些形式化课程后，我认为陈老师上课讲的东西很多，很深刻，但是学习理解起来要比前两门课难许多，哪怕看录课效果都不如直接看CS103的PPT易于理解，对于后来的同学，我更建议先把CS103学一遍，对基础有一个完整的理解之后，再听陈老师的课 >>更多

数院业余TCS爱好者2020春选的此课，因为疫情原因是在线读PPT，所以没怎么去听过课。很可惜数理逻辑这门数学基础课科大数院却开不出来，可能科大并不像清华，复旦那样有做数理逻辑的老师，再加上科大也没有哲学系。教材用的是汪芳庭老师的数理逻辑，课本精炼简洁，用来自学非常不错。大概说一下这门课讲了些什么吧 >>更多

复习时才学懂一些的课。 可以去别的老师评论里找点资料看，某些作业很难，考试中规中矩。 >>更多

老师人挺不错的，就是上课讲课语调过于平淡，足以使人昏睡。像评论里面其他同学说的一样，就算我们没听，老师也总是笑嘻嘻的，感觉我们不听课就像是在欺负老师一样。考试题似乎每年也不会有太大的变化，可以看看评课社区里面的回忆版。考试重点是前两章，开卷考试，所以什么纸质版的资料都可以拿进去。考试尤其怪的就是比较 >>更多

比较失望的一门课程。感觉有意思的东西应该都在最后一章，然而因为课时的原因后面匆匆略过了。助教工作比较认真，但对课程的理解似乎也只停留在做题考试上面，最后有个作业题我们没看懂答案在群里请教，得到的答复竟然是考试不会考。。。不过助教平常的工作比较认真，习题课也确实在为同学们的考试成绩着想。平时不点名，到 >>更多

2021年了，cxp老师的ppt和思考题仍然有用，对于理解帮助还是很大，一定要多看看，多想想。老师上课念ppt，ppt就是书，小测没有。 >>更多

万恶的离散数学已经来到了它的最终章！老师上课基本就是念书，偶尔穿插一些听不懂的有关AI推理方面的应用，总的来说，这门课可以自学（暗指老师上课催眠 。平时作业很简单，也不是很多；期末考试不难，开卷(第三声)，但是跟作业题风格不完全一样，建议考前自行去GitHub上搜索USTC-CS有关资源。说说今年期 >>更多

快毕业了，统一评课。这门课我是20年上的，总体不推荐。 这门课绝对不止1分，给1分就是稍微拉低一些。9分也太离谱了，我当年就是被不实评论骗进这个班的。 第一，课程很难，以至于没有太大的学的必要，一般人学不懂。或者是自以为学懂了。第二，承接上一点。因为几乎没什么人学懂，所以考试就是抄答案大赛（开卷）。 >>更多

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

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