Les soutenances de projet de OL3 auront lieu le 10 janvier à parir de 9h00 en salle 551C. Les étudiants doivent s'inscrire et choisir leur créneau sur la page web: http://www.doodle.com/mscz53bsb9nes2ft.
Le poly est également disponible en format Postscript ici.
| Numéro | Jour | Contenu |
|---|---|---|
| 1 | 20/09 | Fait : Introduction |
| 2 | 27/09 | Fait : Chapitre 2 jusqu'à la définition 4 incluse (satisfaisabilité etc.) |
| 3 | 4/10 | Fait : Chapitre 2 terminé. Chapitre 3 jusqu'aux opérateurs dérivés, mais pas la complétude fonctionnelle. |
| 4 | 11/10 | Fait : Chapitre 3 terminé. Chapitre 4: NNF et DNF faites. |
| 5 | 18/10 | Fait : Chapitre 4 terminé Chapitre 6 commencé : coloration d'une carte, utilisation de minisat. |
| 6 | 25/10 | Fait : Chapitre 6 et chapitre 5 terminé. |
| 1/11 | -- Ferrié -- | |
| 7 | 8/11 | Fait : Chapitre 7, chapitre 8 jusqu'au premier exemple de la sémantique. |
| 8 | 15/11 | Fait : Chapitres 8 et 9 terminés. |
| 9 | 22/11 | Fait : Chapitre 10, chapitre 11 commencé (premier exemple d'une preuve) |
| 10 | 29/11 | Fait : Chapitre 11 continué, commencé avec le calcul des wp. |
| 11 | 6/12 | prévu : Chapitre 11 terminer, Chapitre 12. |
| 12 | 13/12 | prévu : Révision |
Pour information : Calendrier de l'université