把数理逻辑拆成两门不如合成一门，只学前两章有点少，四章全学又有点多。 >>更多

老师教学水平一般，基本就是念ppt（不过这门课也没什么好教的）不过最后稍微拓展了一点不考的东西上课不点名，你可以选择自学作业比较水，因为书后有提示（基本等于答案）作业差距不大，总评几乎由期末考试完全决定给分是46开略调本人作业好像扣了2.5分，期末87，总评91分，与公式算出相同 >>更多

不点名，可以翘课自学效率更高把课本概念和作业自学搞清楚了考试能拿85+没问题 >>更多

收获还是比较多的，扣分扣在老师约等于没有的教学水平上。1 这门课的授课内容与前置知识授课内容为《数理逻辑》课本的前两章（该课本共四章），内容包括命题逻辑和谓词逻辑。命题逻辑举例：A→B,B→C能否得到A→C？谓词逻辑举例：对任意x∈R，存在y∈R使得x>y，能否推出存在y∈R对任意x∈R使得x>y？ >>更多

讲课水平等于没有，甚至是催眠效果很好的催眠曲。 不调分，甚至还把我小数点后面的零头抹去了。 但是批卷比较松，不会像代数结构一样一点错就扣一堆分。 今年的助教非常耐心负责，加一分7->8。 不点名（再加一分8->9），建议不要去上课，自己自学。 后来发现，老师通过临时增大了期末考试占比的方式来调分，使 >>更多

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

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

或许是目前感受最友善的课（大雾），教材虽然有着代数结构一样的书皮，但竟然写得很清楚，课后习题也有很清晰的答案。因为开卷考，也少了背书压力。而且这门课的内容看起来还是挺有趣的。考试题每年似乎都一个模子刻出来的，每种题都看看做法（比如直接证明可以先用否定肯定率等小结论+HS，把证明推出来再去补充小结论的 >>更多

上课似乎没什么人听课 因为老师催眠 + 书上写得很清楚 适合自学 平时作业认真写 期末过一遍书上概念 做一做往年题就可以去考试了（由于是开卷所以最好把往年的试卷和思考题之类的打印出来带上）期末难度中等偏上 在若干判断题是思考题原题和一道大题是书上原题的情况下也还是没做完 直接证明分值巨大（12分） >>更多

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