Ouvert du mardi au samedi de 9h30 à 18het jusqu'à 19h le dimanche.
Mission spatiale
La grotte Chauvet, dans la peau des scientifiques. Livre jeunesse
Gilles Dowek, chercheur à l'Inria, professeur à l'École normale supérieure de Paris-Saclay, est l'auteur de plusieurs livres disponibles à la Bibliothèque.
Gilles Dowek, Abiteboul Serge. - Éditions le Pommier, 2017. 1 vol. (191 p.).Cote Bibliothèque : I 1 1
Une introduction aux algorithmes, à l'origine de la transformation des notions de travail, de propriété, de gouvernement, de responsabilité, de vie privée ou encore d'humanité. Electre 2017
Retrouvez ce document dans le catalogue de la Bibliothèque
Gilles Dowek. - Eyrolles, 2013. 1 vol. (XI-341 p.). Cote Bibliothèque : I 2 01
S'appuyant sur le langage de programmation Python, ce manuel scolaire détaille le programme de la nouvelle option de spécialité de terminale S. Ses quatre parties (langage, information, machine et algorithme) abordent les concepts fondamentaux de l'informatique.
Gilles Dowek. - Poche-Le Pommier 2011. 1 vol. (231 p.). Cote Bibliothèque : M 0 5
Cette introduction aux mathématiques du XXIe siècle s'intéresse à la démonstration, raisonnement construit à l'aide d'axiomes et de règles de déduction. Dans les années 1970, le raisonnement prend le pas sur le calcul, ce qui remet en cause la notion de démonstration. Celle-ci renouvelle le dialogue des mathématiques avec les sciences de la nature, comme la physique ou la biologie.
Gilles Dowek. - Éd. de l'École polytechnique, 2010. 1 vol. (193 p.). Cote Bibliothèque : M 2 1
Ce livre est une introduction aux concepts fondamentaux de la logique contemporaine, ceux de démonstration, de fonction calculable, de modèle et densemble. Il présente une série de résultats (le théorème dindécidabilité de Church, le théorème dincomplétude de Gödel, le théorème de semi-décidabilité de la démontrabilité) qui ont changé notre raisonnement.