Séances de cours associées à Correction d'un algorithme

Divide-et-Conquérir: Fusionner Trier

Explore les invariants de boucle, l'analyse du temps et l'approche Divide-and-Conquer en mettant l'accent sur la fusion.

Récidive et induction : prouver les algorithmes correctement

Explique la récursion, l'induction et prouve l'exactitude de l'algorithme par l'induction mathématique.

Convertir les programmes impératifs en formules

Explore la conversion de programmes impératifs en formules, y compris les conditions de vérification, la construction de formules et les structures de flux de contrôle.