« Fonction d'Ackermann » : différence entre les versions
m (Remplacement de texte — « <small>loc. nom. fém. </small> » par « <small> féminin </small> ») |
Aucun résumé des modifications Balise : Éditeur de wikicode 2017 |
||
| Ligne 1 : | Ligne 1 : | ||
==Définition== | ==Définition== | ||
La '''fonction d'Ackermann''' (aussi appelée '''fonction d'Ackermann-Péter''') est un exemple simple de fonction récursive non récursive primitive, trouvée en 1926 par Wilhelm Ackermann. Elle est souvent présentée sous la forme qu'en a proposée la mathématicienne Rózsa Péter, comme une fonction à deux paramètres entiers naturels comme arguments et qui retourne un entier naturel comme valeur, par les formules de récurrence suivante : | La '''fonction d'Ackermann''' (aussi appelée '''fonction d'Ackermann-Péter''') est un exemple simple de fonction récursive non récursive primitive, trouvée en 1926 par Wilhelm Ackermann. Elle est souvent présentée sous la forme qu'en a proposée la mathématicienne Rózsa Péter, comme une fonction à deux paramètres entiers naturels comme arguments et qui retourne un entier naturel comme valeur, | ||
<!--par les formules de récurrence suivante : | |||
: <math> A(m, n) = | : <math> A(m, n) = | ||
\begin{cases} | \begin{cases} | ||
| Ligne 7 : | Ligne 8 : | ||
A(m-1, A(m, n-1)) & \mbox{si } m > 0 \mbox{ et } n > 0. | A(m-1, A(m, n-1)) & \mbox{si } m > 0 \mbox{ et } n > 0. | ||
\end{cases} | \end{cases} | ||
</math> | </math> --> | ||
==Français== | ==Français== | ||
Version du 7 juin 2020 à 08:47
Définition
La fonction d'Ackermann (aussi appelée fonction d'Ackermann-Péter) est un exemple simple de fonction récursive non récursive primitive, trouvée en 1926 par Wilhelm Ackermann. Elle est souvent présentée sous la forme qu'en a proposée la mathématicienne Rózsa Péter, comme une fonction à deux paramètres entiers naturels comme arguments et qui retourne un entier naturel comme valeur,
Français
fonction d'Ackermann féminin
fonction d'Ackermann-Péter féminin
Anglais
Ackermann function
Ackermann-Péter function
Contributeurs: Jacques Barolet, wiki
