0721出分，别的不说，邢老师的奶量是真的非常充足，点开教务系统如同看到核弹爆炸瘫坐在椅子上但是感觉自己根本没学明白OS啊，考试东抄西抄，小组作业也是完全组长carry，AI生成代码，最后答辩的时候面对问题脑袋空空。所以对课程质量不敢妄言，只记得考前对着老师疑似AI生成的slides（虽然确实比较漂 >>更多

0717晚 终于在考后一个月在BB系统上提交了总评 依旧感觉被捞由于往年卷的缺失感觉题目很神秘，不过根据去年的评课估测今年应该考察难度不如去年。今年期末考得有点怪？好像有一些复习时注意的重点没考（然而现在甚至已经忘光了啥重点没考），在B+树大题里考了一问上课当扩展提到的bloom filter? ( >>更多

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