Mot clé : correction

Ressource
  Initiation aux algorithmes . Activité débranchée . Collège . Lycée . Activité . .

Le baseball multicouleur comme algorithme

  Cette activité introduit la notion de correction d’algorithme, et les moyens utilisés par les chercheurs en informatique pour la prouver. Il existe diverses méthodes pour résoudre le problème, mais comment être sûr qu’une méthode donnée est correcte ? On peut utiliser des ressources complémentaires. Élément de la boite d’activités débranchées de NyBi.cc, réalisé avec le support de Cap’maths. Des joueurs []