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
- Accueil
- » Entraide (supérieur)
- » Exercices corrigés de models de calcul
- » Répondre
Répondre
Résumé de la discussion (messages les plus récents en premier)
- vladimire
- 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))
- totomm
- 27-02-2012 17:31:33
Bonjour,
La fonction d'ackermann en Python, appelée pour m=2,n=2
#Python 3.2
#Fonction d'Ackermann
def A(m,n):
print("A(",m,n,")") #imprimer chacun des appels récursifs
if m==0:
return n+1
else:
if n==0:
return A(m-1,1)
else:
X=A(m,n-1)
return A(m-1,X)
m,n=2,2
print("A(",m,n,") =",A(m,n)) #Imprimer le résultat A(2,2) = 7
#Fonction d'Ackermann
def A(m,n):
print("A(",m,n,")") #imprimer chacun des appels récursifs
if m==0:
return n+1
else:
if n==0:
return A(m-1,1)
else:
X=A(m,n-1)
return A(m-1,X)
m,n=2,2
print("A(",m,n,") =",A(m,n)) #Imprimer le résultat A(2,2) = 7
Cordialement
- vladimire
- 27-02-2012 11:05:26
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.