Logique et informatique (info-501)
TP1 : satisfiabilité — lien vers le sujet
- formulaire de soumission : L3-info, L3-math-info groupe groupe_1 (Pierre Hyvernat) (désactivé)
- formulaire de soumission : L3-info groupe groupe_2 (Robin Jourde) (désactivé)
- formulaire de soumission : L3-info groupe groupe_3 (Robin Jourde) (désactivé)
TP2 : systèmes de preuves, assistants de preuves — lien vers le sujet
- formulaire de soumission : L3-info, L3-math-info groupe groupe_1 (Pierre Hyvernat) (désactivé)
- formulaire de soumission : L3-info groupe groupe_2 (Robin Jourde) (désactivé)
- formulaire de soumission : L3-info groupe groupe_3 (Robin Jourde) (désactivé)
