La logique

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.

Tour à tour branche de la philosophie, des mathématiques et de l'informatique, la logique a pour objet d'étude les méthodes qui permettent d'établir qu'un énoncé est vrai, tels le raisonnement et le calcul. Ce livre est une introduction aux concepts fondamentaux de la logique contemporaine - ceux de démonstration, de fonction calculable, de modèle et d'ensemble. Il présente une série de résultats tant négatifs que positifs - le théorème d'indécidabilité de Church, le théorème d'incomplétude de Gôdel, le théorème de semi-décidabilité de la démontrabilité, - qui ont profondément changé notre conception du raisonnement, du calcul et, finalement, de la vérité elle-même.