unit3_logPre 第三单元的主题是规格化设计，需要我们学会理解与使用JML语言对于java程序进行建模，从而实现对于需求的形式化。 形式化有许多好处： 逻辑明确，没有二义性，具有可靠性。 能够形式化的东西一定能够自动化，所以有利于自

北航面向对象与程序设计第二单元课程作业，电梯调度器ElevatorDispatcher 3.0。
为2.0的迭代，新增需求：

1. 限制同楼层服务电梯。
2. 电梯可达楼层属性限制。

北航面向对象与程序设计第二单元课程作业，电梯调度器ElevatorDispatcher 2.0。
为1.0的迭代，新增需求：

1. 动态增加自定义电梯。
2. 电梯日常维护请求。

北航面向对象与程序设计第二单元课程作业，电梯调度器ElevatorDispatcher 1.0。
主要涉及多线程程序设计，设计模式的使用。

北航面向对象与程序设计课程作业，表达式展开Expr-expansion 3.0，对2.1的迭代开发。
插曲：对2.0的代码风格进行美化及debug。形成Expr-expansion 2.1。
新增需求：自定义函数嵌套，求导。
这一次的博客主要是向大家展示架构，就不做过多的细节论述了，相信大家经过前几次的迭代，已经具备了一定的结构抽象的能力，不必局限于具体的细节呈现了。

北航面向对象与程序设计课程作业，表达式展开Expr-expansion 2.0，对1.0的迭代开发。
新增需求：嵌套括号，三角函数，自定义函数

北航面向对象与程序设计课程作业，表达式展开Expr-expansion 1.0，主要设计面向对象的程序设计思想以及递归下降法文法分析的实现。

上ly老师的OOPre课所做的一些笔记，用cpp为载体比较系统的讲解了面向对象的三大特征（封装、继承、多态），可以作为了解这方面知识的开始，但记录较为繁杂，我后续会持续做整理补充。

常见styleCheck报错改进合集，git相关知识，在题解过程中了解java语法以及面向对象知识