Mathematical-Logic3
Before：下课就去捞！3周没捞了😋😋😋上大学后捞的频率大幅增长🤣🤣🤣🐖🐖🐖 Mathematical Logic 3 重合引理 同构引理概念回顾项是由变量、常量符号和函数符号通过递归方式构造的表达式。公式（formula）是由项通过谓词符号、逻辑连接词和量词构造的表达式。结构由域和解释函数组成。解释由结构和赋值函数（将自由变量映射到域中的元素）组成。 原子公式：包括等式公式
Introduction-to-Algorithms3
Before: 哎帮人debug好累啊，边改别人的代码边学AVL，也是无敌了。我到底要不要见她一面呢？感觉错过了就是一辈子😢😢😢Introduction to Algorithms 3 Balanced Binary Search Tree——AVLFirst, recall an important definition of Height of a Node: length of the
Introduction-to-Algorithms2
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
Introduction to Algorithms1
Before：去年12月从班主任口中得知了我们的主角——MIT 6.006 Introduction to Algorithms这门非常经典的课（被誉为“MIT-EECS系的瑰宝”）。室友 @three-hats-user 同学在我的推荐下（自己没学别人学了🤡）在寒假卷了这门课（虽然还没学完），对它评价也很高。于是今天入手了这门课，一句话：不愧是MIT EECS🧎♀️🧎♀️🧎♀️另外