Mathematical Logic Cheating Paper

ML CT Paper

前言

这是留给25级往后ACM班学弟学妹的一份遗产了，很详细地总结了CS2950 Mathematical Logic这门课程涉及的主要知识点（有所删减）。特别值得注意的是，我在25.6.5晚在前三位作者整理的基础上，增添了6个example，是拟合了近3年ML Final的结果。今晚考完，更觉得整理地挺到位（精准吧这是能说的嘛🤣）。分数还没出，也不知道实际到底考的怎样😢 但从这门抽象的课中，我学到了很多。这门课的意义就在于，它真正改变了我们看待数学的观点，让我们去定义我们写了这么多年的证明，用了这么多年的公理。我觉得这是一门很很有意思的课（但这门课的难度还是很大的，做好心理准备吧🤣🤣🤣）