Leçon 927 : Exemples de preuve d'algorithme : correction, terminaison.

(2016) 927

Dernier rapport du Jury :

(2015 : 927 - Exemples de preuve d'algorithme : correction, terminaison.) Le jury attend du candidat qu'il traite des exemples d'algorithmes récursifs et des exemples d'algorithmes itératifs. En particulier, le candidat doit présenter des exemples mettant en évidence l'intérêt de la notion d'invariant pour la correction partielle et celle de variant pour la terminaison des segments itératifs. Une formalisation comme la logique de Hoare pourra utilement être introduite dans cette leçon, à condition toutefois que le candidat en maîtrise le langage.

Développements :

Plans/remarques :

2015 : Leçon 927 - Exemples de preuve d'algorithme : correction, terminaison.


Retours d'oraux :

Pas de retours pour cette leçon.

Références utilisées dans les versions de cette leçon :

Introduction à l'algorithmique, Thomas H. Cormen, Charles E. Leiserson, Clifford Stein, Ronald Rivest (utilisée dans 49 versions au total)