Sortie du Frido pour les Matheux

P'skhal · Le 19/09/2023, à 09:53

LaurentClaessens a écrit :

Le Frido est un livre libre de mathématique libre. L’objectif est de partir de la théorie des ensembles (acceptée avec le lemme de Zorn), et d’aller jusqu’au niveau de début du master en faisant toutes les étapes. Pas pour les enfants.
Anciennement pour l’agrégation
Au départ, le Frido était construit comme une complétion d’une liste de développements pour l’agrégation de mathématiques pour la relation de «si un résultat démontré s’appuie sur un autre, alors l’autre est démontré».
Après quelques années, il faut bien avouer que cet objectif est en passe d’être atteint… ou pas.
D’une part, le nombre de trous commence à bien s’amenuiser. Il reste relativement peu de résultats énoncés non démontrés (de quoi encore m’occuper quelques années cependant).
Mais, d’autre part, l’aspect «agrégation» commence à devenir tout relatif. D’une part, je n’ai pas du tout suivi les changements de programme, et, d’autre part, les parties hors programme deviennent nombreuses, longues et dures bien faites.
Nouveautés 2023
Théorème de Jordan
Le théorème de Jordan en version continue est complètement démontré en suivant presque pas à pas ce très bon document de Quayle et le Gruiec.
D’ailleurs si quelqu’un peut répondre à cette question à propos de la frontière, ce serait très bien.

La suite de la nouvelle dans DLFP

"Pas pour les enfants" on a dit... big_smile

M'lou · Le 19/09/2023, à 09:55

Pas pour moi non plus

P'skhal · Le 19/09/2023, à 09:58

tongue

P'skhal	#1 Le 19/09/2023, à 09:53
Explorateur Lieu : Au-delà du portail Inscription : Le 18/08/2016, Messages : 34 876	LaurentClaessens a écrit : Le Frido est un livre libre de mathématique libre. L’objectif est de partir de la théorie des ensembles (acceptée avec le lemme de Zorn), et d’aller jusqu’au niveau de début du master en faisant toutes les étapes. Pas pour les enfants. Anciennement pour l’agrégation Au départ, le Frido était construit comme une complétion d’une liste de développements pour l’agrégation de mathématiques pour la relation de «si un résultat démontré s’appuie sur un autre, alors l’autre est démontré». Après quelques années, il faut bien avouer que cet objectif est en passe d’être atteint… ou pas. D’une part, le nombre de trous commence à bien s’amenuiser. Il reste relativement peu de résultats énoncés non démontrés (de quoi encore m’occuper quelques années cependant). Mais, d’autre part, l’aspect «agrégation» commence à devenir tout relatif. D’une part, je n’ai pas du tout suivi les changements de programme, et, d’autre part, les parties hors programme deviennent nombreuses, longues et dures bien faites. Nouveautés 2023 Théorème de Jordan Le théorème de Jordan en version continue est complètement démontré en suivant presque pas à pas ce très bon document de Quayle et le Gruiec. D’ailleurs si quelqu’un peut répondre à cette question à propos de la frontière, ce serait très bien. La suite de la nouvelle dans DLFP "Pas pour les enfants" on a dit... “ Aujourd'hui plus qu'hier et bien moins que demain „
Hors ligne

M'lou	#2 Le 19/09/2023, à 09:55
MétalWoman Lieu : Quelque part dans la Galaxie Inscription : Le 18/08/2016, Messages : 39 593	Pas pour moi non plus L'amour est comme un jardin, il doit se cultiver chaque jour pour donner le meilleur de lui-même
Hors ligne

P'skhal	#3 Le 19/09/2023, à 09:58
Explorateur Lieu : Au-delà du portail Inscription : Le 18/08/2016, Messages : 34 876	“ Aujourd'hui plus qu'hier et bien moins que demain „
Hors ligne

#1 Le 19/09/2023, à 09:53

Sortie du Frido pour les Matheux

Anciennement pour l’agrégation

Nouveautés 2023

#1 Le 19/09/2023, à 09:53

Anciennement pour l’agrégation

Nouveautés 2023

#2 Le 19/09/2023, à 09:55

Re : Sortie du Frido pour les Matheux

#2 Le 19/09/2023, à 09:55

#3 Le 19/09/2023, à 09:58

Re : Sortie du Frido pour les Matheux

#3 Le 19/09/2023, à 09:58

Pied de page des forums