Réécriture
Cette page contient quelques résumés du cours de réécriture
Chapitre 00 : Introduction à la réécriture
- Une version du cours du 22/01/01 est
disponible en ps,
ps.gz,
et en pdf.
Chapitre 01 : Réductions abstraites
- Une version du cours des 22 et 23/01/01 est
disponible en ps,
ps.gz,
et en pdf.
Chapitre 02 : Termes
- Une version du cours du 29/01 est
disponible en ps,
ps.gz,
et en pdf.
Chapitre 03 : Terminaison
- Une version du cours des 29/01,
05/02, 19/02 et 26/02 est
disponible en ps,
ps.gz,
et en pdf.
Chapitre 04 : Unification
- Une version du cours du 12/03 est
disponible en ps,
ps.gz,
et en pdf.
Chapitre 05 : Complétion
- Une version du cours du 19/03 et
02/04 est
disponible en ps,
ps.gz,
et en pdf.
Chapitre 06 : Ordres de preuves
- Une version du cours du
02/04 et 24/04 est
disponible en ps,
ps.gz,
et en pdf.
Chapitre 07 : Bases de Gröbner
- Une version du cours du
24/04 et 30/04 est
disponible en ps,
ps.gz,
et en pdf.
TD 01 du 30/01/01
- Une version de l'énoncé
est
disponible en ps,
ps.gz,
et en pdf.
TD 02 du 06/02/01 et 20/02
- Une version de l'énoncé
est
disponible en ps,
ps.gz,
et en pdf.
TD 03 du 27/02/01
- Une version de l'énoncé
est
disponible en ps,
ps.gz,
et en pdf.
TD 04 du 13/03/01
- Une version de l'énoncé
est
disponible en ps,
ps.gz,
et en pdf.
TD 05 du 20/03/01
- Une version de l'énoncé
est
disponible en ps,
ps.gz,
et en pdf.
RESUME, PARTIELS ET EXAMS 2000-2001
Pratique, les résumés
- Un résumé du cours (entier) est
disponible en ps, en ps.gz et en pdf.
- Un résumé du cours sur les bases de
Gröbner est disponible en
ps, en ps.gz et en pdf.
Partiel : le 26 mars 2001
- L'énoncé (version sans les fôtes)
est disponible en ps,
ps.gz,
et en pdf.
- Le corrigé est disponible en ps,
ps.gz,
et en pdf.
Examen : le 14 mai 2001
- L'énoncé (version sans les fôtes)
est disponible en ps,
ps.gz,
et en pdf.
- Le corrigé est disponible en ps,
ps.gz,
et en pdf.