- S'inscrire
- |
- Mon compte
- |
- Newsletter
- |
- Aide
Bibliographie : Gilles DOWEK
Gilles Dowek est professeur à l'École Polytechnique et chercheur à l'Institut National de Recherche en Informatique et en Automatique et au Laboratoire d'Informatique de l'École Polytechnique. Ses travaux portent sur la formalisation des mathématiques et sur la mécanisation du raisonnement. Sa principale contribution est une reformulation de la méthode axiomatique qui donne une place centrale à la notion de calcul.
Livre(s) de cet auteur : 1 à 11 sur 11 livres
Page : 1
-
Les démonstrations et les algorithmes
Introduction à la logique et à la calculabilité- Auteur : G. Dowek
- Editeur : Ecole polytechnique
- Date de parution : Octobre 2010
-
Ces préjugés qui nous encombrent
- Auteur : G. Dowek
- Editeur : Le Pommier
- Date de parution : Octobre 2009
-
Les principes des langages de programmation
- Auteur : G. Dowek
- Editeur : Les Editions de l'Ecole polytechnique
- Date de parution : Décembre 2008
-
Quand la science a dit... c'est impossible !
- Auteur : J. Alimi, G. Dowek, L. Rolland, N. Farouki
- Editeur : Le Pommier
- Date de parution : Janvier 2008
-
Quand la science a dit... c'est bizarre !
- Auteur : G. Chardin, G. Dowek, M. Lachièze-Rey, H. This, G. Bram
- Editeur : Le Pommier
- Date de parution : Janvier 2008
-
20,90 €en cours de réimpressionLibrairie Eyrolles, Paris : en stock
Les métamorphoses du calcul
Une étonnante histoire des mathématiques- Auteur : G. Dowek
- Editeur : Le Pommier
- Date de parution : Avril 2007
-
Introduction à la théorie des langages de programmation
- Auteur : G. Dowek, J. Lévy
- Editeur : Les Editions de l'Ecole polytechnique
- Date de parution : Octobre 2006
-
Jeux mathématiques et vice versa
- Auteur : G. Dowek, J. Bourguignon, J. Novelli, B. Rittaud
- Editeur : Le Pommier, La cité des sciences et de l'industrie
- Date de parution : Juin 2005
-
Voulez-vous jouer avec les Maths
Les petites pommes du savoir- Auteur : G. Dowek
- Editeur : Le Pommier
- Date de parution : Juin 2002
Livre(s) de cet auteur : 1 à 11 sur 11 livres
Page : 1















Devenez Fan !
Suivez-nous sur Twitter