ML CT Paper

Preface

This is a legacy document for ACM Honors Class students from the 2025 cohort onward. It summarizes the main knowledge points covered in CS2950 Mathematical Logic in detail, with some omissions. One thing worth noting is that on the evening of 2025.6.5, based on the first three authors’ notes, I added six examples fitted to the pattern of the last three years of ML finals. I think this is a very interesting course, although it is also genuinely difficult.

LaTeX Source

https://latex.sjtu.edu.cn/5789875599fpdzxjcfzrgw#7dce86

You can delete or modify it as needed.

Acknowledgement

In no particular order:

  • Coffish
  • Monkey_Lee
  • Sakura_Dusk