Raisonnement logique. Axiomes et théorèmes, quantificateurs. Théorie des ensembles. Axiome de sélection. Graphes et fonctions. Axiome du choix. Cardinal d'un ensemble. Théorème de Cantor. Ensembles finis et infinis. Entiers naturels. Relation d'équivalence. Ensemble quotient. Construction des entiers rationnels. Raisonnement par récurrence. Algorithme d'Euclide. Congruence.

Liste des cours MATH