logique et informatique (info-501) : soumission initiale du TP1
L3-CMI-info, L3-info, L3-math-info groupe groupe-1
soumissions désactivées : trop tard
| Cours | info-501, logique et informatique |
| Groupe de TP | groupe de TP n°groupe-1 (L3-CMI-info, L3-info, L3-math-info) |
| Encadrant de TP | Pierre Hyvernat |
| TP1 | TP 1 : satisfiabilité (lien) |
| Début des soumissions | vendredi 20 septembre à 13:00 |
| Fin des modifications | vendredi 20 septembre à 17:15 |
| Nombre maximal d'étudiants par soumission | 2 |
| Extensions autorisées | .zip,.tar,.gz,.tgz |
La date limite de soumission de ce TP était le vendredi 20 septembre 2024 à 17:15, nous sommes actuellement le samedi 17 Janvier 2026 et il est 19:05. Le formulaire est donc désactivé.
