Contributions de l’utilisateur
- 1 décembre 2013 à 10:39 (diff | hist) . . (+73) . . Correction des règles de Hoare (ajout fichier .tex) (actuel)
- 1 décembre 2013 à 10:38 (diff | hist) . . (0) . . N Fichier:Hopcroft.tex (actuel)
- 1 décembre 2013 à 10:37 (diff | hist) . . (0) . . N Fichier:Hoare.tex (actuel)
- 1 décembre 2013 à 10:31 (diff | hist) . . (+56) . . N Correction des règles de Hoare (Hoare (pdf))
- 1 décembre 2013 à 10:31 (diff | hist) . . (0) . . N Fichier:Hoare.pdf (actuel)
- 1 décembre 2013 à 10:29 (diff | hist) . . (0) . . N Fichier:Hopcroft.pdf (actuel)
- 1 décembre 2013 à 10:25 (diff | hist) . . (+25) . . m 927 -- Exemples de preuve d’algorithme : correction, terminaison. (Mise en page enfin correcte)
- 1 décembre 2013 à 10:20 (diff | hist) . . (+8) . . m 927 -- Exemples de preuve d’algorithme : correction, terminaison. (en-têtes)
- 1 décembre 2013 à 10:19 (diff | hist) . . (+5) . . m 927 -- Exemples de preuve d’algorithme : correction, terminaison. (numérotation)
- 1 décembre 2013 à 10:17 (diff | hist) . . (+1 269) . . N 927 -- Exemples de preuve d’algorithme : correction, terminaison. (leçon 927)