Introduction à la calculabilité

La calculabilité est la discipline qui étudie ce qu'il est possible ou non de résoudre grâce à l'outil informatique quels que soient le type ou les performances de la machine utilisée. Il s'agit d'informatique théorique, directement issue de la logique mathématique, et l'ouvrage aborde en premier lieu les langages formels, les automates et les grammaires, puis introduit la notion de calculabilité par le biais des machines de Turing et des fonctions récursives. En dernier lieu sont étudiés les notions de complexité et les problèmes NP-complets.

Les automates finis. Les grammaires régulières. Automates à pile et langages hors-contexte. Les machines de Turing. Les fonctions récursives. La non-calculabilité. La complexité.

Biographie des auteurs
Pierre Wolper - Professeur à l'université de Liège

Étudiants en 2^e cycle d'informatique, étudiants en 2^e cycle d'ingénierie mathématique, élèves des écoles d'ingénieurs

Algorithmique, Mathématiques : informatique, Informatique : mathématiques, Informatique théorique, Calcul scientifique