Sofus est un outil de programmation visuelle, permettant de construire et tester des programmes mathématiques. Il permet notamment :
– de transformer des variables sans avoir à faire le cycle lecture -> calcul->affectation usuel, ce qui simplifie considérablement l’écriture des programmes de calcul
– de programmer plus facilement qu’avec beaucoup d’autres langages
– du graphisme similaire à celui du module « turtle » de Python, ou de Scratch grâce au nombre illimité des tortues qu’il possède.

Cet article décrit certaines nouvelles fonctionnalités de Sofus pouvant donner lieu à de nouvelles activités en classe :
– Les calculs exacts sur les fractions et les transformations de matrices ;
– Le calcul formel intégré à Sofus ;
– Sofus permet aussi de transformer du texte et se prête à des exercices sur les « strings » (type au programme de 2de) ;
– Mieux appréhender la négation et ses liens avec l’implication grâce à un micromonde de logique modale basé sur la théorie du mensonge.

A sa fin, on trouve une brève description de la version espagnole. Chacune de nouvelles fonctionnalités de Sofus, sus-citées, est suivie d’un exemple d’activités en classe : un programme (écrit en Sofus), son résultat ainsi que des commentaires explicatifs sont proposés.