自然数的抽象数据类型定义 ADT NaturalNumber is objects:个整数的有序子集合它开始于0, 结束于机器能表示的最大整数(Max/mnr) Function:对于所有的x,y∈ NaturalNumber; False,Trwe∈ Boolean,+、-< 是可用的服务。 Zero: 返回自然数0 NaturalNumber
自然数的抽象数据类型定义 ADT NaturalNumberis objects: 一个整数的有序子集合,它开始于0, 结束于机器能表示的最大整数(MaxInt)。 Function: 对于所有的 x, y NaturalNumber; False, True Boolean, +、-、<、 == 、 =等都 是可用的服务。 Zero( ) : 返回自然数0 NaturalNumber
IsZero(x): if(x=0)返回Tue Boolean else返回 False Add(x,y): f(x+y<= Marini)返回x+y NaturalNumber else返回 Maxent Subtract (x, y): if(x<y)返回0 NaturalNumber else返回x-y Equal (, y): if(x=y)返回True Boolean else返回Fule Successor(c): if(x==MaMn)返回x NaturalNumber else返回x+1 end naturalNumber
IsZero(x) : if (x==0) 返回True Boolean else 返回False Add (x, y) : if (x+y<=MaxInt)返回x+y NaturalNumber else 返回MaxInt Subtract (x, y) : if (x < y) 返回 0 NaturalNumber else 返回 x - y Equal (x, y) : if (x==y) 返回True Boolean else 返回 False Successor (x) : if (x==MaxInt) 返回 x NaturalNumber else 返回 x+1 end NaturalNumber
0面向对象的概念 面向对家〓对象十类十继永十通信 口象 口在应用问题中出现的各种实体、事 件、规榴说明等 口白一组属性值和在这组值上的一组 服务(或称操作)构成 类(cass),实例( instance) g具有相同属性和服务的对象归于同 类,形成类 口类中的一个对象为该类的一个实例
面向对象的概念 面向对象 = 对象+类+继承+通信 对象 在应用问题中出现的各种实体、事 件、规格说明等 由一组属性值和在这组值上的一组 服务(或称操作)构成 类 (class),实例 (instance) 具有相同属性和服务的对象归于同 一类,形成类 类中的一个对象为该类的一个实例
继承 派生类:氧重车,斩车,魔托车 子类特化类特殊化类) 基类:车辆 父类泛化类(一般化类) 口通信 消息传递 Smalltalk Effel C+ Java
继承 派生类:载重车,轿车,摩托车,… 子类 特化类(特殊化类) 基类:车辆 父类 泛化类(一般化类) 通信 消息传递 用于描述数据结构的语言 Smalltalk Effel C++ Java
数据构的袖象层次 0线形聚类 口直接存取类 口顺序存取类 口广义索引类 0非线形聚类 口层次聚集类树,二叉树,雄 口群聚集类集合,图
线形聚类 直接存取类 顺序存取类 广义索引类 非线形聚类 层次聚集类 树,二叉树,堆 群聚集类 集合,图 数据结构的抽象层次