期末考完了，先占个坑

2024/07/11 更新

人在杭州参与遥遥领先夏令营，结果数理逻辑基础出了，卧槽！

许杨老师唯一真神！

请听我诉说许杨老师的神迹！

本人：

后半学期作业压线交（有好几次扣大分）

+后半学期翘课，期末一周极限速通看录课+看PPT

+考试直接证明一道大题几乎没写出来（不过别的包括判断题应该都差不多对了？）

=

90/4.0

这还不选愣着干什么！！！！！！

前面的同学已经评价的很详细了（许老师给分确实很奶(๑>؂<๑））在此就稍微谈几点注意事项之类的吧:

1、实话实说，这门课确实是可以速通的（ppt+作业+往年题可以速刷），但是不太建议，我是每节课都到堂听课了，许老师有在黑板上写题目过程的习惯，而常常不会把解题过程放在ppt上，所以如果到堂听课的话在题型作答掌握方面会比较受益。

2、考试时一定要重视判断题，就算是感觉自己理解的比较好了也要去再翻一遍书确认一下。我在正式开始考试前就把判断做完了，结果爆错两个（相当于半道大题），对答案时真的心疼，确实是我太自信了，孩子再也不敢了(╥ω╥`)  

3、在平时学习过程中一定要重视语义和语法的区别，我知道刚开始理解的时候会很难受，但是这对后面的学习以及备考都很有帮助。

4、如果想要突破直接证明题，建议提前积累一些二级结论的直接证明的套用，可以有效的降低这题的难度（我们这学期的直接证明属于是祖传证明的再套用了，去年和今年的考试都是前年直接证明的运用，只要做过并且发现了两者之间的联系就很简单）

课程介绍上写着许杨和刘建春两位老师，但最后都是许杨老师上的。

许杨老师明确表示不点到，并且上课有回放，作业是祖传作业，（评课社区可以找到，可以提前写），班级也没有很卷，总体非常推荐。

许多人觉得期末中的直接证明比较难，但我做了一些往年卷后感觉还是有套路可循的，之后看看有没有时间写个pdf发到评课社区。

给分方面，老师很奶了。

这门课作业少，老师给分超好，而且直接说平时可以不去听课也不会点名，助教也很负责，满分。

前期很水，讲的都是正常的逻辑思维自然而然能想出来的，布置的作业甚至不需要听课就能写，但是后期又难度陡增，尤其是证明题。考试的直接证明题更是难，而且考前刷了很多题依然写不出来，感觉这个没有具体的套路，就靠灵感，有套路反演法可以做出来但是很复杂，我考试时是没时间去反演。课程难度曲线不合理，得扣一分。有大佬表示是有套路的，还是我太菜了-_-

助教人人好，这是我来评论的唯一理由。ys助教救我狗命

课程很简单，考试前一天复习速通就可以，复习完拟合往年题即可。