阶段小结

这一批把算法从"会用"推到了"会分析、会证明、会选择"。