urgent svp

Bjr tlm
je suis 1 etudiant en maths/info et je vien de commencer la programmation fonctionelle ........
je n'arrive pas a reduire cette fonction : max=λx1,x2,......xn.maximum(x1,.....xn) je suis un peu bloqué
Merci d'avance pour vos réponses

merci bcp mon frere pour ce probleme
car c'est le genre de poste qui devrait étre dominant dans le forum



alors je dit au etudiants a vos clavier et si vous ne pouvé pas resoudre le blm par pc faite le sur papier et prenez une photo et posté la sur le forum

tu as une idee mon amis

frenchement non frere parce que je suis en électrotechnique

En fait l'idée c'est :
maximum(x1,.....xn)= maximum(maximum(maximum(x1......,x..) ,maximum(......)), maximum(xn-1 , xn))

donc si , On arrive a démontrer que maximum(x,y) est primitive récursive alors l'exercice sera terminer

On a maximum(x, y) = y si y>x
x sinon

On commance par demontrer Maximum(x,0) = x = P(1 2 ) (x, 0 ) dnc primitive récursive

On demontre maintenant Maximum(x, y+1) = y+1 si y>x
x sinon

donc maximum(x,y+1) = y si y>x + 1 si y>x
x sinon 0 sinon

dnc Maximum (x, y+1 ) = maximum(x,y) + Sg( x , y )

=+(maximum,Sg)(x, y)
= +(maximum,Sg)(P(1 2), P(1 3))(x, Maximum(x,y), y)

dnc maximum(x, y ) est primitive recursive ,
et puisque maximum( x1, .........xn) est la composé des maximum(x, y) donc elle est primitive recursive


j'espere bien que je me suis pas trempé

Et pas de commentaire chanez , hum pffff
looool

^^

merci bcp pour lidee mais la fonction max=abs(x,y)+min(x,y)

min(x,y)=x-(x-y)
abs(x,y)=(x-y)+(y-x) dsl pour le signe de - tu sait

Pour cette fonction , On a pas trop compris son but , en fait vous avez oublié quelques données je pense donc essayez d'éclaircire un peu la fonction ,
merci