Cette activité introduit la notion de correction d’algorithme, et les moyens utilisés par les chercheurs en informatique pour la prouver.
Voir la description sur le site Pixees.fr : https://pixees.fr/le-baseball-multicouleur-comme-algorithme/
Des formateurs de la DSDEN de l’Orne ont rédigé une fiche sur ce jeu :
