Béatrice Duval (CM,TD)

Claire Lefevre (TD)

Annick Corolleur (TP),

Mohamed Chachoua(TP)

Hakim Choudart(TP)

Programme CM :

1. Le modèle de données graphe

Motivation

- Concepts élémentaires

- Parcours en profondeur d'abord

2. Motifs, automates et expressions régulières

- Motivation

- Machines à états et automates

- Automates déterministes et non-déterministes

- Expressions régulières

- Les extensions UNIX pour les expressions régulières

3. Grammaires non contextuelles ou description récursive de motifs
4. Logique propositionelle et ses applications
5. Introduction à la preuve de programmes
6. Structures de données dynamiques et pointeurs
7. Projet de programmation

Bibliographie

- Alfred Aho et Jeffrey Ullman. Concepts fondamentaux de l'Informatique. DUNOD, Paris, 1993 (Version française).

- Alfred Aho et Jeffrey Ullman. Foundations of Computer Science. W.H. Freeman and Company, New York, 1992 (Version originale).

- C. Froidevaux et al. Types de données et algorithmes. Ediscience.

- J. Stern Fondements mathématiques de l'Informatique. Ediscience

Tous ces ouvrages sont disponibles à la bibliothèque universitaire