数理逻辑 · 修读回执档案

课程内容：一阶逻辑那套语义语法，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 的证明实在太长，花了好几节课，逻辑虽然清晰但确实很难很复杂）

课程内容： 一阶逻辑语法语义开局，中间杀进寄存器机器、可枚举、可判定这几个熟悉的陌生人，最后哥德尔第一不完备性定理当头一棒收尾，知识密度堪比把一整本逻辑书塞进榨汁机一口闷。 上课自由度： 高，肉身可以不来，课前讲义直接空投，嫌课上车速像老爷车，那就自己踩油门看讲义，没人拦你。 考核标准： 30%作业+70%期末，今年期末平均分貌似在80左右的样子？这个比例摆在这儿，平时分像零头，期末才是真正的终局之战。 授课质量： 有同学觉得尹老师开的是慢速绿皮火车，但我个人觉得讲得还是可以的，至少没把你甩出车窗。

## 课程内容： 主旨是围着一阶逻辑的semantics和syntax打转，课尾还会外挂一个程序的概念 ## 上课自由度： 高，签到这玩意儿不存在 ## 考核标准： 平时作业+期末考试，期中人间蒸发。期末考可以带cheating paper，但凡课上证过、作业里出现过的结论都能直接抄用，难度我个人觉得不上不下刚刚好。考试附带附加题，而且分值摆得相当高，前面题翻车了附加题照样能把卷面硬拉到满。甚至卷面分数越过100分的那部分还能溢流去补贴平时成绩，最后这门课满绩的目测有十几号人。 ## 授课质量： 高，内容基本能接住，抽象概念也能给捋明白，有坑直接开口问就完事

课本身的内容我的兴趣值是零下，但它压不灭一点——老师和助教都很棒的，头一次见到这么认真负责的助教，属于是把'负责'俩字纹在脑门上了。

课程内容：一阶逻辑全家桶，从语法到语义，然后 sequent calculus 上桌，接着 completeness, compactness, decidability, enumerability, 自然数结构等一个个端上来，最后以 Godel's incompleteness theorem 收尾，像吃了一顿逻辑满汉全席。 上课自由度：可以不来，来了也行，主打一个随心所欲。 考核标准：30% 作业 + 70% 期末考试。作业小错扣 0.1，大错 0.2 往上（一次作业满分 10 分）。考试形式跟线代差不多，都是大题，有溢出分——就是那种你写多了也不嫌多、写少了就裂开的感觉。 授课质量：十分好授课，爱来自 ACM。有同学觉得讲得太快，更多同学觉得讲得太慢，这方面众口难调，像在食堂打菜，有人嫌手抖有人嫌给太多，但是跟着课走肯定是没问题的。可能有同学觉得 yq 老师的表达不是那么清楚，但能够看出尹老师非常希望把课上好，并且也很乐意解答同学们的问题——属于是水平在线、态度更在线。

课程内容： 这门课就围着四个灵魂拷问原地转圈： - What is a mathematical proof? - What makes a proof correct? - Is there a boundary of provability? - Can computers find proofs? 整条逻辑脉络顺得像刚拉直的数据线，一点都不打结。 我一开始是真没想通这玩意儿凭啥是必修，直到全部学完、所有线头啪一下接上，好家伙，当场醍醐灌顶，属于逻辑学和哲学的启蒙套餐。结课之后再看相关问题，感觉自己灵魂都升了个版本，谢谢老师。 > 比如现在有人问我“为什么1+1=2？”，我直接回他： > **什么是`1`？什么是`2`？什么是`+`？什么是`=`？** 还有一个巨香的收获：“所有正确的东西都是（在某个证明系统里）可证的，但所有证明系统都有证不出来的东西”，**一句话把“ChatGPT迟早全知全能”这种flag当场摁灭**。 **这门课本身绝对是好课。** 上课自由度：高，无签到分。你甚至可以除了考试以外全程不来，纯线上自学也不是不行。 考核标准：30%作业+70%期末 授课质量：众说纷纭。