Événements
Détails produits
Rayons : Sciences & Techniques > Sciences & Techniques
-
Auteur(s)
Gilles Dowek
-
Éditeur
Le Pommier
-
Distributeur
-
Date de parution
06/10/2015
-
Collection
Essai
-
EAN
9782746509788
-
Disponibilité
Disponible
-
Nombre de pages
256 Pages
-
Action copier/coller
Non
-
Action imprimer
Non
-
Partage
Dans le cadre de la copie privée
-
Nb Partage
6 appareils
-
Poids
1 976 Ko
-
Entrepôt
Eden Livres
-
Support principal
ebook (ePub)
-
Version ePub
2.0.1
Accessibilité
Table des matières adaptable | Un sommaire est présent dans le contenu du livre, ce qui permet de l'utiliser avec un affichage adapté. |
Référence à la pagination du livre imprimé | Le livre peut être utilisé en complément de sa version imprimée, la pagination de référence étant préservée. |
Biographie
Gilles Dowek
Gilles Dowek est chercheur à l'Inria et professeur attaché à l'ENS Paris-Saclay. Ses travaux portent sur la formalisation des mathématiques, les systèmes de traitement des démonstrations, la physique du calcul, la sûreté des systèmes aéronautiques et spatiaux, l'épistémologie, et l'éthique de l'informatique. Il est l'auteur de « Les Métamorphoses du calcul » (Le Pommier, 2007), « Le temps des algorithmes » (avec Serge Abiteboul, Le Pommier, 2017) et « Ce dont on ne peut parler, il faut l'écrire » (Le Pommier, 2019).