Module « Logique et structures informatiques »
Volume horaire
- 24 heures de cours magistral.
- 24 heures de travaux dirigés.
- 24 heures de travaux pratiques.
Description du module
Pré-requis : Algorithmique 2.
- Calcul des propositions logiques et des prédicats.
- Notion d'ensemble, de relation, de fonction, de relation d'équivalence, de relation d'ordre, de relation d'ordre bien fondée.
- Structures de données récursives (entiers de Peano, listes, arbres), raisonnement par induction.
- Changement de structures de données, bijections.
- Langage de Dyck, grammaires.