Bibm@th

Forum de mathématiques - Bibm@th.net

Bienvenue dans les forums du site BibM@th, des forums où on dit Bonjour (Bonsoir), Merci, S'il vous plaît...

Vous n'êtes pas identifié(e).

Répondre

Veuillez composer votre message et l'envoyer
Nom (obligatoire)

E-mail (obligatoire)

Message (obligatoire)

Programme anti-spam : Afin de lutter contre le spam, nous vous demandons de bien vouloir répondre à la question suivante. Après inscription sur le site, vous n'aurez plus à répondre à ces questions.

Quel est le résultat de l'opération suivante (donner le résultat en chiffres)?
quatre-vingt quatorze plus quatre-vingt quinze
Système anti-bot

Faites glisser le curseur de gauche à droite pour activer le bouton de confirmation.

Attention : Vous devez activer Javascript dans votre navigateur pour utiliser le système anti-bot.

Retour

Résumé de la discussion (messages les plus récents en premier)

vladimire
16-02-2012 15:01:07

Tu as oublié un element à la fin du terme. ack: Nat -> Nat -> Nat

eLias
16-02-2012 14:49:47

Bonjour,
En préparation pour me examens, je souhaiterai _comme indiqué dans le titre_ implementer la fonction d'Ackermann dans le system T de Godel.

L'implementation est faite en ecrivant un terme ack: Nat -> Nat -> et devrait être definie par les équations:

ack(0; m) = m+ 1
ack(n;0) = ack(n 1; 1)
ack(n; m) = ack(n 1; ack(n; m 1))

Toute forme d'aide est appreciée.

Pied de page des forums