Mathematical-Logic5
Before：Raytracing ing!Build my first ppm file!I ❤️ Computer Graphics! Mathematical Logic 5 Left Proof of Substitution Lemma 替换引理 & Sequent Calculus (I) 序列演算 Left Proof of Substitution Lemma 替换引理
Mathematical-Logic4
Before：昨天立的flag要在这周结束前finish map，经过昨天一下午+一晚上和今天一上午+一下午艰难地debug（快被leak卡死了呜呜呜），终于过啦！至此，STLite-2025这个轻量级STL库的大作业全部完成🥳🥳🥳比ddl提前了一整个月，本学期只剩下最后一个大作业——Ticket System了，所以：现在可以美美开始BPT啦（bushi）but，数理逻辑还是好抽象啊😣�
Algorithm Of DS——Monotonic Stack & Queue
Before：最近在de STLite的最后一个数据结构map。周二用一个下午+一个晚上搓完后，开始了《漫长》的debug环节，目前来看问题出在erase上（AVL倒也合理），RE麻了…😰😰😰遂开始了算法学习呜呜呜。立个小目标，这周结束前把map过了吧求求了😢😢😢最近还是很开心的，也很轻松，希望能轻松一学期（bushi🤣🤣🤣）今天知道了一件事，让我觉得人间值得😣😉☺️ Alg
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🧎♀️🧎♀️🧎♀️另外
Mathematical-Logic2
Before：哎呀数理逻辑真的好抽象😭本来英语就烂，还有一大堆新定义的符号，绕在一起，感觉更像是在学语言而不是数学😥再加上周五晚上连上3节😅Result：果断重开了Decision：我一定要用中文把这门课搞清楚，抵制洋文！！！Mathematical Logic 2 一阶逻辑的语义Structure 结构在不同的场合下，同一个一阶逻辑命题可能有不同的含义。如对∀v0Rv0v0，既可以解读成“