Before：风止于秋水，我止于你Introduction to Algorithms 2 Binary Search Tree & Binary Search SortBase on ?Runway Reservation System!!!(My favourite plane! We’re saved!) PropertiesEach node x in the binary tr

Before：去年12月从班主任口中得知了我们的主角——MIT 6.006 Introduction to Algorithms这门非常经典的课（被誉为“MIT-EECS系的瑰宝”）。室友 @three-hats-user 同学在我的推荐下（自己没学别人学了🤡）在寒假卷了这门课（虽然还没学完），对它评价也很高。于是今天入手了这门课，一句话：不愧是MIT EECS🧎‍♀️🧎‍♀️🧎‍♀️另外

Before：哎呀数理逻辑真的好抽象😭本来英语就烂，还有一大堆新定义的符号，绕在一起，感觉更像是在学语言而不是数学😥再加上周五晚上连上3节😅Result：果断重开了Decision：我一定要用中文把这门课搞清楚，抵制洋文！！！Mathematical Logic 2 一阶逻辑的语义Structure 结构在不同的场合下，同一个一阶逻辑命题可能有不同的含义。如对∀v0Rv0v0，既可以解读成“

Before: 数理逻辑CS2950是ACM班大一下要求修的一门课，这门课本质上还是一门数学课，一般也是数学系的同学可能会上的（而不是计算机系🤣）。Prof是Yin Qiang，Yijia Chen的学生。后续会更新这门“抽象”的课的Lecture Notes❤️ Methematical Logic 1 Introduction & The Syntax of First-order