给分很不错，这门课也确实简单（但是也没简单到学一天就能拿很高的分），平时作业都是抄的（不过还是建议自己做），考前突击三四天，多多注意直接证明和谓词演算的证明就行，所有题型都有套路，直接证明掌握了套路其实也很简单，谓词演算的证明我自己也没学太懂，考试的时候寄了 >>更多

从选课人数就能看出这门课的含金量了，3C202的大教室座无虚席，虽然我还是觉得十几个人的小班课上课体验更好一些。 更新一下，不知道考了多少分就出总评了，感觉期末试卷出的不好。开卷考试没什么复习压力，就搭配着形式化方法导引一起选着玩儿了。 >>更多

课挺好的，老师不是很行。教考分离其实也是这个老师老生常谈的事情，以及可以看得出来老师确实很可惜没拿到图灵奖（笑）。如果没办法换到别的老师班上，也没必要退课，给分还是不错的（期末感觉考的不难，综评97，估计也有上调）。考试是开卷的，考试内容其实看一看近年真题，发动一下豆包思维（确信），依葫芦画瓢就能做 >>更多

上课完全可以不听，老师讲的很多都是考试范围以外的，置课到这个班的赶紧跑吧 >>更多

课程安排不太行，这门课的知识量明显撑不起14周*3课时的水平，导致到后面就翻来覆去讲谓词演算的各种细节，什么语法和语义层面各来一遍，整的昏昏欲睡考试还不考这些，如果只是面向考试基本完全没必要到课或者前几节课听一下就够了，不如多刷点题找找手感（不过有那么多题吗）考得太差了，难受 >>更多

依旧讲的不考，依旧会的写不完，题量怎么这么大啊woc，我真没招了...… >>更多

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

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

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

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