logique et informatique (info-501)
TP1 : TP 1 : satisfiabilité — lien vers le sujet
- formulaire de soumission : L3-CMI-info, L3-info, L3-math-info groupe groupe-1 (Pierre Hyvernat) (désactivé)
- formulaire de soumission : L3-info, L3-math-info groupe groupe-2 (Pierre Hyvernat) (désactivé)
- formulaire de soumission : L3-info, L3-math-info groupe groupe-3 (Pierre Hyvernat) (désactivé)
TP2 : systèmes de preuves, assistants de preuves — lien vers le sujet
- formulaire de soumission : L3-CMI-info, L3-info, L3-math-info groupe groupe-1 (Pierre Hyvernat) (désactivé)
- formulaire de soumission : L3-info, L3-math-info groupe groupe-2 (Pierre Hyvernat) (désactivé)
- formulaire de soumission : L3-info, L3-math-info groupe groupe-3 (Pierre Hyvernat) (désactivé)
