Démonstrations et programmes

Dans cet article, Didier Dacunha-Castelle questionne le lien entre mathématiques et informatique, en particulier le rapport entre démonstrations en mathématiques et programmes informatiques.

⋅⋅⋅⋅⋅⋅⋅⋅⋅⋅♦⋅⋅⋅⋅⋅⋅⋅⋅⋅⋅

Cet article est réservé aux adhérents.
Si vous êtes adhérent, il faut vous connecter sur cette page puis recharger cette page.

Les commentaires sont fermés.