Poly : version préliminaire [rédigé avec Jean-François Scheid].

Programme (détaillé ici):

• Formalisation mathématique
• Relations, fonctions, applications et raisonnement par récurrence
• Arithmétique
• Structures
• Nombres complexes
• Dérivation
• Algèbre linéaire
• Suites et séries
• Intégration
• Transformée de Fourier