Maths Discrètes 2

Responsable

Descriptif

Le cours se base sur une partie du livre de Jacques Vélu, « Méthodes Mathématiques pour l'informatique », chez Dunod. Les grands chapitres du cours sont :

treillis ;
algèbre de Boole ;
fonctions booléennes ;
graphes ;
monoïdes ;
langages réguliers ;
automates.

Organisation

Cette unité comporte :

un cours magistral en amphi une fois par semaine ;
18 séances d'exercices (Travaux Dirigés) en salles ; les sujets des exercices sont communiqués la semaine précédente ; tous les exercices doivent avoir été préparés avant la séance ;
Notes de cours (format pdf). Dernière mise à jour : mercredi 17 décembre 2004. Toute remarque, commentaire est bienvenue.
Feuille de td numéro 1 (treillis), format pdf ; il y a un corrigé de quelques exos (merci à J.-B. Angelelli).
Feuille de td numéro 2 (algèbre de Boole, calcul propositionnel), format pdf.
Feuille de td numéro 3 (graphes), format pdf.
Feuille de td numéro 4 (monoïdes, langages réguliers, automates), format pdf et corrigé (merci une fois de plus à J.-B. Angelelli).

Évaluation

Un sujet de devoir est donné toutes les deux semaines en TD. Ces devoirs peuvent être préparés en commun mais doivent être rédigés individuellement. Ils ne sont pas notés, mais donnent lieu à la fin du semestre à une note de TD comprise en 0 et 2, évaluant la quantité de travail fournie pendant le semestre.
Un partiel aura lieu au milieu du semestre (cf planning ci-dessous). Une absence non justifiée (certificat médical ou certificat d'employeur) résulte en un zéro.
Un examen a lieu a la fin du semestre.

La note finale de l'unité est : 1/3(note de partiel) + 2/3(note d'examen) + note de TD.

Annales d'examens

2007-2008: juin 2008; décembre 2007; octobre 2007
2006-2007: juin 2007; janvier 2007; partiel novembre 2006
2005-2006: juin 2006; janvier 2006; partiel novembre 2005 et son corrigé
2004-2005: juin 2005; janvier 2005