Option Informatique

Leçon n°12 : Exemples de démarches et de raisonnements prouvant la terminaison et la correction d’un algorithme.

Si vous souhaitez enrichir la base de données concernant cette leçon, vous êtes invités à poster un commentaire ci-dessous. N'hésitez pas à proposer des plans de leçons, à donner des conseils, et à témoigner !