Les nouvelles technologies pour l’enseignement des mathématiques
Intégration des TICE dans l’enseignement des mathématiques

MathémaTICE, première revue en ligne destinée à promouvoir les TICE à travers l’enseignement des mathématiques.

Poster un nouveau message
En réponse à :
Le calcul formel, la logique et le binaire dans Sofus
par Alain Busser
le mercredi 7 février 2018

Depuis la version 2.3 Sofus est doté de possibilités de calcul formel, et permet de calculer en binaire et même de se livrer à des expériences de pensée en logique modale doxastique !

modération a priori

Ce forum est modéré a priori : votre contribution n’apparaîtra qu’après avoir été validée par un administrateur du site.

Qui êtes-vous ?
Votre message

Pour créer des paragraphes, laissez simplement des lignes vides.
Attention ! Si votre message contient un lien, il devra être validé par le webmestre. Inutile de le poster à nouveau ;-)