Fonction de sudan

Fonction de sudan

Fonction de Sudan

En Calculabilité, la fonction de Sudan est un exemple de fonction récursive mais non primitive récursive. Ceci est aussi le cas de la bien plus connue Fonction d'Ackermann.

Elle fut conçue en 1927 par le mathématicien roumain Gabriel Sudan élève de David Hilbert.

Définition

F _0 (x, y) = x+y,\,
F _{n+1} (x, 0) = x, \  n \ge 0\,
F _{n+1} (x, y+1) = F _n (F_{n+1} (x, y), F_{n+1} (x, y) + y + 1), \ n\ge 0.\,

Voir aussi

  • Portail de la logique Portail de la logique
Ce document provient de « Fonction de Sudan ».

Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Fonction de sudan de Wikipédia en français (auteurs)

Игры ⚽ Нужно сделать НИР?

Regardez d'autres dictionnaires:

  • Fonction De Sudan — En Calculabilité, la fonction de Sudan est un exemple de fonction récursive mais non primitive récursive. Ceci est aussi le cas de la bien plus connue Fonction d Ackermann. Elle fut conçue en 1927 par le mathématicien roumain Gabriel Sudan élève… …   Wikipédia en Français

  • Fonction de Sudan — En calculabilité, la fonction de Sudan est un exemple de fonction récursive mais non primitive récursive. C est aussi le cas de la bien plus connue fonction d Ackermann. Elle fut conçue en 1927 par le mathématicien roumain Gabriel Sudan, élève de …   Wikipédia en Français

  • Fonction Récursive — Voir « récursif » sur le Wiktionnaire …   Wikipédia en Français

  • Fonction recursive — Fonction récursive Voir « récursif » sur le Wiktionnaire …   Wikipédia en Français

  • Fonction d'Ackermann — Dans la théorie de la récursivité, 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… …   Wikipédia en Français

  • Fonction récursive — Sur les autres projets Wikimedia : « Fonction récursive », sur le Wiktionnaire (dictionnaire universel) En informatique et en mathématiques, le terme fonction récursive désigne une classe de fonctions calculables, autrement dit de… …   Wikipédia en Français

  • Sudan — Cette page d’homonymie répertorie les différents sujets et articles partageant un même nom. Sur les autres projets Wikimedia : « Sudan », sur le Wiktionnaire (dictionnaire universel) Soudan, en anglais, Sudan, divers colorants,… …   Wikipédia en Français

  • Liste Des Ambassadeurs Aux Nations Unies Actuellement En Fonction — Pays Ambassadeur  Afghanistan Ravan Farhâdi …   Wikipédia en Français

  • Liste des ambassadeurs aux nations unies actuellement en fonction — Pays Ambassadeur  Afghanistan Ravan Farhâdi …   Wikipédia en Français

  • Fonctions récursives — Fonction récursive Voir « récursif » sur le Wiktionnaire …   Wikipédia en Français

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”