期末试卷相比往年更加不知道考察的是什么。希望改进题型。 >>更多
碧雅老师一顶一的好老师，豪课！猛猛选就完了！选了碧雅老师的课包不后悔的！ >>更多
如果非要比一个优劣的话我给这个好评，这门只是考的难了一点，相比于更💩的自控和更更💩的开卷等于闭卷的某个课程来说，还不错 >>更多
放一个将 “使用演绎定理的证明” 转写为直接证明的算法: 假定我们现在已经有了 Γ∪{p} |- q 的证明序列 (q_1,q_2,…,q_n=q) , 想要写出一个 Γ |- {p→q} 的证明序列. 我们知道直接证明的定义虽然是链式的, 但它实际上有着如同二叉树的结构: 从最后的结论往前回溯, >>更多
利益相关：全勤，小作文10分，总评2.7。发邮件问了，老师说是卷面成绩太不理想。这我只能自认倒霉，但还是很失望，第一是因为没有保底3.3，第二是因为自己的政治课水平怎么这么烂，连老师都捞不动。我有一个朋友和我情况一样。但总体来看老师讲的很好、事情也少，评课社区其他同学收到的给分也是很不错的。 >>更多
2025.6.14 孩子已经要完蛋了 >>更多
混了个3.7，主观上对这个0.5学分的课不太重视任务不多，实验其实挺简单（也是有用的），实验报告是随便写的。总的来说比大雾实验好不少，一是有用，感觉可以为以后做实验打个浅浅的基础。二是事少，实验报告不卷，数据处理也没有那么严格，任务量小很多 >>更多