Discipline(s) : Mathématiques
                Compléments de mathématiques
| Semestre | Semestre 5 | 
|---|---|
| Type | Facultatif | 
Contenu
- Logique et théorie des ensembles
 - Systèmes logiques
 - Les premiers axiomes de la théorie des ensembles : extensionnalité, sélection, paire, réunion, parties.
- Relations binaires et structures 
 - Relations binaires, relations fonctionnelles, applications
 - Intersection
 - Produit cartésien
- Ensembles infinis  
 - Axiome de l'infini
 - Entiers naturels, principe de récurrence
 - Propriétés de N
- Ordinaux  
 - Ensembles bien ordonnés, nombres ordinaux
 - Arithmétique des ordinaux
 - Suites de Goodstein
- Constructions d'ensembles de nombres  
 - Entiers relatifs, nombres rationnels
 - Corps des nombres réels et ses propriétés
- Corps p-adiques  
 - Valeurs absolues, théorème d'Ostrowski
 - Construction des p-adiques, propriétés géométriques et arithmétiques
- Axiome du choix  
 - Axiome du choix
 - Lemme de Zorn et applications
 - existence de bases, idéaux maximaux, clôture algébrique...
- Filtres, ultrafiltres
Appartient à
Mise à jour le 7 décembre 2017
Contact(s)
                        Département Mathématiques
École normale supérieure de RennesCampus de Ker LannAvenue Robert Schuman
35170 Bruz
Tél. : 02 99 05 93 43
Fax : 02 99 05 93 28
E-mail
Site Internet
École normale supérieure de RennesCampus de Ker LannAvenue Robert Schuman
35170 Bruz
Tél. : 02 99 05 93 43
Fax : 02 99 05 93 28
Site Internet
