Livres, Books, Libros, Βιβλία, Libri, Cărți, Bücher, 书籍, 서적

 

 

 

Théâtre

. avec Serge Abiteboul et Laurence Devillers, Qui a hacké Garoutzia ?, C&F Éditions, 2023.

Philosophie des sciences

. Un objet informatique a-t-il une éthique ? in Claude Kirchner, Éric Germain et Catherine Tessier, Une éthique du numérique : pour quoi faire ? , PUF, 2022.

. Sommes-nous plus libres parce que le monde va au hasard ? in Jean-Paul Delahaye, Pourquoi moi ? : Le hasard dans tous ses états, Belin, 2021.

. Les réseaux, condition nécessaire du confinement et nouvel outil de santé publique, in Emmanuel Hirsch, Pandémie 2020 - Éthique, société, politique, Les éditions du Cerf, 2020.

. Ce dont on ne peut parler, il faut l'écrire, Le Pommier, 2019.

Vivre, aimer, voter en ligne, et autres chroniques numériques Vivre, aimer, voter en ligne, et autres chroniques numériques, Le Pommier, 2017.

Le temps des algorithmes avec Serge Abiteboul, Le temps des algorithmes, Le Pommier, 2017.

Le temps des algorithmes 在中国 : 算法小时代:从数学到生活的历变 平装, 2017.

. In English: with Serge Abiteboul, The age of algorithms, Cambridge University Press, 2020.

. Στα ελληνικα : με Σερζ Αμπιτεμπουλ, Η Εποχη Των Αλγοριθμων, Πανεπιστημιακες Εκδοσεις Κρητης, 2022.

Ces préjugés qui nous encombrent Ces préjugés qui nous encombrent Le Pommier, Manifestes, 2009. podcast de l'interview diffusée par France Inter le lundi 2 novembre 2009 de 6h à 7h, et la page sur le site de France Inter.

Les métamorphoses du calcul les meétamorphoses du calcul Les métamorphoses du calcul : une étonnante histoire de mathématiques, Le Pommier, Essais, 2007. En poche, 2011. Grand prix de philosophie de l'Académie Française. Le deux premiers chapitres sont en ligne sur le site Futura sciences. Ce podcast de 25 mn sur Canal Académie présente le livre.
Οι μεταμορφώσεις του λογισμού Στην ελληνική γλώσσα : Οι μεταμορφώσεις του λογισμού, Εκκρεμές, 2012.
Computation, Proof, Machine In English: Computation, Proof, Machine, Cambrigde University Press, 2015.
计算进化史:改变数学的命运 平装 在中国 : 计算进化史:改变数学的命运 平装, 2017.


Recherche

lambda Henk Barendregt, Wil Dekkers, Richard Statman, and 11 contributors, Lambda Calculus with Types, ‎Cambridge University Press, 2013.


automated reasoning Higher-order unification and matching, in Alan Robinson and Andrei Voronkov, Handbook of Automated Reasoning, Elsevier, 2001, pp. 1009-1062.


Pour l'université

Les démonstrations et les algorithmes Les démonstrations et les algorithmes. Introduction à la logique et à la calculabilité Les Éditions de l'École polytechnique, 2010.
Proofs and algorithms In English: Proofs and Algorithms: An Introduction to Logic and Computability, Springer-Verlag, 2011.

Les principes des langages de programmation Les principes des langages de programmation, Les Éditions de l'École polytechnique, 2008.
Principles of programming languages In English: Principles of Programming Languages, Springer-Verlag, 2009.

Introduction à
la théorie des langages de programmation Avec Jean-Jacques Lévy, Introduction à la théorie des langages de programmation, Les Éditions de l'École polytechnique, 2006, 2008.
Introduction to the theory of programming languages In English: Introduction to the Theory of Programming Languages, Springer-Verlag, 2010.
Introducere in teoria limbajelor de programare În limba română : Introducere in teoria limbajelor de programare, MatrixRom, 2013.

Informatique pour tous en classes préparatoires aux grandes &eacutecoles Sous la direction de Benjamin Wack, Informatique pour tous en classes préparatoires aux grandes écoles, Eyrolles, 2013.

