isPriem?
invoer: $n\in\NN$ met $n>1$
uitvoer: $a\in\{0,1\}$
claim: $a=1\iff n$ is priem
- 1 $i\leftarrow 2$
- 2 $a\leftarrow 1$
- 3 zolang $i^2\le n$ en $a=1$
- 3.1 als $i|n$ dan $a\leftarrow 0$
- 3.2 $i\leftarrow i+1$
$n={}$ |
isPriem?
invoer: $n\in\NN$ met $n>1$
uitvoer: $a\in\{0,1\}$
claim: $a=1\iff n$ is priem
$n={}$ |