Semestre 8 – Option – Méthodes booléennes en informatique

Objectifs

Maîtriser les différents paradigmes et outils qui utilisent les méthodes booléennes.

Prérequis

Aucun.

Contenu pédagogique de l’UE

  • Domaines d’application : logique, électronique, combinatoire.
  • Algèbres de Boole :
    • fonctions booléennes, pseudo-booléennes, matrices et déterminants.
    • équations linéaires et méthodes de résolution.
  • Représentations des fonctions booléennes :
    • formes normales, décompositions et minimisations.
    • implicants premiers et dualité.
    • les diagrammes de décision binaires: BDD, OBDD, ROBDD.
  • Applications des méthodes booléennes :
    • sur les graphes : problèmes de connexité, cheminements, décomposition.
    • optimisation pseudo-booléenne.
    • fonctions booléennes partiellement définies et apprentissage.