Introduction à la logique et démonstration automatique - Université Grenoble Alpes (UGA, L2, INF402)
Topic outline
-
-
Merci de vous inscrire dans un des groupes de travail ci-dessous. Effectifs mini/maxi = 3/4.
En cas de non-inscription (ou de monôme ou de binôme), sauf cas particulier vu avec votre enseignant de TD, vous pourrez être affecté d'office à un groupe.
-
Pour les étudiants d'INM-3, merci de vous reporter au module de dépôt de votre groupe.
Rappels
Votre rapport doit au minimum :
- Présenter le problème choisi en français : règles, contraintes et plusieurs exemples ;
- Spécifier la formalisation de ce problème en logique ;
- Fournir une FNC avec le détail des calculs pour y arriver.
- les fichiers sources de vos programmes, commentés à bon escient
- les instructions pour les compiler et/ou les exécuter (où trouver le SAT-solveur utilisé, README et/ou Makefile selon le langage de programmation utilisé, script pour enchaîner les différents programmes)
- une description du format d'entrée attendu par vos programmes
- une série pertinente d'exemples d’instances de votre problème
-
-
-