A partir de problèmes, développer et appliquer des concepts et des outils mathématiques pour modéliser et résoudre ces problèmes. Utiliser les grandes techniques mathématiques : l'abstraction, la généralisation, l'induction mathématique, les structures et ses isomorphismes, les ensembles-quotient pour solutionner des problèmes concrets. Explorer les liens entre différents domaines mathématiques tels l'algèbre et la logique, l'analyse, l'informatique...
Réseaux logiques et algèbre de Boole. Automates déterministes, réduction d'automates et automates non-déterministes. Problèmes de codage. Problèmes et thèmes choisis en théorie des nombres, des ensembles flous, des corps, en combinatoire...
Préalable 1 :
