Mathématiques discrètes
L’objectif de cette ressource est de mettre en place les outils mathématiques nécessaires aux bases de l’informatique. Elle aide à formaliser et mettre en oeuvre des outils mathématiques pour l’informatique. Elle accompagne la mise en place des bases de données en explicitant les structures fondamentales de ces dernières.
Learnings :
- Logique (prédicats, propositions...)
- Théorie des ensembles
- Algèbre de Boole
- Arithmétique modulaire
- Relations, applications
Apprentissages critiques associés :
AC12.03
Formaliser et mettre en œuvre des outils mathématiques pour l’informatique
AC14.01
Mettre à jour et interroger une base de données relationnelle (en requêtes directes ou à travers une application)