bdrp

Mathématiques, logique déductive, logiciel

Ressource n°2872
Partagée le 17.06.16 à 15:40 - Mise à jour le 13.04.18 à 16:26

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

 

Thématique(s)
Destinataire(s)
Mots-clés
Licence

DOCUMENT(S) MODIFIABLE(S) (licence Creative Commons permettant à l’utilisateur de remixer, arranger et adapter l’œuvre à des fins non commerciales, tant qu’on en accorde le mérite à l’auteur en citant son nom et que les nouvelles œuvres sont diffusées selon ces mêmes conditions)