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

Before：priority_queue终于启动了！情书只有三行，爱意起于一瞬，结局愿是一生Data Structure 13 优先级队列优先级队列是什么？元素之间的关系是由元素的优先级决定的，而不是由入队的先后次序决定。在优先级队列中，优先级最高的元素是队头元素，优先级最低的元素是队尾元素。 基于树的优先级队列基于线性表的优先级队列入队出队的时间复杂度总有一个会到O(N)，我们不可以接受这个时

Before：喜欢物理，喜欢数分，喜欢数据结构😋😋😋（疑似学了一天发疯）喜欢日升日落，喜欢璀璨星河，喜欢得不到的你Data Structure 12 哈夫曼树 树和森林哈夫曼树和哈夫曼编码背景：大多数计算机采用ASCII 编码，ASCII编码是一种等长的编码，每个字符的编码长度相同。但我们有一些常用的ASCII字符，也有一些较不常用的字符。如果所有字符均等长，将会造成保存文本空间较为庞大。所

Before：全世界都在偶遇她，只有我没机会嘛😥Data Structure 11 二叉链表遍历的非递归实现及二叉树的应用二叉链表遍历的非递归实现上一节翁阿姨的课上，我们讲到了通过栈对函数实现非递归调用，而今天所说的二叉链表遍历的非递归实现，同样也是依靠链接栈这一数据结构实现的。实现时需要注意进栈顺序的细节，下面给出代码实现。 12345678910111213141516template &l

Before：接Data Structure 9，继续二叉链表…PS: Today is a happy day for Jane,maybe you can guess why?Data Structure 10 二叉链表二叉链表类定义首先，回顾一下《C++程序设计思想与方法》，友元函数（friend function）是一个特殊的函数，它可以访问类的私有（private）和保护（protect

Before：忙里偷闲出一期extra，感觉后面时间越来越少了，Games101遥遥无期😭😭😭Java Basic 4Good program designCorrect / Easy to understand / Easy to modify / speed NamingVariables: nouns,lowercase first letter,capi

Before：这一章，我们要进入一种新的数据结构类型——树🌲🌳🌴🎄。lz早就听闻各种神奇的树（二叉树、平衡树、红黑树、线段树、B树、B+树…）😇😭😥，今天中午和学长吃饭得知他红黑树调了1个月找不出bug只好重构的事迹，已经开始害怕了😰咱们还是快开始吧！Data Structure 9 树为了满足一下某人的好奇心，决定先贴一张树的归纳总结的图，作为开端（自己宠自己） 树的定义首先，回

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

Before：字符串是琴弦，想弹琴了🎸🎹🪕Data Structure 8 字符串字符串的定义字符串是由若干个字符按照一定顺序组合而成，如果把单个字符看作一个元素，则可把字符串看成是一个字符类型的线性表。但区别在于，线性表中的个体大多相互独立，强调的是对表中某个元素的操作，而字符串更强调的是整体的操作，是对多个字符串的同时操作。关于字符串的基本操作有以下几种：1.求字符串中元素个数lengt

数据结构2 线性表线性表线性表的抽象类中，少了构造函数（对应create函数），多了析构函数。我们将create函数交给了具体类的构造函数。那为什么要加析构函数呢？这里的虚析构函数是为了防止派生类中出现内存泄漏。计算机看到抽象类的析构函数时，才回去找到派生类中的析构函数，防止派生类出现内存泄漏。virtual ~list(){}; 什么是顺序实现？线性表中结点存放在存储器上一块