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
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 !