Cependant, les langages peuvent partir de la théorie des ensembles (puisque ce sont eux-mêmes des ensembles et que beaucoup de notions sont identiques).
Parfait. La première ligne du Frido est précisément qu'on accepte la théorie des ensembles. Rien ne peut nous arrêter !
Si tu es motivé, le bon fichier pour commencer est le fichier nommé 42_nombres.tex. À la fin de ce fichier, les ensembles N,Z,Q et C sont construits avec leurs principales structures : ordre, anneau, groupe, corps.
[^] # Re: Machine de Turing
Posté par LaurentClaessens (site web personnel) . En réponse à la dépêche Le Frido 2018, livre libre de mathématique pour l’agrégation. Évalué à 2.
Parfait. La première ligne du Frido est précisément qu'on accepte la théorie des ensembles. Rien ne peut nous arrêter !
Si tu es motivé, le bon fichier pour commencer est le fichier nommé 42_nombres.tex. À la fin de ce fichier, les ensembles N,Z,Q et C sont construits avec leurs principales structures : ordre, anneau, groupe, corps.