m

Bibliothèques de mathématique et de l'IREM

Documents  Dowek, Gilles | enregistrements trouvés : 6

O
K L Q M | g | F x r
     

-A +A

P Q

Dowek, Gilles

IremOuvrage
Déposez votre fichier ici pour le déplacer vers cet enregistrement.

Les métamorphoses du calcul : une étonnante histoire de mathématique Dowek, Gilles. -Paris : Le Pommier , 2017 . - 222 p. ; 20 cm
ISBN 9782746509108


IremOuvrage

axiomatique ; histoire des mathématiques ; logique mathématique ; informatique

... Lire [+]

|

Favoris

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Gerer mes favoris

1

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

Le temps des algorithmes Abiteboul, Serge ; Dowek, Gilles. -Paris : Le Pommier , 2017 . - 191 p. ; 20 cm
ISBN 9782746511750


IremOuvrage

algorithme ; représentation sociale ; jugement moral

... Lire [+]

|

Favoris

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Gerer mes favoris

1

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

La logique Dowek, Gilles. -Paris : Le Pommier , 2015 . - 96 p. ; 18 cm
ISBN 9782746508781


IremOuvrage

logique ; raisonnement

... Lire [+]

|

Favoris

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Gerer mes favoris

1

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

Les métamorphoses du calcul : une étonnante histoire de mathématique Dowek, Gilles. -Paris : Le Pommier , 2007 . - 223 p. ; 20 cm
ISBN 9782746503243


IremOuvrage

calcul ; histoire des mathématiques ; démonstration ; théorie de la démonstration

... Lire [+]

|

Favoris

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Gerer mes favoris

1

MathOuvrage
Déposez votre fichier ici pour le déplacer vers cet enregistrement.

Leçons de mathématiques d'aujourd'hui. Vol. 5 Ed. Mounoud, Pierre ; Keating, Jonathan P. ; Diaconis, Persi ; Fröhlich, Jürg ; Loeser, François ; Zaidenberg, Mikhail ; Beauville, Arnaud ; Dowek, Gilles ; Bismut, Jean-Michel ; Soulé, Christophe ; Saint-Raymond, Laure ; Kleinerman, Sergiu ; Pansu, Pierre. -Paris : Cassini , 2019 . - xv, 365 p. ; 19 cm
ISBN 9782842251697


MathOuvrage

relativité générale ; matrice aléatoire ; fonction zêta de Riemann ; fonction symétrique ; mécanique quantique ; intégration motivique ; théorie de Hodge ; théorème de l'indice ; laplacien hypoelliptique ; théorie d'Arakelov ; intégration p-adique

... Lire [+]

|

Favoris

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Gerer mes favoris

1

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

Computation, proof, machine : mathematicsenters a new age Dowek, Gilles ; Trad. Guillot, Pierre ; Trad. Roman, Marion. -Cambridge : Cambridge university Press , 2015 . - viii, 152 p. ; 22 cm
ISBN 9780521133777


MathOuvrage

théorie de la preuve ; calcul scientifique

... Lire [+]

|

Favoris

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Gerer mes favoris

1

Tout sélectionner / Tout déselectionner

Listes : nb d'elts/page

Z