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