数理逻辑
差生视角
大概算是名声不太好的一门课...
-
教材：不说人话的一本书，从图书馆随机找一本数理逻辑教材大概率会比这本《数理逻辑十二讲》强。关于替代教材的话本人用的是李未的《数理逻辑：基本原理与形式演算》的前三章，大概覆盖到第六讲的内容（看了一阶逻辑应该就会命题逻辑了）。搞明白一阶逻辑的话后面的内容也有些可读性了。另一个推荐是 Mathematical Logic for Computer Science，另有前辈的博客配套食用，不过内容和课程有些出入，或许要注意一下。
-
老师：感觉 qy 有尝试把这门课上得好一点，不过效果不尽人意... 抛开课上的神秘口误，在第一次习题课就因为一个比较显然的离散数学问题和同学争论良久。最离谱的地方在于 22 年考试的最后一题要求证明一个表述存在争议的 Löwenheim 定理（待补充）。如果抱着图一乐的心态听听也罢。
-
考试：22 年由于疫情影响取消了期中考试，因此成绩构成是平时成绩 30%（白送，交作业就有），期末 70%。期末考试形式为开卷，可以携带任何纸质资料。共有十题，每题十分，绝大多数内容和往年卷相似，甚至有四题原题，所以信息战要做好。
即使不考虑原题，大部分内容也都不是很难，基本上理解了一阶逻辑就可以做了。按照 qy 的话，“90% 的题目理解了课上的内容就可以做”。最后一题（大概是那 10%）由于内容争议不予评价，摘抄如下：
请证明 Löwenheim Theorem: 在不带等词的谓词逻辑中，如果公式 A 在任意可数无穷论域上的任意赋值下都为真，则 A 公式是永真的，即公式 A 是永真的，当且仅当 A 在可数无穷论域中是永真的。
理论上在分数构成之外还存在一个“答辩”的可选项：大概是找个时间去 qy 办公室面试，根据结果给总评加分或者减分。由于本人没有参加就不赘述了。
-
给分：个人感觉符合预期，即使最后一题大概率没分也可以比较轻松地捞一个不错（90 左右）的分数。
个人觉得这门课可以一曝十寒，根据兴趣决定是否要在上面花时间，即使速成也足以应付大多数题目。