Preuve et calcul, des rapports intimes
Preuve et calcul, des rapports intimes
Gilles Dowek
D´
emontrer la correction d’un algorithme
Une activit´
e r´
ecente? ou ancienne?
Un exemple : l’algorithme d’Euclide
Calculer le plus grand diviseur commun (pgcd) de ceux nombres
Qu’est-ce que le pgcd de deux nombres?
Un algorithme pour calculer le pgcd
La d´
efinition
364 : 1,2,4,7,13,14,26,28,52,91,182,364
42 : 1,2,3,6,7,14,21,42
14
Un algorithme pour calculer le pgcd
La d´
efinition
364 : 1,2,4,7,13,14,26,28,52,91,182,364
42 : 1,2,3,6,7,14,21,42
14
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
1
/
30
100%
