Exercices
  Exercices de la partie MT
  1. Série 1 - Machines de Turing basiques : sujet, corrigé

  2. Série 2 - Machines de Turing complexes : sujet, corrigé

  3. Série 3 - Gamma et Numérotation de Cantor : sujet, corrigé

  4. Série 4 - Preuve directe d'indécidabilité : sujet, corrigé

  5. Série 5 - Indécidabilité du PCP par réduction : sujet, corrigé

  6. Série 6 - Théorème de Rice et Preuve de Réduction : sujet, corrigé

  7. Série 7 - Indécidabilité de la terminaison de la réécriture : sujet, corrigé
Responsable du site : Michaël PÉRIN