TDs de Calculabilité, L3 Informatique, ENS de Cachan
Année 2006-2007

Ces TDs accompagnent le cours donné par Hubert Comon. Les TDs ont été réalisés par Pierre-Alain Reynier.

• TD1 : Machines de Turing ( sujet ).
• TD2 : Modèles de calcul ( sujet ).
• TD3 : Indécidabilité, réductions ( sujet ).
• DM : Indécidabilité de problèmes de pavage ( sujet ).
• TD4 : Indécidabilité, réductions (2) ( sujet ).
• TD5 : Fonctions récursives ( sujet ).
• TD6 : Fonctions récursives (2) ( sujet ).