Une interrogation a eu
lieu
le vendredi 10 novembre. Elle comptera pour la note
de
contrôle continu et sera multipliée par un facteur de
présence aux travaux dirigés : Min(1, n/10), où n
sera le nombre de présences relevées en TD.
La note de contrôle continu obtenue comptera pour 1/3 de la
note finale, et donc la note de
l'examen final pour 2/3.
Documents autorisés
pendant les examens :
- interrogation : aucun
- examen final : une feuille manuscrite (recto-verso)
Ensembles et dénombrabilité : Cours 1, TD1
Relations, fonctions et ordres : Cours 2,
TD2
Récurrence et induction : Cours 3,
TD3
Logique propositionnelle : Cours 4, TD4
Logique des prédicats : Cours 5 et
TD5
Dénombrement : Cours 6, TD6
Suites récurrentes : Cours 7, TD7
Graphes et arbres : Cours 8, TD8
Complexité des algorithmes : Cours 9,
TD9
Langages rationnels : Cours 10 et TD10
Automates finis : Cours 11 et TD11
Algorithmique de graphes : Cours 12 et TD12
2001-02 : novembre, février, septembre
2002-03 : décembre, février, septembre
2003-04 : décembre, février, septembre
2004-05 : novembre, janvier, septembre.