GEOTRUST SSL CERTIFICATE
Détail de l'auteur
Documents disponibles écrits par cet auteur (3)
Ajouter le résultat dans votre panier Affiner la recherche
texte imprimé
Nicolas Bouleau, Auteur ; Jean-Yves Girard, Auteur ; Alain Louveau, Auteur | Paris : Presses de l'Ecole nationale des ponts et chaussées | 1983
texte imprimé
Alan Mathison Turing, Auteur ; Jean-Yves Girard, Auteur | Paris : Seuil | Points, ISSN 0768-1143 | 1999Une machine de Turing est un modèle mathématique simple pour tout processus de calcul. Ce modèle de la calculabilité a sa source dans un article de 1936 traduit ici pour la première fois en français. Alan Turing (1912-1954) y démontre, entre aut[...]
texte imprimé
Ce cours de théorie de la démonstration s'adresse aux mathématiciens, informaticiens, physiciens, mais également philosophes et linguistes. Il propose trois grandes parties : Les bases (existence contre essence, le théorème d'incomplétude...) ; [...]
