Introduction à la calculabilité - 3ème édition
La presse en parle
La calculabilité consiste en l'étude de ce qu'il est possible ou non de résoudre grâce à l'outil informatique. Il s'agit d'informatique théorique, directement issue de la logique mathématique, et qui s'enseigne en 2e cycle. Cette deuxième édition est l'occasion d'étendre le dernier chapitre, traitant de complexité, et d'introduire de nouveaux exercices et des corrigés.
Présentation
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.
Sommaire
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é.
