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.