Fondements mathématiques de l'informatique

En quelques dizaines d'années, l'informatique s'est radicalement transformée: activité fondée à l'origine sur le savoir-faire individuel, elle est devenue une science qui opère sur des descriptions rigoureuses de concepts abstraits.

L'objet de cet ouvrage est de présenter diverses théories mathématiques qui sous-tendent la pratique de l'informatique: théorie des langages, calculabilité, complexité et logique. Il ne s'agit cependant pas d'un simple livre de mathématiques : un effort particulier a été fait pour rendre limpide l'exposé, par exemple par l'usage de nombreuses figures, et pour montrer en quoi l'approche - systématique autorisée par la théorie est de nature à expliquer des phénomènes concrets tels que l'existence de problèmes NP-complets, ou à développer des outils efficaces, comme les analyseurs syntaxiques ou les langages déclaratifs.

L'ouvrage s'appuie sur une expérience d'une dizaine d'années au cours desquelles la quasi-totalité en a été enseignée dans diverses institutions tant en France qu'à l'étranger. Ce livre s'adresse à un public très varié: étudiants en informatique, bien sûr, étudiants en mathématiques, élèves des écoles d'ingénieurs mais aussi praticiens qui, pour les besoins du génie logiciel ou de l'intelligence artificielle, recherchent un exposé précis de la complexité ou de la logique.