Méthode pour l'épreuve d'informatique Avec Bertrand Fauchet, Méthode pour l'épreuve d'informatique, Dunod, 1988.


Pour l'école et le lycée

Inforamtique et sciences du numérique Informatique et sciences du numérique En coopération, Informatique et sciences du numérique - Spécialité ISN en terminale S, 2012, Édition Spéciale Python, 2013. Les programmes des deux éditions sont en ligne.

Introduction à la science inforamtique En coopération, Introduction à la science informatique, CNDP, 2011. Quelques coquilles.

Symbole Symbole Symbole Sous la direction de Claude Deschamps, Symbole, Seconde, 2010, Première 2011, Terminale, 2012.

1, 2, 3... Codez ! Sous la direction de Claire Calmet, Mathieu Hirtzig et David Wilgenbus, 1, 2, 3... Codez !, Le Pommier, 2016.

Graines de sciences 5 Au coeur d'une calculatrice, in David Wilgenbus, Béatrice Salviat, Marc Julia, Graines de Sciences 5, Le Pommier, 2003.


Médiation

Les p'tits bateaux Les p'tits bateaux Pourquoi est-ce qu'il reste des choses à découvrir en mathématiques, alors que c'est l'homme qui les a inventées ? in Noëlle Bréham et Marjorie Devoucoux, Les p'tits bateaux, First, 2013.

30 questions de sciences à croquer Qui a inventé l'ordinateur ?, in 30 questions de sciences à croquer, Le Pommier, 2012.

Plaidoyer pour réconcilier les Sciences et la Culture Les mathématiques universelles et inhabituelles, in Claudie Haigneré, Plaidoyer pour réconcilier les Sciences et la Culture, Le Pommier, 2010.

100 questions de science à croquer 100 questions de science à croquer Pourquoi n'y a-t-il qu'un modèle d'ordinateur ?, in 100 questions de sciences à croquer, Le Pommier, 2007.

Jeux mathématiques et vice-versa avec Jean-Pierre Bourguignon, Jean-Christophe Novelli et Benoît Rittaud, Jeux mathématiques et vice versa, Le collège de la cité, Le Pommier - La cité des sciences et de l'industrie, 2005.

Quand la science a dit... c'est bizarre Quand la science a dit... c'est bizarre avec Gabriel Chardin, Marc Lachièze-Rey, Hervé This, sous la direction de Étienne Klein, Quand la science a dit... c'est bizarre !, Le Pommier, 2003. En poche, 2008.

Voulez vous jouer avec les maths ? Voulez vous jouer avec les maths ?, Le Pommier, 2002.
Volete giocare con la matematica ? In italiano : Volete giocare con la matematica ?, Barbera Editore, 2005.
¿ Quieres jugar con las matemáticas ? En español : ¿ Quieres jugar con las matemáticas ?, Akal Ediciones, 2006.

Peut-on croire les sondages ? Peut-on croire les sondages ?, Le Pommier, 2002.
여 론 조 사 를 믿 어 도 될 까 ? 한국의 : 여 론 조 사 를 믿 어 도 될 까 ?, Goldenbough, 2006.
¿ Podemos creer en los sondeos ? En español : ¿ Podemos creer en los sondeos ?, Akal Ediciones, 2006.
να πιστεύουμε τις δημοσκοπήσεις ; Στην ελληνική γλώσσα : Μπορούμε να πιστεύουμε τις δημοσκοπήσεις ;, Εκκρεμές, 2017.

Quand la science a dit... c'est impossible Quand la science a dit... c'est impossible avec Jean-Michel Alimi, Laurence Rolland, Pierre Avocat, sous la direction de Nayla Farouki, Quand la Science a dit... c'est Impossible, Le Pommier, 1999. En poche, 2008.

Paysages des sciences Sous la direction de Michel Serres et Nayla Farouki, Paysages des Sciences, Le Pommier, 1999.

Le Trésor Sous la direction de Michel Serres et Nayla Farouki, Le Trésor - Dictionnaire des sciences, Flammarion, 1997.

La logique La logique La logique, Dominos, Flammarion, 1995. Réédition, Le Pommier, 2015.
Logik Auf Deutsch : Logik, BLT, 1998.
La Logica En español : La Lógica, Siglo Veintiuno Editores, 2001.


back to home page