Langages formels. Calculabilité et complexité

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 informatique ou en 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)