Langages formels, calculabilité et complexité : licence et master de mathématiques ou d'informatique, option informatique de l'agrégation de mathématiques

Discipline en plein essor, l'informatique fondamentale foisonne déjà de résultats
remarquables. De la théorie des langages formels aux notions de calculabilité et de
complexité, cet ouvrage facile d'accès constitue une introduction à l'informatique
fondamentale dont il couvre les grands domaines
Les différentes notions sont mises en relation, les notions de base y sont illustrées de
nombreux exemples et l'ensemble est enrichi de compléments qui permettront d'aller
plus loin.
Aucune connaissance préalable n'est requise pour utiliser ce manuel. Il s'adresse aux
étudiants en Master d'informatique ou de mathématiques comme à tous ceux qui
désirent acquérir de solides bases en informatique fondamentale.
De leur côté, les agrégatifs verront qu'une grande part du programme de l'option
informatique de l'agrégation de mathématiques est couverte. Ce livre est propice à de
nombreux développements pour les leçons à l'oral. Des exercices corrigés permettent
en outre une assimilation efficace.
«La présentation est exceptionnellement claire et les preuves sont données avec
grand soin. Recherche de qualité : les exercices sont accompagnés de solutions qui
sont la seule garantie que l'exercice est faisable»
Dominique Perrin (extrait de la préface)