Telecharger Cours

la correspondance de Curry-Howard, 1930?1970

A gauche, on voit un polynôme d'interpolation pour la fonction f(x) = sin x, et. `a droite pour la fonction 1/(1 + x2). Pour mieux rendre visible l'erreur, on a ...



Download