这门课作为离散数学三部曲的最后一部，也是人工智能的基础课程之一，其难度相对来讲是比较低的（毕竟期末开卷23333）。首先来说一下老师的讲课风格。由于今年计算机学院人数爆炸性增长，所以不少原来只有一个班的课程今年被迫开了两个班，数理逻辑也是这样，刘老师今年也是第一次教这门课。刘老师的讲课风格基本上就是 >>更多

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

大学2年来，最投入、最有兴趣、最愿意听的课！ >>更多

首先，这门课我个人觉得很难，哥德尔定理的证明那一章坐了很久的飞机，最后理解得也不通透。但是很喜欢这门课，教材非常科大，但是非常精妙（对比隔壁代数结构教材，真是天壤之别）科大两年里很多教材我都会选择去借一些其他书来参考，但是这门课，真的没必要，编者汪老师水平极高，陈老师的水平也非常高，讲课深入浅出，具 >>更多

老师上课没得说，很有深度，时常觉得哇牛逼！！！然后后面就有点儿跟不上了2333幸好有回放。课件真的非常非常好，应该为数不多的逻辑层次如此清楚，毫无废话的课件了。考试周看课件真的豁然开朗。今年思考题考了证明和计算，思考题上有，考试前把bb上思考题大佬的回答打印下来抄了上去2333提供一个给分样本：小测 >>更多

离散数学系列课程，课程比较难，外院木有修过类似代数学基础的课不建议选。。作业题不看答案挺难想的。。老师上课嘛除了有时会说类似“我相信善良的机器人会战胜邪恶的机器人”这样略民科的东西，我觉得讲的还可以吧，至少我不听课看不懂课本讲的是什么鬼。。。平时会留思考题，期末有一节讨论课专门让同学讨论思考题，发言 >>更多

作为评课社区职业钢琴家，连广受好评的ICS都敢不给满分的我这次来谈一谈陈老师在我看来不吸引我的地方：（因为人格魅力都被其他楼的说全了，我并不是说我很讨厌，只是有一些要传达出来） 老师经常出差，这学期甚至是翘掉了三四节还是四五节正课，但尽管是每周四第二节习惯性压堂到接近12点，形式算术和哥德尔这两个在 >>更多

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

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

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