算理与算法的统一