#Mathématiques discrètes de base
Outils mathématiques pour l’informatique: logique, ensembles, fonctions, relations, graphes, arithmétique modulaire.
#Objectifs
- Manipuler la logique propositionnelle et du premier ordre.
- Raisonnement: preuve directe, contraposition, récurrence.
- Modéliser des problèmes avec graphes et relations.
#Panorama
- Logique: connecteurs, tables de vérité, équivalences, quantificateurs.
- Ensembles et fonctions: cardinalité, bijection, pigeonhole principle.
- Graphes: degrés, chemins, cycles, arbres, connexité.
- Arithmétique modulaire: congruences, PGCD, petit théorème de Fermat.