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 (...)