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

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 fo...

 Les principes des langages de programmation

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 p...

 Quand la science a dit... c'est bizarre !

Toute aventure humaine requiert ses conditions. Honoré de Balzac avait besoin, dit-on, de duchesses pour écrire. [...] La science, elle, a besoin de se frotter au bizarre pour continuer sa marche et s'arracher à ses routines. Sans paradoxes, elle deviendr...

 Quand la science a dit... c'est impossible !

La science a quelquefois avoué son ignorance, parfois changé d'avis, le plus souvent oscillé entre le doute et l'affirmation catégorique. Mais l'un des moments les plus riches est sans doute celui où elle a choisi de dire : "C'est impossible !" ...

 Peut-on croire les sondages ?

Peut-on croire les sondages ? Comment 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 p...

 Introduction à la théorie des langages de programmation

La conception et la réalisation de langages de programmation, depuis Fortran et Cobol jusqu'à Caml et Java, est l'une des clés du développement et de la maîtrise de systèmes informatiques toujours plus complexes. Ce livre propose au lecteur de partir à la...