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