Les langages. C'est ce que Gilles Dowek appelle l'" éléphant dans le salon " : un objet gigantesque que personne ne voit et donc personne ne parle alors qu'il structure nos vies... [lire la suite]
Très valorisé dans notre monde "raisonnable", le raisonnement n'est pas le seul moyen d'accéder à la vérité. [lire la suite]
L'enseignement de l'informatique est indispensable à la formation scientifique de l'étudiant qui se destine à une carrière d'ingénieur ou de chercheur.
Comprendre le fonctionnement des systèmes qui nous entourent et, mieux encore, savoir les programmer, permettra aux jeunes citoyens d'être acteurs du monde contemporain. [lire la suite]
Voici le premier manuel pour l'enseignement de spécialité "Informatique et sciences du numérique" pour les élèves de Terminale S. [lire la suite]
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. [lire la suite]
