Projet Logique

Horaires

• Les séances de projet avec Nicolas Margulies ou Théo Vignon ont lieu le lundi de 10h30 à 12h.

(voir emploi du temps L3).

Modalités d'évaluation

La note finale est la somme du rendu d'encodage de problèmes en SAT (3 points) du projet Rocq (10 points) et du projet SAT (7 points).

Matériel et séances de projet

• Encodage de problèmes en SAT (3 séances) : sujet et base de code.
• Tutoriels Rocq (4-5 séances)
• Projet Rocq (3 séances)
• Projet SAT (3-4 séances)

Rendus

Les rendus sont à envoyer par mail à Nicolas ET Théo aux dates prescrites

• Encodage de problèmes en SAT : mardi 11 février à 23h59

Contact

Pour toutes questions relatives à cette UE, merci de nous contacter aux adresses suivantes :

• nicolas.margulies@lmf.cnrs.fr
• theo.vignon@lmf.cnrs.fr