0717考后一个月终于出分了，感觉给分上还是捞了的，考完觉得释怀地似了由于上古课程《数理逻辑》被拆成了两门课（导致早年间的往年卷不知所云），《数理逻辑基础》这门课知识上比较有限：命题演算（零阶逻辑）的语法和语义、谓词演算（一阶逻辑）的语法和语义，对应书本的第一第二章。老师上课有点无聊，不过我也想不出 >>更多

终于出分了，因为这门课要上到十二点所以我就只去了前面几节课。但是前面几节课老师讲的太慢了，而且是数电模电学过的内容所以就没有认真听，后面发现老师不点名就不去了。作业比较少，但是有几次很难，几道题写了半天。考试的话可以看看往年题，基本上是固定的那几个题型。判断题好难呀……我记得我好多都打勾了有没有懂的 >>更多

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

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

刚考完，趁着热乎劲来说点考试相关的。今年的考试应该算是比较简单的(但是我比较菜，可能考的不是很好)，7道判断题没有涉及到那些课本没有的但是cxp老师ppt有的内容，也没有简答题(白问chatgpt了，命题演算里的直接证明在课本习题中是间接证明，可以进行一个魔改(虽然我还是花了挺久才改出来，谓词演算出 >>更多

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

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

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

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

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