Département:Fondements logiques et ensemblistes des mathématiques
Une page de Wikiversité.
La logique concerne les fondements des mathématiques, étudiant le raisonnement et sa nature plutôt que sa formulation. Ce domaine fixe les axiomes premiers sur lesquels sont bâtis les théorèmes, corollaires et démonstrations. On sait désormais utiliser les ordinateurs pour vérifier la cohérence de raisonnements.
Par ailleurs, la théorie des ensembles, à la fois très générale et très précisément étudiée, est à la base de toutes les structures d'objets mathématiques.
Ce département est actuellement en cours de restructuration. Certains liens peuvent ne pointer vers aucune page. Des doublons peuvent également apparaître. Le contenu est en train d'être retravaillé et sera réorganisé au plus vite.
[modifier]
Leçons par niveau|
Novice Niveau 0 à 2 |
Débutant Niveau 2 à 5
|
Intermédiaire Niveau 6 à 9
|
|
Avancé Niveau 10 à 12
|
Expert Niveau 13 à 15
|
Perfectionnement Niveau 16 à 18 |
Voir aussi
