Mathématiques, logique déductive, logiciel

Dossier de résolution de problème de mathématiques en logique déductive avec en parallèle un logiciel à mettre en place en classe afin d'utiliser les MITICS.

Différents exercices sur ce logiciel dans divers domaines en mathématiques.

Note de l'équipe BDRP : pour travailler avec le site http://www.logicieleducatif.fr/math/logique/logique.php