过回顾:抽象数据类型 抽象数据类型(ADT):用数学方法定义对象集 合和运算集合,仅通过运算的性质刻画数据对 象,而独立于计算机中可能的表示方法 口ADT规约方法 口代数规范 ■语法部分,公理部分 口ADT实现 E1E2E3 Institute of Computer Software, Nanjing University 2021/215回顾：抽象数据类型 Institute of Computer Software, Nanjing University 2021/2/5 10  抽象数据类型(ADT)：用数学方法定义对象集 合和运算集合，仅通过运算的性质刻画数据对 象，而独立于计算机中可能的表示方法  ADT规约方法  代数规范 ◼ 语法部分，公理部分  ADT实现  E1,E2,E3