QCM de NSI
← Retour à la liste
Algorithmique

Invariants et terminaison

Exports : Diaporama Beamer Celestia .tex Source LaTeX prête à projeter en classe, à compiler avec Celestia. Sujet AMC .tex Source LaTeX autonome utilisant la classe automultiplechoice. Format Moodle .xml XML Moodle (formules en LaTeX), accepté par Moodle et la plupart des plateformes hors Pronote. Format Pronote .xml XML compatible Pronote (les formules LaTeX complexes sont à saisir manuellement via l'éditeur d'équations). Format JSON .json Format pivot du projet, neutre, exploitable depuis n'importe quel outil.

Preuve de correction et de terminaison d'une boucle : invariant de boucle (propriété conservée à chaque itération) et variant de boucle (quantité entière qui décroît strictement). Application aux algorithmes classiques (recherche, tri).