Abstrak
Fondements logiques, ensembles et fonctions Principes de base algorithmes, entiers et matrices Preuves et raisonnements mathematiques Denombrement Techniques de denombrement avancees Relations Graphes Arbres Algebre booleenne Modelisation computationnelle.