Livre de logique
Bienvenue sur la page du livre "Logique : Fondements et applications" écrit par Pierre Le Barbenchon, Sophie Pinchinat et François Schwarzentruber, disponible sur le site de Dunod.Vous pouvez communiquer avec nous à l'adresse mail suivante :
Errata du livre
Le fichier suivant est mis à jour régulièrement et contient la liste des erreurs qui se sont glissées dans le livre. Errata N'hésitez pas à envoyer un mail pour nous signaler des erreurs que vous aurez relevées dans le livre.Pravda
Pravda est l'outil en ligne pour apprendre les systèmes de preuve. L'idée est de construire des preuves sur des exemples données. L'outil vous dira alors si vous avez bien appliqué les règles du système de preuve.Lancer Pravda