课程介绍上写着许杨和刘建春两位老师，但最后都是许杨老师上的。许杨老师明确表示不点到，并且上课有回放，作业是祖传作业，（评课社区可以找到，可以提前写），班级也没有很卷，总体非常推荐。许多人觉得期末中的直接证明比较难，但我做了一些往年卷后感觉还是有套路可循的，之后看看有没有时间写个pdf发到评课社区。( >>更多

这门课作业少，老师给分超好，而且直接说平时可以不去听课也不会点名，助教也很负责，满分。前期很水，讲的都是正常的逻辑思维自然而然能想出来的，布置的作业甚至不需要听课就能写，但是后期又难度陡增，尤其是证明题。考试的直接证明题更是难，而且考前刷了很多题依然写不出来，感觉这个没有具体的套路，就靠灵感，有套路 >>更多

前面的同学已经评价的很详细了（许老师给分确实很奶(๑>؂<๑））在此就稍微谈几点注意事项之类的吧:1、实话实说，这门课确实是可以速通的（ppt+作业+往年题可以速刷），但是不太建议，我是每节课都到堂听课了，许老师有在黑板上写题目过程的习惯，而常常不会把解题过程放在ppt上，所以如果到堂听课的话在题型 >>更多

助教人人好，这是我来评论的唯一理由。ys助教救我狗命课程很简单，考试前一天复习速通就可以，复习完拟合往年题即可。 >>更多

辅修人，第一次见老师是在考场上，作业抄的 github 上去年的答案，考前两天从 0 开始速成最后 3.7。卷子上直接证明不会，其他不少东西感觉也是瞎编的，走出考场甚至感觉要 3- 了，感觉很多东西学的都不是很明白。不过许老师给分真神吧！ >>更多

不知道自己多少分，故也就无法评价给分好坏。稍微评价一下今年期末考的卷子，比往年的会恶心一些，体现在两道应用题，和判断题的一些坑点。但反正理解了，而且概念之类的认真翻翻看看，这张考卷也没什么难的。回忆一下考卷（如果还有记得更多的可以在评论区说一下）：第一题：判断题（每题 3 分）（不保证顺序）。(1) >>更多

期末考完了，先占个坑2024/07/11 更新人在杭州参与遥遥领先夏令营，结果数理逻辑基础出了，卧槽！许杨老师唯一真神！请听我诉说许杨老师的神迹！本人：后半学期作业压线交（有好几次扣大分）+后半学期翘课，期末一周极限速通看录课+看PPT+考试直接证明一道大题几乎没写出来（不过别的包括判断题应该都差不 >>更多

？？？？？？？？？？？？ >>更多

中国科大 woc害惨了我 >>更多

温馨提示：课本后面是有习题答案的 >>更多