Cours de logique en L3

Assistant de preuve : dedunat

Télécharger le programme : Pour windows

Documentation

Instructions pour l'installation sous windows :
decompressez le fichier dedunat.zip (clic-droit, extraire)
double-cliquez sur le fichier dedunat.exe

Dépannage
Si le programme se plaint avec une erreur 0xc0150002 ou réclame un fichier MSVCR80.dll : installez ce paquet.
Si vous voyez des carrés à la place des symboles mathématiques, contactez-moi.

Télécharger la documentation : Documentation en pdf

Fichiers d'exercices

Télécharger l'archive des exercices (énoncés et corrigés) : dedunat_ex.zip

Partiel

Le partiel aura lieu le Jeudi 6 Novembre de 14h à 16h.