Théorie des programmes - DENIF
A et B en reprenant les assertions de l'exercice 6 et les fonctions : fA(~1, ~ 2 ). = a, - x,. fB(xl, x2) = x2 - a2. Exercice 10. Voir corrigé de l'exercice 7.
A et B en reprenant les assertions de l'exercice 6 et les fonctions : fA(~1, ~ 2 ). = a, - x,. fB(xl, x2) = x2 - a2. Exercice 10. Voir corrigé de l'exercice 7.