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
#1 27-02-2012 11:05:26
- vladimire
- Membre
- Inscription : 16-02-2012
- Messages : 3
Exercices corrigés de models de calcul
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.
Hors ligne
#2 27-02-2012 17:31:33
- totomm
- Membre
- Inscription : 25-08-2011
- Messages : 1 093
Re : Exercices corrigés de models de calcul
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
Hors ligne
#3 12-03-2012 20:02:37
- vladimire
- Membre
- Inscription : 16-02-2012
- Messages : 3
Re : Exercices corrigés de models de calcul
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))
Dernière modification par yoshi (12-03-2012 20:19:06)
Hors ligne