Rappels de mathématique, langages formels, grammaires formelles,
automates, théorie des graphes.
Emploi du temps
Horaires : |
Mardi, de 14:00 à 16:00 |
Salle : |
105, îlot Jussieu |
Rythme : |
Semestriel (S1) |
Premier cours |
Mardi 3 Octobre |
|
Plan (indicatif) du cours
- Introduction & rappels mathématiques
- La Théorie des Langages Formels
- Langages rationnels et automates
- Automates : algorithmes
- Graphes
- Grammaires formelles
- Stratégies d'analyse
|
Contrôles
- Devoir sur table n° 1 : mardi 07/11,
horaire et salle habituels.
- Devoir non surveillé n° 2 : à rendre le 9 janvier 2000.
- Examen final (pour tous les étudiants) : 26 janvier 2001
- Session de septembre : vendredi 14 septembre, 9h00-12h00.
|
Modalités de contrôle
- Contrôle continu
Un DST (30%), un DNS (20%) et un partiel en fin de
semestre (50%)
- Contrôle terminal
Un examen en fin de semestre (100%)
|