Outils mathématiques PR

Langage mathématique, quantificateurs, logique, raisonnements, démonstrations
Ensembles classiques, notations ensemblistes
Manipulation des inégalités, symbole sigma
Applications injectives, surjectives, bijectives. 
Théorème de bijection pour les fonctions d'une variable, fonction arctan
Primitives et intégrales (pas de changement de variable)
Trigonométrie

Maîtrise des outils de langage et de calcul de base