TP/TD de Théorie de la programmation - Automne 2013

Le cours est assuré par Danier Hirschkoff tous les Mercredi. Les TD/TPs sont assurés par Fabio Zanasi, Guillaume Iooss (le Jeudi à 8h) et Maxime Senot (le Vendredi à 8h). N'hésitez pas à nous contacter par mail ou à venir nous voir (bureaux au 3ème étage) pour toutes questions.

Liste des TD/TPs:

• 19/09/13 - 20/09/13 : TP1 - Introduction à Coq : logique propositionnelle, égalité, arithmétique, prédicats, induction sur N (Correction)
• 26/09/13 - 27/09/13 : TP2 - types inductifs, listes, prédicats inductifs, induction sur ℕ, extraction, arbres binaires (Correction : à venir)
• Reste des TPs: la page a migrée ICI