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 œuvre 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.
Savoirs de référence étudiés
Logique (prédicats, propositions…), Théorie des ensembles, Algèbre de Boole, Arithmétique modulaire, Relations et applications.
- Enseignant: Maniar Amine
- Enseignant: Masson Jean-Baptiste