数理逻辑

课程内容：一阶逻辑那套语义语法，completeness、compactness，一阶逻辑（停机问题）的不可判定性，还有证明的边界（incompleteness Thm）这种一听就想当场躺平的东西，最后一节课还塞了个Persberg算数，属于是期末前给你加一道甜品，但这甜品是带刺的。 考核标准：平时作业30%+期末考试70%，平时分就是11次作业打分的平均值，期末能带A4的cheating paper，但我感觉这纸基本是心理安慰型装备（拟合失败），不过最后大大捞了，感谢捞人菩萨。 授课质量：整体挺高的，有不明白的地方随时可以打断发问，老师会耐心地再给你讲一遍。就是有些时候上课实在有点跟不上，课下得重新消化很久，平时作业没有AI帮忙也很难想出来怎么证明，而且AI碰到logic问题经常开始胡说八道……不过板书、讲义和举例都挺清晰的，助教解答疑惑也很耐心！

课程内容：上面的楼说过了，此处不再赘述，但这学期删除了有关completeness在uncountable case上面的讨论。 上课自由度：高，不会管你干什么，也不会签到，人在不在座位上全靠缘分。 考核标准：0.3 * 平时作业 + 0.7 * 期末考试，这两个数就是本门课的最终参考答案。 授课质量：质量一言难尽，一开始的感觉就是念Yijia Chen的讲义，但在讲授中会穿插一些自己补充的例子（最后有的变成了考题），然后就是会在讲完后拓展Pressburger算数之类的东西，挺有趣的。期末考试估计大捞特捞了，这一届的考题风格与往年完全不一样，也没有以前的常客Peano证明系统，打了个措手不及，但是考的东西是类似的，面向数据点复习还是有点用（不过有一道题还是太tricky了QwQ），复习像对着旧地图找新大陆，方向对，路不认识。

课程内容： 跟着课件走，后半学期某几堂课的内容会多到溢出屏幕 上课自由度：高 考核标准：上一位同学写过。平时作业这次扣分扣得挺狠，均分很多次不到90。期末说实话难度不高，应该有不少人快摸到满分，剩下像我这样平时作业都抖腿的，期末认真刷也能到90分左右。 授课质量：高，尹强老师的说话方式我是真觉得有意思。这门课像给脑子装了个新视角，越来越有逻辑，推荐认真学。

课程内容：别的评论已经把这盘菜端走了 上课自由度：高（我期中之后基本人形GPS失效，教室在哪全靠脑补） 考核标准：平时0.3，期末0.7 授课质量：较高 ---------------------------------------------------------------- 对于要学这门课的某两班学子，接下来的内容才是正片，前面那几行是预告片。 1.尹老师人很nice，但语言表达这块属于是CPU性能拉满、网卡带宽不够，你很容易在课程刚开始就把概念搅成一锅粥，课程主线更是像被猫玩过的毛线团。建议多跟大佬贴贴，不然平时作业你连第一题都下不去手。 2. PPT来自陈翌佳老师（应该已经教过你线代）的讲义，读陈sir的PPT对本课程帮助巨大，基本可以靠PPT自力更生，PPT就是你的赛博义父。 3.平时作业给分不太高，注意别整大活（你也不想平时分只拿80%吧，那感觉就像满勤却只领到半份工资）。 4.备考时间不够的话，可以按数据点（而非知识点）复习。纵观ML四年期末卷，试卷结构与考察内容几乎一模一样，甚至有题反复返场，属于是期末卷里混进了复读机。把几张往年卷子刷完，你基本有85分打底，相当于提前给自己上了个保险。 5.很多同学表示不理解学这门课的目的，觉得它对写代码没啥用。但学习不一定是效益导向的，希望各位cs学生能享受这门课，对逻辑产生兴趣——毕竟人生不只有编译通过的快乐。

课程内容： 具体内容别的楼已经写过了，我这儿就不当复读机了 上课自由度： 极高，人不到都行。叠加上这学期时间安排堪称阴间，12：55一路干到15：40，后半学期出勤经常稳定在十来个人(x 考核标准： 30%作业+70%期末 期末感觉难度适中，大部分题都比较基础，认真听课＋做作业都能应对，个别题可能需要一点灵活的思维。（感觉期末似乎是捞了的，卷面比我想象的高 授课质量： 个人感觉老师讲的很好。不用PPT，会下发slides，上课几乎纯板书。讲每一个板块的时候，会提醒大家这个定义，这个定理的出发点和核心思想是什么，整门课和每一个板块的逻辑是很清晰的。 （但u1s1，例如 completeness 的证明实在太长，花了好几节课，逻辑虽然清晰但确实很难很复杂）