9.2 算法模型是客观世界的数学抽象