Leçon 901 : Structure de données : exemples et applications.

(2015) 901

Dernier rapport du Jury :

(2014 : 901 - Structure de données : exemples et applications.) 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.

Plans/remarques :

Pas de plans pour cette leçon.

Retours d'oraux :

Pas de retours pour cette leçon.

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