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

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

试试Lean4当你的证明助教。推荐前置: Lecture notes and assignments week1-week6 >>更多

说到这门课最严重的问题，毫无疑问是“教考分离”。教的内容很多都不考，考的内容也没有重点讲。虽然这门课确实考点少，开卷，不需要咋复习，但是从授课的角度，我认为有必要专门拿出一些时间（比如最后一次课）专门讲考试内容&重点。前面的课扯远了不要紧，但是重点不能落下。 >>更多

上课讲的都不考。。。 >>更多

课程终于结束了 在考试前先说几句：客观来说，刘老师是个不错的老师，上课除了有点催眠之外还是挺不错的，ppt也比较完整。这门课的作业近似脑筋急转弯，时常因为奇妙证明卡住，很难想象最终的开卷考试会出成什么样子（ 考完追评：卷子意外地挺正常，除了判断题较为阴间，后面大部分都还是作业涉及过的方法（甚至还有课 >>更多

没什么用的课，学完就忘完了，但是这个老师没点名，没小测（可能上课做一点不交的小测），期末给分还行，如果置课这个老师也没必要换，都是考前速通的，比图论还没有学的欲望，随便对付对付就行。 >>更多

点开课程群绷不住了，怎么这么多大三数院✌求佬们手下留情😇😭😭😭更新：直接证明没写出来，其他题目可能有小问题，判断不知道，勉强优秀，已经满意了，毕竟也就两学分，老师、助教人还是挺好的，尤其是封助教，赞一个 >>更多

考试的时候一般可以直接skip掉直接证明，因为就是证不出来。一定要记得打印老师的PPT的最后一个part，那里面有谓词推理的格式要求和示例，而这一部分书上是没有的，考试最后一题还必考这个推理，如果没打印就只能像当时考试坐在我旁边的同学一样面对最后一个题想半天一个字也写不出来，最后无奈像沙摩柯一样弃牌 >>更多

请问可以个性化吗？一直没有审核诶 >>更多