地基期回顾（三）：数学与理论

离散数学的证明、概率的推断、线代的变换、算法的分析、计算理论的边界。