Le logiciel Panda permet aux membres de la communauté étudiante d'écrire de manière interactive des preuves formelles en logique propositionnelle et du premier ordre, en utilisant les règles d'inférence de la déduction naturelle. Panda valide ensuite la preuve proposée par l'étudiante ou l'étudiant et identifie les erreurs. Il la ou le guide aussi dans l'application des règles d'inférence.
Ce site Web utilise des fichiers témoins (cookies) essentiels à son bon fonctionnement.
Vous pouvez paramétrer l'utilisation de témoins facultatifs nous permettant d'optimiser votre expérience à travers le site.
Voir la Politique de confidentialité
Pour obtenir plus d’information sur la nature et l’utilisation des témoins, voir la Politique de confidentialité.
Ces témoins sont nécessaires au bon fonctionnement du site Web. Ils permettent de maintenir l’accès à certaines sections sécurisées et de conserver des critères de recherche, par exemple. Ces témoins ne peuvent être désactivés.
Ces témoins nous aident à comprendre votre utilisation de notre site Web et nous permettent d'améliorer l’expérience qu'il propose.
Ces témoins sont utilisés pour vous proposer des publicités pertinentes en fonction de votre navigation sur notre site. Ces publicités peuvent être émises par l'Université de Sherbrooke ou d'autres entités.