- Description de mathématique formelle-termes et relations
- Théorèmes
- Théories logiques
- Équations différentielles : un Cours complet avec des exemples
- Ensemble et application Partie II
- Ensemble et application Partie I
- Espaces vectoriels et Applications linéaires - supérieur
- Généralités sur les matrices, applications linéaires, changement de base, rang d'une matrice - supérieur
A la fonction caracteristique de A, c'est-a-dire l'application de E dans {0,1} definie pour x
E par
de P(E) dans F(E,{0,1}) qui a toute partie A de E associe la fonction
B,
B, 
logique en post-bac