Mathematical Logic CT Paper
ML CT Paper前言这是留给25级往后ACM班学弟学妹的一份遗产了，很详细地总结了CS2950 Mathematical Logic这门课程涉及的主要知识点（有所删减）。特别值得注意的是，我在25.6.5晚在前三位作者整理的基础上，增添了6个example，是拟合了近3年ML Final的结果。我觉得这是一门很很有意思的课（but这门课的难度还是很大的🤣🤣🤣） LaTeX 源码https://latex.sjtu.edu.cn/5789875599fpdzxjcfzrgw#7dce86 可以根据个人需要删改 Acknowledgement (排名不分先后) Coffish Monkey_Lee Sakura_Dusk
