Activité "Couplage logique"
DISPONIBLEDes jeux de logiques classiques consistent à trouver une solution à l'aide d'une série d'indices. La plupart du temps, il est proposé de les résoudre à l'aide de tableaux appelés logigrammes . Cet atelier propose de découvrir que ces problèmes reviennent à trouver un couplage dans les graphes et comment la représentation de graphe permet d'aider à la réflexion, et même permet une automatisation de celle-ci.
Cliquer sur l'image pour zoomer
Type d'activité
Atelier
Nature
débranchée
Activité en ligne ?
Non
Notions abordées
Graphe biparti, couplage, implication (si . . .alors), négation.
Thématiques
Algorithmes dans les graphes,
Graphes,
Logique
Niveau scolaire
cycle 2, cycle 3, cycle 4, lycée
Audience grand public
adultes et enfants
Lieu d'utilisation
intérieur et extérieur
Contexte d'utilisation
tout contexte
Peut être empruntée ?
Oui
Localisation ou lieu d'emprunt
TerraNumerica@Sophia
Effectif
entre 10 et 10
Durée
entre 20 et 45 minutes
Effectif encadrement minimum
1
Ressources nécessaires
chaise(s), table(s)
Peut être déplacée ?
Oui
Temps d'installation
10m
Objectifs pédagogiques
Travailler la modélisation, la déduction logique. Comprendre comment certaines règles de déductions peuvent être automatisées.
Méthodologie
Ce jeu est présenté de manière collaborative.
Chaque participant correspond à un personnage du problème et dispose de cartes pour retrouver avec quel autre personnage il est associé.
Dans un premier temps, les participants recherchent librement et collectivement la solution.
Dans un second temps, ils le font en appliquant strictement certaines règles de déduction automatique.
Plus de détails sur la fiche péedagogique.
Groupe de travail
GT-01 - Algorithmes
Contacts
Frédéric HAVET
(frederic<dot>havet@i3s<dot>unice<dot>fr)