Equipe Structures Discrètes:

Pavel Goralcik, Jean Francis Michon, Pierre Valarcher

L'équipe Structures Discrètes étudie les aspects théoriques de l'informatique et leurs applications. Les domaines abordés sont

• La logique : Langage B, Lambda calcul, programmation et logique, théorie de la démonstration, vérification formelle, démonstration automatique.
• Le calcul booléen : Diagrammes de Decision Binaire, applications aux études de fiabilités des grands systèmes (arbres de défaillances, systèmes experts)
• La théorie de l'information : complexité , codes auto-correcteurs