Les démonstrations et les algorithmes. Introduction à la logique et à la calculabilité

Imaginons un monde dans lequel les enfants rêvent de devenir maçons, les paparazzi traquent, les boulangers, les oeuvres d'art usagées traînent dans les décharges, les meilleurs collégiens s'orientent vers les lycées techniques, la naïveté des Juifs en affaire est légendaire et les consommateurs se méfient des produits naturels. Rien dans ce monde ne serait absurde. Mais ce n'est pas le nôtre ". En cherchant à comprendre d'où viennent les préjugés qui encombrent nos discours sur la science et sur la technique, Gilles Domek, s'interroge sur la place du travail et de l'écriture dans notre monde contemporain. Et il en arrive à cette surprenante hypothèse que ces préjugés oui peut-être une origine très lointaine...

Les langages de programmation ont profondément changé notre rapport au langage, à la complexité et aux machines. Ce livre propose une introduction aux principes autour desquels ces langages sont organisés. Il utilise le langage Java comme support. Le premier objectif de ce livre est donc l'apprentissage des rudiments de Java. Cependant, connaître un langage de programmation unique ne suffit pas pour savoir programmer. Il faut, pour cela, non seulement connaître plusieurs langages, mais surtout être capable d'en apprendre rapidement un nouveau. Cela demande de savoir distinguer les concepts universels, comme celui de fonction ou de cellule, qui reviennent sous une forme ou une autre dans tous les langages de programmation, de la manière particulière dont ils sont utilisés en Java. Et cela ne peut se faire qu'en comparant le langage que l'on apprend à d'autres. Dans ce livre, deux langages de comparaison ont été choisis: Caml et C. Comprendre les principes des langages de programmation demande également d'acquérir des outils qui permettent de décrire précisément la signification d'un programme et cette acquisition constitue le deuxième objectif de ce livre. Le dernier est l'apprentissage des algorithmes de base sur les listes et les arbres. Ce livre, destiné aux étudiants de niveau licence qui ont déjà une petite expérience de programmation, présente ce que tous les ingénieurs et scientifiques, quelle que soit leur spécialité, devraient savoir sur les langages de programmation. Biographie de l'auteur Gilles Dowek est professeur à l'Ecole Polytechnique et chercheur à l'Institut National de Recherche en Informatique et en Automatique et au Laboratoire d'Informatique de l'Ecole 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.

Interpréter les résultats? Pourquoi n'interroge-t-on que si peu de personnes? Certains sondages sont-ils plus fiables que d'autres? Que peut-on leur faire dire et que ne peut-on pas? Comment choisit-on les personnes interrogées? Peut-on s'apercevoir qu'elles ont menti ou qu'elles se sont trompées?