很有意思的一门课，个人感觉相比于之前的数理逻辑要简单很多。通过这门课 可以学到 命题逻辑 一阶谓词逻辑 霍尔逻辑等等一系列东西，老师上课一定要认真听，内容不难，很容易理解。但是一定要注意老师的PPT，有些小细节可能被漏过了，我在写ND Proof的时候没有画框框，被扣了好多分。整门课只有这个地方比较 >>更多

首先纯纯大水课，有点类似于科普讲座整体上还是挺有意思的，可以学到很多本来不会知道的知识，比如说植物的世代交替24年的期中略有点抽象，但是期末难度还行有一部分老师的slides和他讲的是有出入的，他只会讲其中的一部分，建议听的时候适当记住哪些被讲了。Bonus给的标准不太清晰，明明每节课都有互动，最后 >>更多

冯老师的线代纯板书，唯一一次用到投影是给大家展示二次曲面的图像，其他时间都是手写板书。老师会证明大部分给出的定理，如果好好听可以很清晰地掌握（虽然我没有）。并且老师的课很容易选（1积分就能上）助教给分很好总体来说对于积分不太宽裕的情况选很值，并且老师讲的还挺好的。 >>更多