Logiciel TarskiUdeS pour enseigner la logique du premier ordre

Le logiciel TarskiUdeS permet de se familiariser avec la logique du premier ordre. Il a été développé à l'Université de Sherbrooke par Tristen Bronson et Laurent Beauchemin dans le cadre d'un projet informatique, à partir d'une version initiale développée par Robert Stärk. Il est inspiré du logiciel Tarski's World développé à Stanford par les logiciens Jon Barwise et John Etchemendy. TarskiUdeS comporte plusieurs améliorations qui facilitent son utilisation et la vérification d'une formule. Il est nommé ainsi en l'honneur du mathématicien et logicien Alfred Tarski. Le langage porte sur un monde composé d'objets dans un plan. Il y a trois types d'objets : triangle, carré et pentagone. Chaque objet a une taille : petit, moyen et grand. On peut énoncer des formules qui décrivent la position, la taille des objets, comme « Tous les triangles sont plus grands que les pentagones, et situés à gauche de ceux-ci ».

Prérequis 

TarskiUdeS requiert le cadriciel Panda pour fonctionner : 

• Télécharger Panda

Liens de téléchargement

TarskiUdeS est disponible pour les systèmes d'exploitation suivants :

• Windows
• MacOS
• Linux