1.2数据准备数学归纳法：
命题： p(n )证明对于任意p ) n )，n ) n 3)是偶数。 在1:n为奇数、n 3为奇数*奇数=偶数2:n为偶数、n 3为奇数n ) n 3)=偶数的情况下，相对于任意的n，n ) n 3)为偶数的n=10时，始终2的n次方大于n
归纳法为：
a )证明：提供p(1)为真的证明b )证明：所有p )1)至p ) n )为真，p ) n1 )也为真的证明，任意n为真证明典雅花生的算法如下
以上图中的数据归纳法，所有必要的证明都必须非常直接。
遵循的一些原则：
E1【短语(准确概括这一步骤会起到什么目的)】句子：详细说明，让读者了解这一步骤的功能
赋值，表示替代变量式mn表示n值为m个变量提供一个值的mnr交换mn“|”符号，表示一个算法的结束和继续的正文数组的某个要素： a[i]，多元数组： a[i，j]注意
方法一)循环表示法，即非循环表示法python表示法(defgcd(m，n ) while n0 m，n=n，m % n end return m end方法二) #循环表示法defgcd_2(m，n ) return m:self.gcd_2(n，m%n ) endendjava符号//欧几里得求最大公约数算法——递归publicstaticlonggcd(longa，long b ) { return b==0 b:gcd(b，a%b ) ) } 欧几理得算法
1 .有限性(步骤有限，无限称为计算方法)2.确定性)每个步骤必须精确定义)3.输入)有零个或多个输入) 4.1个或多个输入有相应的输出)5.能力)所有运算都是充分基本的
1 .单点n的子集：一个元素的集合2 .有序偶数：第一个元素”，另一个是“第二个元素”。 第一个要素和第二个要素也称为左投影和右投影。 3 .关于)1)的解释，因为将n设为最小时，将r设为0，所以得到最小值时，函数为欧几里德算法
a是字母的有限集合，例如{A，B.Z}A*是a上所有字符串的集合，例如{A}或{A，B}等算法的五大特性
1 .最少的次数可以说是导入变量的个数的集合的长度，或者集合的长度size 1 2。 当N=M时，交换两个值，直到M-N，M/N馀数变为04。 代入式m=qn r求出馀数r=0时的n 6。 n=1时，t1=2n=2时，n=2