Dénombrement et preuves combinatoires
Définir les objets à compter, puis résoudre des problèmes finis par bijection, double dénombrement, inclusion–exclusion et principe des tiroirs, pour évaluer le coût d’une recherche et de ses sorties.
Définir les objets à compter, puis résoudre des problèmes finis par bijection, double dénombrement, inclusion–exclusion et principe des tiroirs, pour évaluer le coût d’une recherche et de ses sorties.
Une carte fondamentale de la logique, des preuves, du dénombrement, des structures discrètes et des probabilités en informatique.
Distinguer la preuve d’existence, la construction explicite et l’exécution pratique d’une stratégie dans un jeu fini, avec les limites du vol de stratégie et de l’élagage.