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

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

中规中矩的一门课，但是教材非常好！！很适合自学首先是讲课水平，听了前两节课后我觉得单纯是在念（和书一模一样的）ppt，而且很无聊。大概上一节课的进度等于自己看书半个小时的。于是之后就变成只去自习了，但是也不点名。看完教材大概题目也都会做了，作业不多，实在不回的话书后面还有贴心的提示。最重要的是：看完 >>更多

严格46开，经典离散数学给分，不要有什么幻想了。 讲课催眠，完全自学，考前突击，开卷瞎写，总评81，甚至小数点也不肯四舍五入。 不少人翘课去做核酸检测，好像挺方便的（俺也没试过） >>更多

老师讲两小时课后看半小时就能看懂……传一个自己整理的速查表）/uploads/files/5a72bdb1bb5672f91ab0cc2435cda859c2b30a63.docx >>更多

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

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

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

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

前面的同学已经评价的很详细了（许老师给分确实很奶(๑>؂<๑））在此就稍微谈几点注意事项之类的吧:1、实话实说，这门课确实是可以速通的（ppt+作业+往年题可以速刷），但是不太建议，我是每节课都到堂听课了，许老师有在黑板上写题目过程的习惯，而常常不会把解题过程放在ppt上，所以如果到堂听课的话在题型 >>更多