《计算理论》知识整理
During 2019.9∼2020.12019.9 \sim 2020.12019.9∼2020.1，I was involved in the Theory-of-Computation class guided by Yingchun Yang.
Mrs. Yang do not teach well, so I had to learn by myself and tried to summary something.
Set and Language
The Diagonalization Principle
RRR is the binary relation on set AAA.
DDD is the diagonal set for RRR: {a:a∈A∧(a,a)∉R}\{ a:a \in A \wedge (a,a) \notin R \}{a:a∈A∧(a,a)∈/R}.
Let Ra={b:b∈A∧(a,b)∈R}R_a = \{ b: b \in A \wedge (a,b) \in R \}Ra={b:b∈A∧(a,b)∈R}
Then D is ...
《Java应用技术》知识整理
2019.9∼2020.12019.9 \sim 2020.12019.9∼2020.1 上了永平奖获得者翁恺老师《Java应用技术》这门课。翁老师在课程设计上用心良苦，不仅讲了 Java 的语法，还介绍了很多现代 Java 的理念和科技（比如各种设计模式）。
期末考试为了和其他班对齐，主要考的还是 Java 的基本语法。这也是本文关注的重点。
Java 概述
Features
A compiled language
A productive OOP language
a type-safe and stable language
No point
Index check
Auto memory management
Unique data type
char 是 Unicode 存储的，每个占2字节。
int 是 4字节。
all objects should be constructed in runtime and be stored in heap.
To ...
《面向对象程序设计》知识整理
2019.3∼2019.62019.3 \sim 2019.62019.3∼2019.6 上了胡兰青老师的《面向对象程序设计》、说是面向对象，其实就是专讲 C++ 的面向对象。胡老师的专业能力很厉害，知识点讲得很严密。
为了应付刁钻和故意设坑的期末考，特开此文复习（虽然最后期末考还是考砸了）。
类&对象
类访问修饰符
public,private,protected。（默认 private）
构造函数和析构函数
离开函数时先销毁后定义的类。
构造函数先调用父类，析构函数先调用子类。
拷贝构造函数
形如 A::A(const A &obj)。（必须加引用，一般加上 const）
以下两种初始化对于其他类型是等价的，对于类类型有区别：
A a(2) 是直接初始化，调用构造函数。
A b = a 是拷贝初始化，调用拷贝构造函数（等价于 A b(a)）。
应用场景
函数的参数为类的对象时（将外层调用的值拷贝给参数）
函数的返回值是类的对象时（将 return 来的值拷贝给一个临时对象）
对象需要通过另外一个对象进行初始化（常见形式）
默认构造 ...
《计算机组成》知识整理
2019.3∼2019.62019.3 \sim 2019.62019.3∼2019.6 上了马德教授《计算机组成》这门课，讲得还是挺不错的。
我校把计算机系统划成了《数字逻辑设计》、《计算机组成》和《计算机体系结构》三门课。
本门课程进一步熟悉了 MIPS 和 Verilog，最终还要在自己写的 CPU 上运行一个自己设计的程序。我写了一个迷你的 Flappy Bird 小游戏，链接 见此。
本文对《计算机组成》的知识点进行了随性的整理。
MIPS相关
移码（增码）：符号位取反的补码
一般用指数的移码减一来做浮点数的阶码
IEEE754 标准
float （1位符号位 + 8位指数位 + 23位底数位）
其中，指数位 实际值 = 显示值 - 127
double （1位符号位 + 11位指数位 + 52位底数位）
MIPS指令
beq $rs, $rt, offset
注意此处顺序是正的。
offset 是 新地址 和 PC+4 的差除以 4 后的结果。
lw $rt, offset($rs)
注意此处顺序是反的。
sw $rt, offs ...
《数据库系统》知识整理
2019.3∼2019.62019.3 \sim 2019.62019.3∼2019.6 上了高云君教授《数据库系统》这门课，讲得还是挺不错的。
这门课的 Workload 很大，期中和期末分别有一个 Project：
期中 Project：实现一个图书管理系统
期末 Project：实现一个迷你版的 SQL查询系统
还有一个硬核的期末考试。为了巩固知识点特撰写此文。
Relational-algebra Expression
基本功能
∪,−,\cup, -,∪,−, 并，差
r×s={(t,q)∣t∈r,q∈s}r \times s = \{(t,q) | t \in r, q \in s \}r×s={(t,q)∣t∈r,q∈s}：笛卡尔积
ρX(r)\rho_X(r)ρX(r): 将 rrr 重命名为 XXX。
σX(r)\sigma_X(r)σX(r)：选取 rrr 中符合条件 XXX 的记录。
∏X,Y(r)\prod_{X,Y}(r)∏X,Y(r)：投影 rrr 中的部分属性。
拓展功能
r∩s=r−(r−s)r \cap s = r - (r - ...
