这门课还是相对轻松的，作业不多，要记的知识点不多，考试也是开卷今年的几位助教都非常好，考前帮大家整理了详细的复习笔记，我也从里面学到很多东西，对考试很有帮助最后总评被卡绩了，有点遗憾 >>更多

卡绩了难受 但是课程还是好评的 老师不点名说可以自学 把习题课上重点讲的两部分谓词演算和直接证明吃透就问题不大。开卷感觉只是降低了直接证明这道题的难度，因为可以直接套公式的证明过程，要想考出好成绩还是要自己多学一点。 >>更多

考试都过去一个月了，我建议就别出分了，教务处你就藏起来在被窝里看去吧 >>更多

高悬的达摩克斯之剑何时斩下…我等在看到直接证明的那一刻早已准备好人头… p.s. 谓词演算和命题演算的完全性和一致性（考完了已经忘了是不是这两个词了…）完全不考却花了好几节课讲，爽玩这一块🤩🤩 >>更多

提供一下整理的往年试卷～，都是评课社区搜集到的散落的，然后拜托ai合订了一下数理逻辑历年试卷合订.pdf >>更多

🤮哦牛批还有这种课的 >>更多

老师讲课是真的很不行，但是不点名也不小测的，建议置课到这个班的就自学就好了，有问题问助教就行。我是考前两周开始学这门，面向往年题把知识点分类，再对着ppt过概念和定义。平常的作业题都很简单，数量也不多。考试前学了好久直接证明，本来前几年的都已经手拿把掐，结果最后考场上还是没做出来，非常遗憾。最后总评 >>更多

出分了，没怎么听课，作业AI，考前突击复习了几天，2.7飘过 >>更多

本人辅修，上课因为叠课全翘作业全部ai抄写，都交了考前完全没复习考试的时候只能拼尽全力写小作文证明逻辑，抄相关的概念，判断题全打叉了（没看往年题）总评69，没被挂科个人非常满意，感谢老师捞 >>更多

先来份考试试卷2023春数理逻辑期末考试回忆.pdf 出总评来补 >>更多