Introduction to the theory of computation

Sipser

Utilisée dans les 1 développements suivants :

Théorème de Savitch

Utilisée dans les 6 leçons suivantes :

913 (2021) Machines de Turing. Applications.
27 (2022) Décidabilité et indécidabilité. Exemples.
915 (2021) Classes de complexité. Exemples.
26 (2022) Classes P et NP. Problèmes NP-complets. Exemples.
910 (2016) Langages algébriques. Exemples et applications.
28 (2022) Formules du calcul propositionnel : représentation, formes normales, satisfiabilité. Applications.

Utilisée dans les 1 versions de développements suivants :


Utilisée dans les 11 versions de leçons suivantes :