corrigé du premier contrôle du 18 mars
Exercice 1 Fonction de Ackermann Soient (A,<A) et (B,<B) des ensembles, ... (première règle de l'ordre lexicographique), donc par hypothèse de récurrence il ...
Exercice 1 Fonction de Ackermann Soient (A,<A) et (B,<B) des ensembles, ... (première règle de l'ordre lexicographique), donc par hypothèse de récurrence il ...