Plan général du cours
Organisation
| Thème |
|
Intervenant |
Dates |
| Lambda Calcul |
|
Gérard
Huet |
27/09/04, 4/10/04, 11/10/04, 18/10/04, 25/10/04 |
| Réécriture du premier ordre |
|
Delia Kesner |
8/11/04, 15/11/04, 22/11/04, 29/11/04, 06/12/04 |
| Réécriture d'ordre supérieur |
|
Jean-Pierre Jouannaud |
13/12/04, 3/01/05, 10/01/05 |
| Liens entre le premier ordre et l'ordre supérieur |
|
Thérèse
Hardin |
17/01/05, 24/01/05, 31/01/05 |
Informations pratiques
Cours:
Lundi 12h30-15h30, salle 0C8 jusqu'au 31/1
Devoirs:
Ennoncé
du devoir de J.P. Jouannaud (Remise le 28 février par email)
Ennoncé
du devoir de T. Hardin (Remise le 21 février par email)
Examen:
Lundi 14 février
9h-12 ,
salle 0D4
La première partie de l'examen sur le lambda calcul est sans documents,
la seconde partie sur les systèmes de réécriture avec documents.
Documents associés au cours
Documents sur la partie Lambda Calcul
Notes sur les liens entre le premier
ordre et l'ordre supérieur
Transparents sur
la partie Réécriture du premier ordre