重要定义：

1.类型(type): 是一组值的集合。

2.数据类型(data type)：指一个类型和定义在这个类型上的一组操作。  比如说，一个整数变量是整数数据类型的一个成员，那么加法就是定义在整数数据类型之上的操作的一个例子。

3.抽象数据类型(abstract data type , ADT)：指数据结构作为软件构件的实现。  抽象数据类型是对计算机程序中保存（或表征）数据的变量的一种抽象。变量包括多个属性：name、address、value、lifetime、scope、type and size。其中每一种属性都有一个值，而ADT关注的是“type”这一项属性，它的值有：int、double、char…这些值实际上代表两方面的含义：1）“a set of values”，即可以赋值对象或取值范围；2）“a set of operations”，可以支持的操作。

算法的性质：正确性，具体步骤，确定性（步骤必须明确），有限性（有限的步骤完成），可终止性。

程序：即算法的具体实现。