DEA 01/02
DEA 6/11/01
Résumé: cours du 6/11/01
cours précédent ........ cours suivant..........tous les cours
Contenu du cours: Le treillis des réductions (standard).
Forme normale de tête. Similitude de fnt. Radical de tête.
Forme normale de tête minimale.
Exercices.
Existe-t-il un terme dont le treillis des réductions est (isomorphe
à
$N$, $N2$ (lequel?), $Z$?
Est-ce que tout terme afnt tnormalise des termes arbitrairement grands?
Montrer que pour tout terme $T$, il existe un terme clos $T'$ qui est
afnt ssi $T$ l'est.
Est-ce que tout terme partageant un réduit avec un terme afnt est
afnt?
cours précédent ........ cours suivant..........tous les cours
Andre.HIRSCHOWITZ
Last modified: Nov 8