计算学科常采用分层抽象的方法降低和控制系统的复杂程度，而分层抽象背后的原理是数学中的等价关系