L2 année 2013/2014 : Outils Logiques

Université Paris-Diderot, Licence Sciences et Applications, Mention Informatique

Résultat deuxième session

On vient d'envoyer les résultats de la deuxième session au Département SE qui devrait les afficher rapidement. La consultation des copies de l'examen aura lieu vendredi 4 juillet, 10h-11h, salle 3058, bâtiment Sophie Germain.

Modalités de contrôle de connaissances

Il y a un partiel au milieu du semestre, et un examen final.

note première session = maximum(examen première session, 50% partiel + 50% examen première session)
note deuxième session = maximum(examen deuxième session, 50% partiel + 50% examen deuxième session)

Les TD

  1. TD1: énoncé
  2. TD2: énoncé
  3. TD3: énoncé
  4. TD4: énoncé
  5. TD5: énoncé
  6. TD6: énoncé
  7. TD7: énoncé
  8. TD8: énoncé
  9. Examen de 2012/2013: énoncé

Planning préliminaire du cours

Numéro Semaine du Contenu
1 16/09 Chapitre 1 (introduction), commencer chapitre 2.
2 23/09 Chapitre 2.
3 30/09 Termine chapitre 2, Commencer chapitre 3.
4 7/10 Teminer chapitre 3.
5 14/10 Commencer chapitre 4.
6 21/10 Terminer chapitre 4, sans équivalences entre DNF. Commencer Chapitre 6.
7 28/10 Terminer chapitre 6.
8 4/11 Chapitre 5 (DPLL), revenir à la subsumption entre clauses (chap 4)
9 11/11 Chapitres 7 et commencer 8
10 18/11 Terminer chapitre 8 et 9.
11 25/11 Chapitre 10, commencer le chapitre 11
12 2/12 Terminer chapitre 11. Chapitre 12 : optionnel
13 9/12 Révision

Pour information :

Équipe pédagogique

Constantin Enea
Amélie Gheerbrant
Ralf Treinen
Daniele Varacca
Ralf Treinen

Valid HTML 4.01 Transitional