Calculabilité et logique

• TD 1 du 15 septembre 2010
• TD 2 du 22 septembre 2010
• TD 3 du 29 septembre 2010
• TD 4 du 6 octobre 2010
• TD 5 du 13 octobre 2010
• TD 6 du 20 octobre 2010
• TD 7 du 27 octobre 2010
• DM 1 à rendre pour le 20 octobre 2010