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).
- Contributions : Récentes | Sans réponse
Pages : 1
#1 Re : Entraide (supérieur) » Exercices corrigés de models de calcul » 12-03-2012 20:02:37
Bonsoir,
Je te remercie Totomm pour la fonction d'Ackermann !
Je cherche aussi des exercices sur les preuves et démonstration mathématiques du genre : Démonstration dans PA de la formule :
(B-->(B-->A))-->(B-->A)
ou encore
((A-->C)v(A-->B))-->(A-->(BvC))
#2 Entraide (supérieur) » Exercices corrigés de models de calcul » 27-02-2012 11:05:26
- vladimire
- Réponses : 2
Bonjour,
Je cherche des exercices et corrigés en model de calculs (Récursion primitive, Fonction D'Ackermann..)
J'ai cherché dans la partie Exercice/corrigé du site mais il y'en avait pas.
Je vous remercie d'avance.
#3 Re : Entraide (supérieur) » Implementation de la fonction d'Ackermann dans le System T » 16-02-2012 15:01:07
Tu as oublié un element à la fin du terme. ack: Nat -> Nat -> Nat
Pages : 1