Q1 Ch 3 : Arithmétique modulaire La division euclidienne Le modulo Congruences Ch 4 : Logique mathématique Propositions et prédicats Connecteurs logiques de base Formules en logique Calcul booléen et table de Karnaugh Les ensembles Q2 Récurrence et récursivité Les langages formels Automates finis Opérations bit à bit