1. 构造过程抽象

• 在数学里，人们关心的是说明性的描述（是什么），而在计算机科学里，人们则关心行动性的描述（怎么做）

• 费马小定理

    如果n是一个素数，a是小于n的任意正整数，那么a的n次方与a模n同余。（存在极少个例外）

• 通过费马小定理对素数的概率性判断，可以使错误概率减少到所需的任意程度。形成了概率算法的领域