Aspects pratiques
- Cours: Julien Narboux
- TPs:
- Horaires des cours:
- Cours: vendredi matin.
- TPs: jeudi matin.
Cours
- Le cours en cours de construction:
- slides_ip.pdf
- slides_ip_4.pdf (4 transparents par page pour impression)
- Une fiche qui résume les règles de la déduction naturelle: pdf
Sujets des TDs
Annales
- examen mai 2010 (proposition de correction)
- contrôle continu de mars 2009
- sujet de projet de mars 2009 (proposition de correction)
- sujet d'examen de septembre 2008
- contrôle continu de mars 2008
- sujet d'examen de septembre 2007
- contrôle continu de mars 2007 (proposition de correction)
- sujet d'examen de septembre 2006
- contrôle continu de mai 2006 (proposition de correction)
Bibliographie
- Un petit guide de survie de Coq par Alexandre Miquel.
- Le tutorial Coq in hurry par Yves Bertot.
- Un autre tutorial Coq par Gérard Huet, Gilles Kahn et Christine Paulin-Mohring.
- Le Coq'art par Yves Bertot et Pierre Casteran (dispo à la bibliothèque).
- Voir la liste des documents sur le site de Coq.
- Quelques cours/exos de Coq en France: par David Pichardie, par Pierre Letouzey par Assia Mahboubi par Alexandre Miquel par Jean Duprat, Alexandre Pardon...