logique et informatique (info-501)
TP1 : 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 groupe groupe-2 ( Peio Borthelle) (désactivé)
- formulaire de soumission : L3-info groupe groupe-3 (Pierre Hyvernat) (désactivé)
TP2 : systèmes 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 groupe groupe-2 ( Peio Borthelle) (désactivé)
- formulaire de soumission : L3-info groupe groupe-3 (Pierre Hyvernat) (désactivé)
