Complexité et Décidabilité
- 200pages
- 7 heures de lecture
Cet ouvrage explore la théorie de la complexité des algorithmes et établit les théorèmes de décidabilité et d'indécidabilité, incluant le premier théorème d'incomplétude de Gödel. Grâce à l'approche des machines de Turing, il offre une démonstration rapide et accessible des résultats clés de la théorie.
