logique et informatique (info-501) : soumission initiale du TP1
L3-info groupe groupe-3
soumissions désactivées : trop tard
| Cours | info-501, logique et informatique |
| Groupe de TP | groupe de TP n°groupe-3 (L3-info) |
| Encadrant de TP | Pierre Hyvernat |
| TP1 | satisfiabilité (lien) |
| Début des soumissions | jeudi 21 septembre à 08:30 |
| Fin des modifications | jeudi 21 septembre à 12:35 |
| Nombre maximal d'étudiants par soumission | 2 |
| Extensions autorisées | .zip,.tar,.tgz |
La date limite de soumission de ce TP était le jeudi 21 septembre 2023 à 12:35, nous sommes actuellement le vendredi 16 Mai 2025 et il est 15:04. Le formulaire est donc désactivé.
