UE Graphes, combinatoire et probabilités discrètes

Bases mathématiques utiles en informatique, en particulier en logique et en théorie des graphes.

Pour les graphes, introduction du vocabulaire des graphes et étude d'algorithmes de base : parcours d'un graphe, recherche de chemins, problèmes de minimisation. Syntaxe du calcul propositionnel et manipulation des formules logiques : mise en forme normale et satisfaction d'une formule (SAT).

Pour la logique, expression d'assertions sous forme de proposition logique, simplification et construction de tables de vérité d'une proposition logique et manipulation des quantificateurs.

Bases de la programmation et de l'algorithmique.

• Construire un raisonnement en utilisant des outils mathématiques