Fonction d'Ackermann : Différence entre versions
De AgregmathKL
(Page créée avec « Où l'on montre sept lemmes intermédiaires. *24px Fonction d'Ackermann *[[Fichier:Pdf.png|alt=Tex|link=|24p… ») |
|||
| (2 révisions intermédiaires par 2 utilisateurs non affichées) | |||
| Ligne 1 : | Ligne 1 : | ||
Où l'on montre sept lemmes intermédiaires. | Où l'on montre sept lemmes intermédiaires. | ||
| − | + | == Développement == | |
*[[Fichier:Tex.png|alt=Tex|link=|24px]] [[Média:dvt_ackermann.tex | Fonction d'Ackermann]] | *[[Fichier:Tex.png|alt=Tex|link=|24px]] [[Média:dvt_ackermann.tex | Fonction d'Ackermann]] | ||
*[[Fichier:Pdf.png|alt=Tex|link=|24px]] [[Média:dvt_ackermann.pdf | Fonction d'Ackermann]] | *[[Fichier:Pdf.png|alt=Tex|link=|24px]] [[Média:dvt_ackermann.pdf | Fonction d'Ackermann]] | ||
| − | Recasements | + | == Recasements == |
* [[922 -- Ensembles récursifs, récursivement énumérables. Exemples.]] | * [[922 -- Ensembles récursifs, récursivement énumérables. Exemples.]] | ||
| + | |||
| + | == Références == | ||
| + | * Cori-Lascar II | ||
| + | * Il y a quelques lignes là dessus dans le Carton | ||
| + | |||
| + | |||
| + | [[Category: Développement de la leçon 922]] | ||
Version actuelle en date du 26 février 2015 à 21:23
Où l'on montre sept lemmes intermédiaires.
Développement
Recasements
Références
- Cori-Lascar II
- Il y a quelques lignes là dessus dans le Carton
