1.插入排序：
2.循环不变式与插入排序的重要性
1.1初始化
1.2保持
1.3终止
3.伪代码中的约定：
1.缩进表示循环结构
2.while,for与repeat-until等循环结构以及if-else等条件语句
3.for循环每次迭代增加循环计数器，使用关键词to,当一个for循环每次迭代减少其循环计数器时，我们使用关键词downto,当循环计数器以大于1的一个量改变时，该改变量跟在可选关键词by之后
4.符号//表示改行后面部分是个注释
5.形如i=j =e的多重表达式e的值赋给变量i，j,它应被处理成等价j=e,i=j;
6.变量时局部给定的
7.数组通过“数组名[下标]”这样的形式访。例如A[j]表示第j个元素。记号".."用于表示数组中的一个范围，这样就是A[1..j]表示A的一个子数组，它包含j个元素A[1],A[2],...A[j]
8.复合数组通常被组织成对象，对象又由属性组成.我们使用许多面向对象编程语言中创建的句法来访问特定的属性，对象名后跟一个点再跟属性名，
我们把表示一个数组或对象的变量看做指向表示数组或对象的数据的一个指针
9.我们按值参数传递给过程：被调用过程接收其中其参数自身的副本
10.一个return语句立即即将控制返回到调用过程的调用点
11.布尔运算符"and"和"or"都是短路的
Insertion-sort
for j = 2 to A.length
key = A[j]
i = j - 1;
